Digital System Design Automation—A Method for Designing a Digital System as a Sequential Network System
- 1 November 1968
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-17 (11), 1044-1061
- https://doi.org/10.1109/tc.1968.226464
Abstract
—This paper deals with computer-aided design of digital systems and presents a formal method for designing a digital system via state tables. The steps of the design method can be summarized as follows: a) a system is described by a set of microprograms written in a "transfer language," b) the set of microprograms is translated into a set of flow tables by an algorithm, and c) the flow tables are converted into logical diagrams by synthesis procedures. The purpose of step a) is to aid the designer in describing the system; the result of step b) makes it possible to reduce the logical complexity of the system by using systematic techniques of the sequential network theory; and the result of step c) is a system of interconnected sequential networks, operating simultaneously which may include iterative asynchronous networks.Keywords
This publication has 13 references indexed in Scilit:
- A language for describing the functions of synchronous systemsCommunications of the ACM, 1966
- General survey of design automation of digital computersProceedings of the IEEE, 1966
- An ALGOL-like computer design languageCommunications of the ACM, 1965
- Computer-Aided Digital System Design and Analysis Using a Register Transfer LanguageIEEE Transactions on Electronic Computers, 1964
- A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS)IEEE Transactions on Electronic Computers, 1964
- A Logic Design Translator Experiment Demonstrating Relationships of Language to Systems and Logic DesignIEEE Transactions on Electronic Computers, 1964
- Microprogrammed Control for Computing SystemsIEEE Transactions on Electronic Computers, 1963
- The Design and Use of Hazard-Free Switching NetworksJournal of the ACM, 1957
- A method for synthesizing sequential circuitsBell System Technical Journal, 1955
- Micro-programming and the design of the control circuits in an electronic digital computerMathematical Proceedings of the Cambridge Philosophical Society, 1953