Monitoring properties of analog and mixed-signal circuits


DOI: 10.1007/s10009-012-0247-9

Cite this article as:
Maler, O. & Ničković, D. Int J Softw Tools Technol Transfer (2013) 15: 247. doi:10.1007/s10009-012-0247-9


In this paper, we present a comprehensive overview of the property-based monitoring framework for analog and mixed-signal systems. Our monitoring approach is centered around the Signal Temporal Logic (Stl) specification language, and is implemented in a stand-alone monitoring tool (Amt). We 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.


Monitoring Temporal logic Analog and mixed signal Validation 

Copyright information

© Springer-Verlag 2012

Authors and Affiliations

  1. 1.CNRS-VERIMAGUniversity of GrenobleGrenobleFrance
  2. 2.AIT Austrian Institute of TechnologyViennaAustria

Personalised recommendations