Monitoring properties of analog and mixed-signal circuits |
| |
Authors: | Oded Maler Dejan Ni?kovi? |
| |
Affiliation: | 1. CNRS-VERIMAG, University of Grenoble, Grenoble, France 2. AIT Austrian Institute of Technology, Vienna, Austria
|
| |
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: | |
本文献已被 SpringerLink 等数据库收录! |
|