Communicating sequential processes
Communicating sequential processes
Specification and design of embedded systems
Specification and design of embedded systems
Synthesis of concurrent system interface modules with automatic protocol conversion generation
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
System level hardware module generation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Behavioral synthesis methodology for HDL-based specification and validation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
The Chinook hardware/software co-synthesis system
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
Hardware-Software Cosynthesis for Microcontrollers
IEEE Design & Test
COSMOS: a codesign approach for communicating systems
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Register Transformations with Multiple Clock Domains
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Algorithm and architecture-level design space exploration using hierarchical data flows
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
System design tools for broadband telecom network applications
EDTC '96 Proceedings of the 1996 European conference on Design and Test
An approach for interface generation in the PISH co-design system
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Hi-index | 0.00 |