Using stochastic differential equation for assertion based verification of noise in analog/RF circuits

Today's analog/RF design and verification face significant challenges due to circuit complexity and short market windows. In particular, the issues related to noise modeling and verification still remains a priority for many applications. In this paper, we propose a methodology for modeling and verification of analog/RF designs in the presence of noise. Our approach is based on modeling the designs using stochastic differential equations (SDE) to incorporate the statistical nature of noise. Then, we define an assertion based verification method integrated in the SDE simulation framework for monitoring properties of interest in order to quickly detect errors. Our approach is illustrated on nonlinear tunnel-diode and Colpitts oscillators circuits.

[1]  M. Steer,et al.  Time-Domain Modelling of Phase Noise in an Oscillator , 2006, 2006 European Microwave Conference.

[2]  Alper Demir,et al.  Tools and methodology for RF IC design , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[3]  岡田 浩司,et al.  Analog integrated circuit , 2008 .

[4]  Paolo Antognetti,et al.  Semiconductor Device Modeling with Spice , 1988 .

[5]  B. Krogh,et al.  Towards formal verification of analog designs , 2004, ICCAD 2004.

[6]  R. Meolic,et al.  CTL and ACTL patterns , 2001, EUROCON'2001. International Conference on Trends in Communications. Technical Program, Proceedings (Cat. No.01EX439).

[7]  Ali Hajimiri,et al.  Complete noise analysis for CMOS switching mixers via stochastic differential equations , 2000, Proceedings of the IEEE 2000 Custom Integrated Circuits Conference (Cat. No.00CH37044).

[8]  M. Jamal Deen,et al.  Noise in Advanced Electronic Devices and Circuits , 2005 .

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

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

[11]  B. Øksendal.  Stochastic Differential Equations , 1985 .

[12]  R. Poujois,et al.  A new approach for noise simulation in transient analysis , 1992, [Proceedings] 1992 IEEE International Symposium on Circuits and Systems.

[13]  David A. Johns,et al.  Analog Integrated Circuit Design , 1996 .

[14]  Igor M. Filanovsky,et al.  Remarks on Analysis, Design and Amplitude Stability of MOS Colpitts Oscillator , 2007, IEEE Transactions on Circuits and Systems II: Express Briefs.

[15]  P. Kloeden,et al.  Numerical Solution of Stochastic Differential Equations , 1992 .

[16]  Alper Demir,et al.  Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems , 1997 .

[17]  Reinhold Ludwig,et al.  RF circuit design : theory and applications , 2000 .

[18]  Reinhold Ludwig,et al.  RF Circuit Design , 2000 .

[19]  Sofiène Tahar,et al.  Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL , 2007, FDL.

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

[21]  Zhiwei Wang,et al.  Verification of analog and mixed signal designs using online monitoring , 2009, 2009 IEEE 15th International Mixed-Signals, Sensors, and Systems Test Workshop.

[22]  J. Alvin Connelly,et al.  Simulating phase noise in phase-locked loops with a circuit simulator , 1995, Proceedings of ISCAS'95 - International Symposium on Circuits and Systems.

[23]  S. Shreve,et al.  Stochastic differential equations , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[24]  E. Kolafova.  Modelling RL Electrical Circuits by Stochastic Diferential Equations , 2005, EUROCON 2005 - The International Conference on "Computer as a Tool".

[25]  Rheinhold Ludwig,et al.  RF Circuit Design: Theory & Applications (2nd Edition) , 2007 .

[26]  Roland W. Freund,et al.  Circuit noise evaluation by Pade approximation based model-reduction techniques , 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[27]  Sebastian Magierowski,et al.  CMOS LC-oscillator phase-noise analysis using nonlinear models , 2004, IEEE Transactions on Circuits and Systems I: Regular Papers.