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 10 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 10 months ago
Static logic implication with application to redundancy identification
Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Pate...