Translation of a DDL Digital System Specification to Boolean Equations
- 1 April 1969
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-18 (4) , 305-313
- https://doi.org/10.1109/t-c.1969.222657
Abstract
A digital system design language, DDL, has been described and shown to provide a concise yet precise means of specifying the organization and operation of digital systems, regardless of timing mode or hardware types, at various levels of detail [2]. This paper defines a series of tasks that transform any DDL document to Boolean and next-state equations from which a system may be implemented. Each task of the transformation produces another DDL description of a system which uses fewer features of the language.Keywords
This publication has 7 references indexed in Scilit:
- A Digital System Design Language (DDL)IEEE Transactions on Computers, 1968
- Translator writing systemsCommunications of the ACM, 1968
- Identification of Symmetry, Redundancy and Equivalence of Boolean FunctionsIEEE Transactions on Electronic Computers, 1967
- Systematic design of automataPublished by Association for Computing Machinery (ACM) ,1965
- Computer-Aided Digital System Design and Analysis Using a Register Transfer LanguageIEEE Transactions on Electronic Computers, 1964
- A Logic Design Translator Experiment Demonstrating Relationships of Language to Systems and Logic DesignIEEE Transactions on Electronic Computers, 1964
- A logic design translatorPublished by Association for Computing Machinery (ACM) ,1962