Online verification of AMS Properties

Konferenz: ANALOG 2016 - 15. ITG/GMM-Fachtagung
12.09.2016 - 14.09.2016 in Bremen, Germany

Tagungsband: ITG-Fb. 266: Analog 2016

Seiten: 6Sprache: EnglischTyp: PDF

Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt

Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich (Technical University Chemnitz, Germany)

In this paper, we present a novel framework for simulative verification of analog VHDL-AMS components. The environment consists of a simulatable top level component written in VHDL-AMS, which instantiates a Device Under Test (DUT) with arbitrary analog inputs and outputs using a layer of abstraction. DUT verification is done by monitor modules during simulation runtime (online) using an external tool, which communicates with the simulation tool using a software library. This allows for monitors in arbitrary programming languages while dropping the necessity of saving simulation traces. Furthermore, we show how analog-extended PSL properties can be verified online.