Towards more Dependable Verification of Mixed-Signal Systems

The verification of complex mixed-signal systems is a challenge, especially considering the impact of parameter variations. Besides the established approaches like Monte-Carlo or Corner-Case simulation, a novel semi-symbolic approach emerged in recent years. In this approach, parameter variations and tolerances are maintained as symbolic ranges during numerical simulation runs by using affine arithmetic. Maintaining parameter variations and tolerances in a symbolic way significantly increases verification coverage. In the following we give a brief introduction and an overview of research on semi-symbolic simulation of both circuits and systems and discuss possible application for system level verification and optimization.

[1]  Klaus Waldschmidt,et al.  Semi-Symbollic Simulation of Nonlinear Systems , 2005, FDL.

[2]  Helmut Graeb,et al.  PRACTICAL METHODS FOR WORST-CASE AND YIELD ANALYSIS OF ANALOG INTEGRATED CIRCUITS , 1993 .

[3]  Klaus Waldschmidt,et al.  Refinement of mixed-signals systems with affine arithmetic , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[4]  Margaret J. Robertson,et al.  Design and Analysis of Experiments , 2006, Handbook of statistics.

[5]  Christoph Grimm,et al.  Range Arithmetics to Speed up Reachability Analysis of Analog Systems , 2007, FDL.

[6]  Christoph Grimm,et al.  Semi-symbolic modeling and simulation of circuits and systems , 2006, 2006 IEEE International Symposium on Circuits and Systems.

[7]  Klaus Waldschmidt,et al.  Analysis of mixed-signal systems with affine arithmetic , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Christoph Grimm,et al.  Towards Abstract Analysis Techniques for Range Based System Simulations , 2010, FDL.

[9]  Klaus Waldschmidt,et al.  Analysis of mixed-signal systems with affine arithmetic , 2005 .

[10]  Georges Gielen,et al.  Symbolic analysis methods and applications for analog circuits: a tutorial overview , 1994, Proc. IEEE.

[11]  Georg Pelz,et al.  Design of experiments for effective pre-silicon verification of automotive electronics , 2009, 2009 Forum on Specification & Design Languages (FDL).

[12]  Mansoor Shafi,et al.  Quick Simulation: A Review of Importance Sampling Techniques in Communications Systems , 1997, IEEE J. Sel. Areas Commun..

[13]  Reuven Y. Rubinstein,et al.  Simulation and the Monte Carlo method , 1981, Wiley series in probability and mathematical statistics.

[14]  Mansun Chan,et al.  The engineering of BSIM for the nano-technology era and beyond , 2002 .

[15]  Erich Barke,et al.  Analog circuit simulation using range arithmetics , 2008, 2008 Asia and South Pacific Design Automation Conference.

[16]  Lars Hedrich,et al.  A formal approach to verification of linear analog circuits with parameter tolerances , 1998, Proceedings Design, Automation and Test in Europe.

[17]  Christoph Grimm,et al.  Analog and mixed signal modelling with SystemC-AMS , 2003, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03..

[18]  M. J. Fryer,et al.  Simulation and the Monte Carlo method , 1981, Wiley series in probability and mathematical statistics.