Monitoring properties of analog and mixed-signal circuits
Monitoring properties of analog and mixed-signal circuits
About this item
Full title
Author / Creator
Publisher
Berlin/Heidelberg: Springer-Verlag
Journal title
Language
English
Formats
Publication information
Publisher
Berlin/Heidelberg: Springer-Verlag
Subjects
More information
Scope and Contents
Contents
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 (S
tl
) specification language, and is implemented in a stand-alone monitoring tool (A
mt
). We apply this property-based methodology to t...
Alternative Titles
Full title
Monitoring properties of analog and mixed-signal circuits
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_miscellaneous_1671471700
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_miscellaneous_1671471700
Other Identifiers
ISSN
1433-2779
E-ISSN
1433-2787
DOI
10.1007/s10009-012-0247-9
