Coverage-driven mixed-signal verification of smart power ICs in a UVM environment

The complexity of integrated circuits is continuously increasing, leading to a growing demand for methodologies that offer comprehensive mixed-signal verification concepts. However, compared to the highly automated verification methodologies in the digital domain, pre-silicon verification in the analog domain usually implies a substantial amount of manual work and computational effort. In order to meet the rising challenges, various attempts were made to extend well-established approaches from the field of digital verification to also enable systematic mixed-signal verification. However, no methodology could be identified that meets our requirements for high reusability and maintainability, tool independence as well as capabilities for functional coverage collection. For this reason, we propose a mixed-signal verification methodology that covers the aforementioned as well as additional aspects required for a successful coverage closure. The presented concept is applied to a smart power application to demonstrate its potential and outline the gained benefits.

[1]  Neyaz Khan,et al.  Metric Driven Verification of Mixed-Signal Designs , 2011 .

[2]  Wolfgang Ecker,et al.  Automatically comparing analog behavior using Earth Mover's Distance , 2016, 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).

[3]  Linus Maurer,et al.  Safety-oriented mixed-signal verification of automotive power devices in a UVM environment , 2016, 2016 13th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD).

[4]  Lars Hedrich,et al.  Feature based state space coverage of analog circuits , 2016, 2016 Forum on Specification and Design Languages (FDL).

[5]  Neyaz Khan From Spec to Verification Closure : a case study of applying UVM-MS for first pass success to a complex Mixed-Signal SoC design , 2012 .

[6]  Cristian Tepus,et al.  Constraint random stimuli and functional coverage on mixed signal verification , 2014, 2014 International Semiconductor Conference (CAS).

[7]  Wolfgang Ecker,et al.  A transaction-oriented UVM-based library for verification of analog behavior , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[8]  F. Neumann,et al.  UVM-based verification of smart-sensor systems , 2012, 2012 International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD).

[9]  Lars Hedrich,et al.  Detecting Design Flaws using Analog State Space Coverage , 2016 .