A practical approach for monitoring analog circuits

Abstract

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

Topics

  • Presentations referencing similar topics