论文信息 - A semi-formal approach for analog circuits behavioral properties verification

A semi-formal approach for analog circuits behavioral properties verification

We propose an environment for the verification of analog circuits behavioral properties, where the circuit state space bounds are first computed using qualitative simulation. Then, their specified behavioral properties are verified on these bounds. The effectiveness of the method is illustrated with a tunnel diode oscillator.

[1] Sofiène Tahar,et al. Formal verification of analog and mixed signal designs: A survey , 2008, Microelectron. J..

[2] Masoud Nikravesh,et al. Fuzzy Partial Differential Equations and Relational Equations: Reservoir Characterization And Modeling , 2004 .

[3] Farid N. Najm,et al. Circuit Simulation , 2010 .

[4] Reiner Horst,et al. Introduction to Global Optimization (Nonconvex Optimization and Its Applications) , 2002 .

[5] A. Rollett,et al. The Monte Carlo Method , 2004 .

[6] Suwen Yang,et al. Verifying start-up conditions for a ring oscillator , 2008, GLSVLSI '08.

[7] D. Handscomb. THE MONTE CARLO METHOD , 2013 .

[8] H. S. Jamadagni,et al. Formal verification of Tunnel Diode Oscillator with temperature variations , 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).

[9] Mark R. Greenstreet,et al. Oscillator verification with probability one , 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).

[10] Leo Liberti,et al. Introduction to Global Optimization , 2006 .