Sciweavers

ICCAD
1999
IEEE
84views Hardware» more  ICCAD 1999»
13 years 9 months ago
Improving coverage analysis and test generation for large designs
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
Jules P. Bergmann, Mark Horowitz