An analog behavioral equivalence checking methodology for simulink models and circuit level designs

Saglamdemir M. O., DÜNDAR G., ŞEN M. A.

International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2015, İstanbul, Türkiye, 7 - 09 Eylül 2015, (Tam Metin Bildiri) identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1109/smacd.2015.7301712
  • Basıldığı Şehir: İstanbul
  • Basıldığı Ülke: Türkiye
  • Boğaziçi Üniversitesi Adresli: Evet

Özet

We propose a simulation-based analog equivalence checking methodology between high level Simulink models and their low level Spice counterparts. The equivalence of high and low level designs is determined by comparing a set of predefined performance parameters measured during the simulation of both models. Our methodology investigates around the optimal point of equivalency to obtain a range of input parameters for both models, where the error percentage between the performance parameters of both models is less than a specified threshold. We demonstrate the validity of our approach on three designs, an inverter, an operational amplifier, and a buck converter, where our approach proves to be an efficient tool in equivalence checking of analog circuits.