Monitoring properties of analog and mixed-signal circuits

EUROSYS

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

Abstract

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.

Keywords

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