Ein Algebraischer Ansatz zur verlässlicheren Verifikation Analog/Digitaler Systeme
Konferenz: ANALOG 2014 – Analogschaltungen im Systemkontext - Beiträge der 14. GMM/ITG-Fachtagung
17.09.2014 - 19.09.2014 in Hannover, Deutschland
Tagungsband: ANALOG 2014 – Analogschaltungen im Systemkontext
Seiten: 5Sprache: DeutschTyp: PDF
Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Autoren:
Grimm, Christoph; Radojicic, Carna; Purusothaman, Thiyagarajan (TU Kaiserslautern, Deutschland)
Inhalt:
Der Beitrag gibt einen Überblick über die Verwendung der Affinen Arithmetik zur verlässlicheren Modellierung und Verifikation Analog/Digitaler Systeme. Der Ansatz kann nahtlos in existierende, simulations-basierte Designflows und sogar Tools integriert werden und skaliert auch mit komplexeren Systemen. Als Proof-of-Concept werden ein Σ-Δ Modulator und eine (gemischt analog/digitale) PLL analysiert und verifiziert.