The Design of an Optimizing Compiler
The Design of an Optimizing Compiler
Register-transfer level digital design automation: The allocation process
DAC '78 Proceedings of the 15th Design Automation Conference
Measuring designer performance to verify design automation systems
DAC '77 Proceedings of the 14th Design Automation Conference
The MIMOLA design system: a computer aided digital processor design method
25 years of DAC Papers on Twenty-five years of electronic design automation
The CMU design automation system: an example of automated data path design
25 years of DAC Papers on Twenty-five years of electronic design automation
A formal method for the specification, analysis, and design of register-transferlevel digital logic
25 years of DAC Papers on Twenty-five years of electronic design automation
25 years of DAC Papers on Twenty-five years of electronic design automation
Representing conditional branches for high-level synthesis applications
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Tutorial on high-level synthesis
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
An Optimizer for Hardware Synthesis
IEEE Design & Test
Algorithms for multiple-criterion design of microprogrammed control hardware
DAC '81 Proceedings of the 18th Design Automation Conference
A formal method for the specification, analysis, and design of register-transfer level digital logic
DAC '81 Proceedings of the 18th Design Automation Conference
Register-transfer level digital design automation: The allocation process
DAC '78 Proceedings of the 15th Design Automation Conference
Issues in IC implementation of high level, abstract designs
DAC '80 Proceedings of the 17th Design Automation Conference
The MIMOLA design system a computer aided digital processor design method
DAC '79 Proceedings of the 16th Design Automation Conference
The CMU design automation system: An example of automated data path design
DAC '79 Proceedings of the 16th Design Automation Conference
Behavioral-level test development
DAC '79 Proceedings of the 16th Design Automation Conference
Automated Synthesis of Digital Hardware
IEEE Transactions on Computers
An Abstract Model of Behavior for Hardware Descriptions
IEEE Transactions on Computers
Measuring designer performance to verify design automation systems
IEEE Transactions on Computers
| Hi-index | 0.01 |
This paper discusses the approach to global optimization taken in the C-MU register-transfer level computer-aided design system, currently under development at Carnegie-Mellon University, and gives examples of its application.