Coverage measures and a unified coverage model for analog circuit design

verfasst von

Andreas Fürtig, Lars Hedrich, Walter Hartong, Markus Olbrich, Malgorzata Rechmal

Abstract

The metric driven verification methodology using a coverage concept is well-established in digital design. Analog circuits are much more heterogeneous with continuous parameter and state spaces. Therefore, the coverage concept has not been well defined and has not been used for analog circuits so far. Rapidly increasing verification quality demand motivate a new attempt to analog verification coverage. We present a systematic approach to define coverage based verification of analog and mixed-signal circuits. A base coverage model is derived by starting from the fundamental equation system. Based on this, several applied coverage models can be identified. This leads to a set of coverage metric definitions and their relation to real-life verification tasks. Examples illustrate the presented systematic approach and how existing verification tools will fit into the coverage based methodology presented and how upcoming methods like formal analog verification help to increase the verification coverage.

Organisationseinheit(en)

Institut für Mikroelektronische Systeme
Fachgebiet Mixed-Signal-Schaltungen

Externe Organisation(en)

Goethe-Universität Frankfurt am Main
Cadence Design Systems

Typ

Aufsatz in Konferenzband

Seiten

74-79

Anzahl der Seiten

6

Publikationsdatum

2018

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

ASJC Scopus Sachgebiete

Hardware und Architektur, Signalverarbeitung, Oberflächen, Beschichtungen und Folien