Digital systems: hardware organization and design (3rd ed.)
Digital systems: hardware organization and design (3rd ed.)
Logic design of digital systems
Logic design of digital systems
An ALGOL-like computer design language
Communications of the ACM
Register-transfer level digital design automation: The allocation process
DAC '78 Proceedings of the 15th Design Automation Conference
LORES - Logic Reorganization System
DAC '78 Proceedings of the 15th Design Automation Conference
Quality of designs from an automatic logic generator (ALERT)
DAC '70 Proceedings of the 7th Design Automation Workshop
The description, simulation, and automatic implementation of digital computer processors
The description, simulation, and automatic implementation of digital computer processors
Automated exploration of the design space for register-transfer (rt) systems.
Automated exploration of the design space for register-transfer (rt) systems.
On the Optimal Design of Multiple-Valued PLAs
IEEE Transactions on Computers
Automatic synthesis of Boolean equations using programmable array logic
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
High-level synthesis from VHDL with exact timing constraints
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Recent developments in high-level synthesis
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Synthesis techniques for digital systems design
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Technology adaption in logic synthesis
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
DAC '83 Proceedings of the 20th Design Automation Conference
A method of automatic data path synthesis
DAC '83 Proceedings of the 20th Design Automation Conference
Polaris: Polarity propagation algorithm for combinational logic synthesis
DAC '84 Proceedings of the 21st Design Automation Conference
DAC '81 Proceedings of the 18th Design Automation Conference
IBM Journal of Research and Development
Hardware design and description languages in IBM
IBM Journal of Research and Development
Automated Synthesis of Digital Hardware
IEEE Transactions on Computers
Processor Description Languages
Processor Description Languages
Logic synthesis through local transformations
IBM Journal of Research and Development
Hi-index | 0.01 |
Despite many attempts to generate hardware implementations automatically from functional specifications, the literature does not record any commercial success. Previous efforts have dealt primarily with technology-independent primitives and have emphasized circuit minimization. However, larger scales of integration have made other design requirements and technology restrictions as important as circuit count, and have increased the cost of making an engineering change. Thus it is becoming increasingly important to insure that initial chip designs are correct. This paper outlines an investigation into the feasibility of logic synthesis in this new context. A system is described which will produce a naive implementation automatically from a functional specification, and then will interact with the designer, allowing him to evaluate it with respect to these many factors, and to improve it incrementally by applying local transformations until it is acceptable for manufacture. The use of simple local transformations will insure correct implementations, will isolate technology-specific data, and will allow the total process to be applied to larger VLSI designs. This approach has been tested on the design of a single chip with encouraging results. A prototype synthesis system is now being used to perform further experiments.