2 search results - page 1 / 1 » Multi-Node Static Logic Implications for Redundancy Identifi... |
112
Voted
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents a method for redundancy identification (RID) using multi-node logic implications. The algorithm discovers a large number of direct and indirect implications b...
90
Voted
VTS
1997
IEEE
15 years 7 months ago
1997
IEEE
