Back to Search
Start Over
A Logical Design Automation Utility
- Source :
- DTIC AND NTIS
- Publication Year :
- 1970
-
Abstract
- Computer oriented algorithms for several laborious computations frequently encountered in switching theory and logic design are presented. They are algorithms for the computation of designation numbers, functional composition, detection of relations between Boolean functions, symbolic expansion of Boolean expressions, and approximate minimization of Boolean functions. These algorithms are useful in the construction of man/machine interactive systems for logic design automation. Machine independence and modularity are emphasized in the development of these algorithms. They have been programmed on the LINC computer.<br />Sponsored in part by Grant PHS-RR-00396.
Details
- Database :
- OAIster
- Journal :
- DTIC AND NTIS
- Notes :
- WASHINGTON UNIV ST LOUIS MO COMPUTER SYSTEMS LAB, Kao, Chin-Chi, Chuang, Ying Huang
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.ocn831528239
- Document Type :
- Electronic Resource