Coverage measures and a unified coverage model for analog circuit design

authored by

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.

Organisation(s)

Institute of Microelectronic Systems
Mixed-Signal Circuits Section

External Organisation(s)

Goethe University Frankfurt
Cadence Design Systems

Type

Conference contribution

Pages

74-79

No. of pages

6

Publication date

2018

Publication status

Published

Peer reviewed

Yes

ASJC Scopus subject areas

Hardware and Architecture, Signal Processing, Surfaces, Coatings and Films