A Semi-Formal Approach for Analog Circuits Behavioral Properties Verification

Ons Lahiouel, Henda aridhi, Mohammed Zaki Hussein and Sofiene Tahar

Contact: lahiouel@ece.concordia.ca

The analog circuit design process is becoming very complex and therefore new verification approaches are very much needed. While formal verification requires human expertise, numerical and statistical methods lack completeness. Qualitative simulation, on the other hand, is a semi formal method for fuzzy dynamical system simulation. It has the advantage of generating complete and sound envelopes of trajectories.

some text

We propose a verification environment for analog circuits behavioral properties checking based on qualitative simulation. We automatically extract analog circuits models and compute their qualitative behavior for ranges of parameters and initial conditions. Then, we verify their properties on the generated state space bounds. The effectiveness of the method is illustrated with a tunnel diode oscillator.

[1] O.Lahiouel, H. Aridhi, M. H. Zaki, and S. Tahar, A Semi-Formal Approach for Analog Circuits Behavioral Properties Verification[Proc. Great Lakes Symposium on VLSI (GLSVLSI'14), Houston, Texas, USA, May 2014, pp. 247-248.]

Concordia University