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
REAL: a program for REgister ALlocation
DAC '87 Proceedings of the 24th ACM/IEEE 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
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
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
From Behavior to Structure: High-Level Synthesis
IEEE Design & Test
Computer-aided partitioning of behavioral hardware descriptions
DAC '83 Proceedings of the 20th Design Automation Conference
A technology relative Logic Synthesis and Module Selection system
DAC '81 Proceedings of the 18th Design Automation Conference
Algorithms for multiple-criterion design of microprogrammed control hardware
DAC '81 Proceedings of the 18th Design Automation Conference
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
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
Instruction set processor specifications for simulation, evaluation, and synthesis
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
Automated Synthesis of Digital Hardware
IEEE Transactions on Computers
Logic synthesis through local transformations
IBM Journal of Research and Development
Instruction set processor specifications (ISPS): the notation and its applications
IEEE Transactions on Computers
Measuring designer performance to verify design automation systems
IEEE Transactions on Computers
Hi-index | 0.01 |
This paper presents a portion of the register-transfer level computer aided design (RT-CAD) research at Carnegie-Mellon University. This part of the research involves the design and construction of an allocator, consisting of a set of algorithms and data structures which synthesize hardware at the logical level from a behavioral description. Preliminary results indicate the allocators performance compares favorably with a human designer.