Facet: A procedure for the automated synthesis of digital systems
DAC '83 Proceedings of the 20th Design Automation Conference
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Synthesis by delayed binding of decisions
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Observations on comparing digital systems synthesis techniques
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Hi-index | 0.00 |
This paper describes the development of a design generator. The design generator takes a behavioral description as its input and generates functional level structures as its output. Designs for two behavioral descriptions are compared with commercial designs. On the average, the total number of gates required for the allocated data paths is 15 percent more than the commercial designs. Mechanisms for exploring alternative designs are provided. The design space for one of the examples is extensively investigated. Limitations of automated design are also discussed.