Ein Algebraischer Ansatz zur verlässlicheren Verifikation Analog/Digitaler Systeme
Conference: ANALOG 2014 – Analogschaltungen im Systemkontext - Beiträge der 14. GMM/ITG-Fachtagung
09/17/2014 - 09/19/2014 at Hannover, Deutschland
Proceedings: ANALOG 2014 – Analogschaltungen im Systemkontext
Pages: 5Language: germanTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
Grimm, Christoph; Radojicic, Carna; Purusothaman, Thiyagarajan (TU Kaiserslautern, Deutschland)
Abstract:
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.