Using haloes in mixed-signal assertion based verification
2012 IEEE International High Level Design Validation and Test Workshop, HLDVT 2012, Huntington Beach, CA, Amerika Birleşik Devletleri, 9 - 10 Kasım 2012, ss.49-55, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Doi Numarası: 10.1109/hldvt.2012.6418242
- Basıldığı Şehir: Huntington Beach, CA
- Basıldığı Ülke: Amerika Birleşik Devletleri
- Sayfa Sayıları: ss.49-55
- Boğaziçi Üniversitesi Adresli: Evet
Özet
We develop an assertion based verification solution for analog mixed-signal designs. We introduce the halo concept for analog signals to express them with their tolerance and variation values in assertions. The halo of a signal provides a relaxation over the signal and it defines an effective region for that signal which can be used in assertion based verification. Using haloes for analog signals allow us to define a new set of comparison relations between two analog signals including their equivalence. In our intended design flow, these new analog signal operators are placed into the Analog layer of mixed-signal assertion languages as an extension. We present experimental results on a programmable switch and a VCO. © 2012 IEEE.