Behavioral synthesis: digital system design using the synopsys behavioral compiler

An efficient implementation of reactivity for modeling hardware in the scenic design environment

DAC '97 Proceedings of the 34th annual Design Automation Conference

Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system

ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design

A hybrid complete-graph partial-crossbar routing architecture for multi-FPGA systems

FPGA '98 Proceedings of the 1998 ACM/SIGDA sixth international symposium on Field programmable gate arrays

SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C

Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design

ICEBERG: an embedded in-circuit emulator synthesizer for microcontrollers

Proceedings of the 36th annual ACM/IEEE Design Automation Conference

DG2VHDL: A Tool to Facilitate the High Level Synthesisof Parallel Processing Array Architectures

Journal of VLSI Signal Processing Systems - Special issue on recent advances in the design and implementation of signal processing systems

Performance-constrained hierarchical pipelining for behaviors, loops, and operations

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Automated Correctness Condition Generation for Formal Verification ofSynthesized RTL Designs

Formal Methods in System Design - Special issue on formal methods for computer-added design

Statistical design space exploration for application-specific unit synthesis

Proceedings of the 38th annual Design Automation Conference

Distributed Memory Parallel Architecture Based on Modular Linear Arrays for 2-D Separable Transforms Computation

Journal of VLSI Signal Processing Systems - Parallel VLSI architectures for image and video processing

Embedded Computer Architecture and Automation

Computer

A Methodology for Synthesis of Data Path Circuitse

IEEE Design & Test

Embedded Computing: New Directions in Architecture and Automation

HiPC '00 Proceedings of the 7th International Conference on High Performance Computing

Automatic Generation of a Real-Time Operating System for Embedded Systems

CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design

Path-Based Edge Activation for Dynamic Run-Time Scheduling

Proceedings of the 12th international symposium on System synthesis

Speech encoding and encryption in VLSI

ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference

Design of a flexible 2-D discrete wavelet transform IP core for JPEG2000 image coding in embedded imaging systems

Signal Processing

Run-Time Scheduler Synthesis for Hardware-Software Systems and Application to Robot Control Design (Abstract)

CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design

Behaviour-based cooperation between two mobile manipulators

Integrated Computer-Aided Engineering

ESL Design and Verification: A Prescription for Electronic System Level Methodology

ESL Design and Verification: A Prescription for Electronic System Level Methodology