Sciweavers

2 search results - page 1 / 1
» Multi-Node Static Logic Implications for Redundancy Identifi...
Sort
View
DATE
2000
IEEE
87views Hardware» more  DATE 2000»
13 years 9 months ago
Multi-Node Static Logic Implications for Redundancy Identification
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...
Kabir Gulrajani, Michael S. Hsiao
VTS
1997
IEEE
61views Hardware» more  VTS 1997»
13 years 9 months ago
Static logic implication with application to redundancy identification
Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Pate...