Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL

Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodologies, recent research suggested extending PSL to support AMS systems. However, PSL has been defined initially to formalize properties about logical signals using models such as automata. In fact, the presence of continuous signals in AMS systems and the continuous notion of time are the main obstacles in adopting PSL. In this paper, we propose an approach to verify PSL properties for a class of AMS systems. Our approach is based on modeling the AMS design in terms of a System of Recurrence Equations (SRE). Then, we define an Assertion Based Verification method using the symbolic trace of SRE.

[1]  Sofiène Tahar,et al.  A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[2]  P. P. Chakrabarti,et al.  A verification system for transient response of analog circuits using model checking , 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

[3]  Sofiène Tahar,et al.  A practical approach for monitoring analog circuits , 2006, GLSVLSI '06.

[4]  S. Brigati,et al.  Modeling of fractional-N division frequency synthesizers with SIMULINK and MATLAB , 2001, ICECS 2001. 8th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.01EX483).

[5]  Lawrence S. Kroll.  Mathematica--A System for Doing Mathematics by Computer. , 1989 .

[6]  Rob A. Rutenbar,et al.  Time Domain Verification of Oscillator Circuit Properties , 2006, Electron. Notes Theor. Comput. Sci..

[7]  Kenneth S. Kundert,et al.  Design of mixed-signal systems-on-a-chip , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[8]  Dejan Nickovic,et al.  Real Time Temporal Logic: Past, Present, Future , 2005, FORMATS.

[9]  Ernst Christen,et al.  Vhdl-ams---a hardware description language for analog and mixed-signal applications , 1999 .

[10]  Rob A. Rutenbar,et al.  Computer-Aided Design of Analog Integrated Circuits and Systems , 2002 .

[11]  Dejan Nickovic,et al.  Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.

[12]  G. Al-Sammane,et al.  SIMULATION SYMBOLIQUE DES CIRCUITS DÉCRITS AU NIVEAU ALGORITHMIQUE , 2005 .