Redundancy and Don't Cares in Logic Synthesis
- 1 October 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-32 (10) , 947-952
- https://doi.org/10.1109/tc.1983.1676139
Abstract
A signal in a logical network is called redundant if it can be replaced by a constant without changing the function of the network. Detecting redundancy is important for two reasons: guaranteeing coverage in stuck-fault testing, and simplifying multilevel logic without converting to two levels. In particular, removing redundancy allows simplification in the presence of don't cares. The algorithm for redundancy removal described in this paper has been used successfully for both of the above purposes. It achieves savings in computer resources at the expense of possibly failing to discover some redundancies.Keywords
This publication has 3 references indexed in Scilit:
- Logic Synthesis Through Local TransformationsIBM Journal of Research and Development, 1981
- MINI: A Heuristic Approach for Logic MinimizationIBM Journal of Research and Development, 1974
- Minimization of Boolean Functions*Bell System Technical Journal, 1956