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.