Facet: A Procedure for the Automated Synthesis of Digital Systems
- 1 January 1983
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 490-496
- https://doi.org/10.1109/dac.1983.1585698
Abstract
In the past decade significant effort has been devoted to the development of methodologies for design at the register-transfer level. However, effective and versatile procedures are still not available. This paper presents an efficient procedure for the automated synthesis of data paths at the register-transfer level. The procedure minimizes the numbers of storage elements, data operators, and interconnection units. In addition, the procedure has the capability of exploring alternatives in the design space. In some preliminary experiments the procedure produced designs nearly identical to commercially produced designs.Keywords
This publication has 9 references indexed in Scilit:
- A design methodology and computer aids for digital VLSI systemsIEEE Transactions on Circuits and Systems, 1981
- Some Experiments in Local Microcode Compaction for Horizontal MachinesIEEE Transactions on Computers, 1981
- The Modeling and Synthesis of Bus SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- A New Algorithm for Generating All the Maximal Independent SetsSIAM Journal on Computing, 1977
- Algorithm 457: finding all cliques of an undirected graphCommunications of the ACM, 1973
- Corrections to Bierstone's Algorithm for Generating CliquesJournal of the ACM, 1972
- An Analysis of Some Graph Theoretical Cluster TechniquesJournal of the ACM, 1970
- On cliques in graphsIsrael Journal of Mathematics, 1965
- Minimizing the Number of States in Incompletely Specified Sequential Switching FunctionsIEEE Transactions on Electronic Computers, 1959