Title :
Verification and validation of AMS systems: Towards coverage of uncertainties
Author :
Grimm, Christoph ; Radojicic, Carna
Author_Institution :
Design of Cyber-Phys. Syst., Tech. Univ. Kaiserslautern, Kaiserslautern, Germany
Abstract :
In today´s systems, analog and mixed-signal (AMS) circuits are tightly interwoven with HW/SW systems and the application. Hence, a verification of the AMS part alone is not sufficient any more, in particular considering its application in Cyber-Physical Systems. In order to guarantee `first time right´, the accuracy of the models, the validation of the application fitness, and in changing, uncertain environments will become at least as important. In this paper we discuss and give an overview of methods that strive for validation of AMS systems with increased coverage. We in particular focus modeling, verification and validation of uncertainties in the context of Cyber-Physical Systems.
Keywords :
analogue integrated circuits; hardware-software codesign; mixed analogue-digital integrated circuits; AMS systems; HW-SW systems; analog circuits; cyber-physical systems; first time right; mixed-signal circuits; Complexity theory; Integrated circuit modeling; Mathematical model; Monte Carlo methods; Numerical models; Probabilistic logic; Uncertainty;
Conference_Titel :
Mixed-Signal Testing Workshop (IMSTW), 2015 20th International
Conference_Location :
Paris
DOI :
10.1109/IMS3TW.2015.7177882