Sciweavers

GLVLSI
2006
IEEE
105views VLSI» more  GLVLSI 2006»
14 years 5 months ago
A practical approach for monitoring analog circuits
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 ...
Mohamed H. Zaki, Sofiène Tahar, Guy Bois