3 search results - page 1 / 1 » Enhancing Simulation with BDDs and ATPG |
DAC
1999
ACM
14 years 8 months ago
1999
ACM
ICCD
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
TC
1998
13 years 7 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...