Automated Synthesis of Digital Hardware
- 1 February 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-31 (2) , 93-109
- https://doi.org/10.1109/tc.1982.1675955
Abstract
This paper describes a portion of the Carnegie-Mellon University Design Automation (CMU-DA) research. This part involves the design and construction of a data-memory allocator, consisting of a set of algorithms and data structures which synthesize hardware at the register-transfer level from a behavioral description written in ISP. The allocator selects registers and data operators and interconnects them with data paths to form a data part capable of implementing the data operations specified in the behavior. Results indicate that the allocator's performance compares favorably with a human designer when designing an elevator controller and a reduced PDP-8/E. Although optimal designs cannot be guaranteed, upper bounds for the number of components used can be derived from the ISP description.Keywords
This publication has 12 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
- Algorithms for Multiple-Criterion Design of Microprogrammed Control HardwarePublished 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
- On Proving the Correctness of Optimizing Transformations in a Digital Design Automation 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
- The MIMOLA Design System: Detailed Description of the Software SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- A Technology-Relative Computer-Aided Design System: Abstract Representations, Transformations, and Design TradeoffsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- Register-Transfer Level Digital Design Automation: The Allocation ProcessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1978
- An architectural research facilityPublished by Association for Computing Machinery (ACM) ,1977
- Optimal selection of functional components for microprogrammable central processing unitsPublished by Association for Computing Machinery (ACM) ,1972