OEsim: a simulator for timing behavior
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
HardwareC -- A Language for Hardware Design (Version 2.0)
HardwareC -- A Language for Hardware Design (Version 2.0)
Synthesis and simulation of digital systems containing interacting hardware and software components
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
An approach to symbolic timing verification
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Sizing and verification of communication buffers for communicating processes
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Data-flow assisted behavioral partitioning for embedded systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
Automated composition of hardware components
DAC '98 Proceedings of the 35th annual Design Automation Conference
An architectural co-synthesis algorithm for distributed, embedded computing systems
Readings in hardware/software co-design
Synthesis and simulation of digital systems containing interacting hardware and software components
Readings in hardware/software co-design
Synchronization of communicating modules and processes in high level synthesis
VLSID '95 Proceedings of the 8th International Conference on VLSI Design
Bus-Based Communication Synthesis on System-Level
ISSS '96 Proceedings of the 9th international symposium on System synthesis
MULTIPAR: behavioral partition for synthesizing multiprocessor architectures
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hi-index | 0.00 |