A semi-formal approach for analog circuits behavioral properties verification
Ons Lahiouel, Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar · 2014
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.