Volltext-Downloads (blau) und Frontdoor-Views (grau)

Embedded tutorial: analog-/mixed-signal verification methods for AMS coverage analysis

  • Analog-/Mixed-Signal (AMS) design verification is one of the most challenging and time consuming tasks of todays complex system on chip (SoC) designs. In contrast to digital system design, AMS designers have to deal with a continuous state space of conservative quantities, highly nonlinear relationships, non-functional influences, etc. enlarging the number of possibly critical scenarios to infinity. In this special session we demonstrate the verification of functional properties using simulative and formal methods. We combine different approaches including automated abstraction and refinement of mixed-level models, state-space discretization as well as affine arithmetic. To reach sufficient verification coverage with reasonable time and effort, we use enhanced simulation schemes to avoid conventional simulation drawbacks.

Download full text files

  • 1155.pdf

Export metadata

Additional Services

Share in Twitter Search Google Scholar


Author of HS ReutlingenHennig, Eckhard
Erschienen in:Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) : 14 - 18 March 2016, ICC, Dresden, Germany
Place of publication:Piscataway, NJ
Editor:Luca Fanucci
Document Type:Conference proceeding
Publication year:2016
Page Number:10
First Page:1102
Last Page:1111
DDC classes:620 Ingenieurwissenschaften und Maschinenbau
Open access?:Nein
Licence (German):License Logo  In Copyright - Urheberrechtlich geschützt