Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Behavior-preserving transformations for high-level synthesis
Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects
An intermediate representation for behavioral synthesis
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
High-level synthesis: introduction to chip and system design
High-level synthesis: introduction to chip and system design
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
The Synthesis Approach to Digital System Design
The Synthesis Approach to Digital System Design
An Optimizer for Hardware Synthesis
IEEE Design & Test
Behavioral level transformation in the CMU-DA system
DAC '83 Proceedings of the 20th Design Automation Conference
Tool integration and construction using generated graph-based design representations
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Hi-index | 0.00 |