Monitoring Properties of Analog and Mixed-Signal Circuits

Download Now
Provided by: CNRS
Topic: Hardware
Format: PDF
Verification of digital hardware has achieved in the past years a high level of automation, thanks to amature tool and methodology support from the Electronic Design Automation (EDA) industry. In this paper, the authors present a comprehensive overview of the property-based monitoring framework for analog and mixed-signal systems. Their monitoring approach is centered on the Signal Temporal Logic (STL) specification language, and is implemented in a stand-Alone Monitoring Tool (AMT). They apply this property-based methodology to two industrial case studies and briefly present some recent extensions of STL that were motivated by practical needs of analog designers.
Download Now

Find By Topic