112
Voted
GLVLSI
2006
IEEE
15 years 8 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...