Automated Synthesis of Digital systems
- 1 November 1984
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Design & Test of Computers
- Vol. 1 (4) , 75-81
- https://doi.org/10.1109/mdt.1984.5005693
Abstract
This tutorial describes the automatic synthesis of digital implementations from higher-level specifications. The synthesis process is described in terms of four mechanisms: resource allocation, design transformation, composition, and scheduling. These mechanisms are illustrated with examples taken from three synthesis categories: algorithm synthesis, register-transfer synthesis, and logic synthesis. The latter two categories encompass both data-path and control design. An early history of synthesis research is given, highlighting work done at IBM and Carnegie-Mellon University. The tutorial summarizes the difficulties of automating synthesis, including the combinatorial explosion of design possibilities, the interaction between different synthesis tasks, and the difficulty of estimating design attributes such as cost and speed. Finally, the tutorial summarizes the success of automated synthesis.Keywords
This publication has 17 references indexed in Scilit:
- A General Methodology for Synthesis and Verification of Register-Transfer DesignsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- POLARIS: Polarity Propagation Algorithm for Combinational Logic SynthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital LogicIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1983
- The VLSI Design Automation Assistant: Prototype SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Synthesis of Hardware for the Control of Digital SystemsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1982
- A design methodology and computer aids for digital VLSI systemsIEEE Transactions on Circuits and Systems, 1981
- A Technology Relative Logic Synthesis and Module Selection SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Methods Used in an Automatic Logic Design Generator (ALERT)IEEE Transactions on Computers, 1969
- Translation of a DDL Digital System Specification to Boolean EquationsIEEE Transactions on Computers, 1969
- Symbolic synthesis of digital computersPublished by Association for Computing Machinery (ACM) ,1952