Direkt zum Inhalt

Lexikon der Mathematik: Schaltkreisverifikation

Überprüfung der Korrektkeit eines logischen Schaltkreises.

Hierbei wird mit mathematischen Methoden nachgewiesen, ob der logische Schaltkreis dem spezifizierten Verhalten genügt, das in Form einer Beschreibung einer Booleschen Funktion, eines endlichen Automaten, oder in Form von Aussagen einer temporalen Logik, in der Aussagen über Änderungen von Bedingungen in der Zeit gemacht werden können, gegeben ist.

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.