The automatic synthesis of digital systems
- 1 January 1981
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 69 (10), 1200-1211
- https://doi.org/10.1109/proc.1981.12161
Abstract
The purpose of a digital synthesis aid is to allow a digital system architect to describe the behavior of a system to be built and to then aid him in the logic design of that system. This paper will overview several different approaches to the development of synthesis aids. The importance of key features of synthesis aids, such as the automatic generation of multilevel system representations, will also be discussed.Keywords
This publication has 24 references indexed in Scilit:
- A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital LogicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- A Technology Relative Logic Synthesis and Module Selection SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- The Modeling and Synthesis of Bus SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Measuring designer performance to verify design automation systemsIEEE Transactions on Computers, 1981
- The MIMOLA Design System: Detailed Description of the Software SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Bristle Blocks: A Silicon CompilerPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Silicon Compilation-A Hierarchical Use of PLAsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- The CMU Design Automation System - An Example of Automated Data Path DesignPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Register-Transfer Level Digital Design Automation: The Allocation ProcessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- Macromodular computer systemsPublished by Association for Computing Machinery (ACM) ,1967