Paper Info
Title
Redundancy and Don't Cares in Logic Synthesis
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.
Year
DOI
Venue
1983
10.1109/TC.1983.1676139
IEEE Trans. Computers
Keywords
Field
DocType
Don't cares,logic synthesis,optimization,redundancy,testability,Don't cares,logic synthesis,optimization,redundancy,testability
Logic synthesis,Computer resources,Testability,Computer science,Triple modular redundancy,Real-time computing,Theoretical computer science,Redundancy (engineering),Logical network,Dual modular redundancy,Logic redundancy
Journal
Volume
Issue
ISSN
32
10
0018-9340
Citations 
PageRank 
References 
34
22.61
2
Authors
1
Name
Order
Citations
PageRank
D. Brand129284.65