LOGE
- 1 June 1979
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGDA Newsletter
- Vol. 9 (2) , 6-13
- https://doi.org/10.1145/1061474.1061476
Abstract
Nearly all activities which have been published or which are known concentrate on those topics of computer-aided design related to layout of chips and boards and to testing and documentation. Systems which support logic design itself are not very widespread and are often out of focus. One of the inherent reasons may be that design engineers for whom CAD tools for logic design are developed, show a lot of scepticism and prejudice against those aids. They don't accept the idea that part of their personal work could be substituted by computer based algorithms.Keywords
This publication has 12 references indexed in Scilit:
- An Approach to Organizing Microinstructions which Minimizes the Width of Control Store WordsIEEE Transactions on Computers, 1976
- A Discussion on Two Algorithms for Determining Maximum CompatiblesIEEE Transactions on Computers, 1975
- Direct Transition Memory and its Application in Computer DesignIEEE Transactions on Computers, 1974
- An Approach to the Optimal Specification of Read-Only Memories in Microprogrammed Digital ComputersIEEE Transactions on Computers, 1974
- On Control Memory Minimization in Microprogrammed Digital ComputersIEEE Transactions on Computers, 1973
- On the Determination of Irredundant Prime Closed SetsIEEE Transactions on Computers, 1971
- A Method for Minimizing the Number of Internal States in Incompletely Specified Sequential NetworksIEEE Transactions on Electronic Computers, 1965
- A Programmed Algorithm for Assigning Internal Codes to Sequential MachinesIEEE Transactions on Electronic Computers, 1962
- Minimizing the Number of States in Incompletely Specified Sequential Switching FunctionsIEEE Transactions on Electronic Computers, 1959
- Simplest normal truth functionsThe Journal of Symbolic Logic, 1955