5525 search results - page 100 / 1105 » Verification of Model Transformations |
ICCAD
2000
IEEE
15 years 7 months ago
2000
IEEE
CAV
1999
Springer
15 years 7 months ago
1999
Springer
101
click to vote
ISMVL
1994
IEEE
15 years 7 months ago
1994
IEEE
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
DAC
1990
ACM
15 years 7 months ago
1990
ACM