Ein Algebraischer Ansatz zur verlasslicheren Verifikation Analog/Digitaler Systeme

摘要

Der Beitrag gibt einen Uberblick uber die Verwendung der Affinen Arithmetik zur verlasslicheren 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 Sigma-Delta Modulator und eine (gemischt analog/digitale) PLL analysiert und verifiziert.