Communications of the ACM
A comparison of techniques for the specification of external system behavior
Communications of the ACM
High-level synthesis: introduction to chip and system design
High-level synthesis: introduction to chip and system design
Embedded real-time systems
Tool integration: environments and frameworks
Tool integration: environments and frameworks
Behavioral synthesis methodology for HDL-based specification and validation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Integrating operational specification and performance modeling for digital-system design
Integrating operational specification and performance modeling for digital-system design
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |