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 and mixed signal systems is a challenging task that requires lots of expertise and deep understanding of their behavior. In this paper, we present a run-time verification methodology… (More)
DOI: 10.1145/1127908.1127984

4 Figures and Tables


  • Presentations referencing similar topics