Integrating circuit analyses for assertion-based verification of programmable AMS circuits
Forum on Specification and Design Languages, FDL 2013, Paris, Fransa, 01 Eylül 2013, cilt.311 LNEE, ss.67-84, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Cilt numarası: 311 LNEE
- Doi Numarası: 10.1007/978-3-319-06317-1_4
- Basıldığı Şehir: Paris
- Basıldığı Ülke: Fransa
- Sayfa Sayıları: ss.67-84
- Anahtar Kelimeler: Analog/Mixed-Signal (AMS), Assertion checkers, Assertion languages, Assertions, Circuit analysis, Formal methods, Frequency-domain analysis, Monitors, Performance analysis, Simulation, Temporal logic, Time-domain analysis, Verification
- Boğaziçi Üniversitesi Adresli: Evet
Özet
Digitally-programmable analog circuits provide reconfigurability and flexibility for next-generation electronic systems and modern electronic systems need such circuits more than ever. For verification of these circuits, the change in analog characteristics according to digital inputs should be monitored and checked to determine whether measured analog characteristics satisfy desired conditions in a unified Analog/Mixed-Signal (AMS) verification environment. Therefore, we integrate common analog circuit analyses into an assertion-based verification flow, and we verify time-varying analog characteristics of digitally-programmable AMS circuits. We use results of DC, AC, and Fourier transform based analyses in our AMS assertion language, and monitor violations caused by any change in digital inputs. We show an application of our approach on a programmable low-pass filter circuit where cut-off frequency can be digitally controlled. © 2015 Springer International Publishing.