Sciweavers

44 search results - page 1 / 9
» iccad 1996
Sort
View
ICCAD
1996
IEEE
73views Hardware» more  ICCAD 1996»
13 years 7 months ago
Using complete-1-distinguishability for FSM equivalence checking
Pranav Ashar, Aarti Gupta, Sharad Malik
ICCAD
1996
IEEE
93views Hardware» more  ICCAD 1996»
13 years 7 months ago
ACV: an arithmetic circuit verifier
Yirng-An Chen, Randal E. Bryant
ICCAD
1996
IEEE
81views Hardware» more  ICCAD 1996»
13 years 7 months ago
Logic optimization by output phase assignment in dynamic logic synthesis
Ruchir Puri, Andrew Bjorksten, Thomas E. Rosser
ICCAD
1996
IEEE
78views Hardware» more  ICCAD 1996»
13 years 7 months ago
Stratified random sampling for power estimation
Chih-Shun Ding, Cheng-Ta Hsieh, Qing Wu, Massoud P...