Algebraic decomposition for hardware-related behavioral modeling

Conference: Zuverlässigkeit und Entwurf - 7. ITG/GI/GMM-Fachtagung
09/24/2013 - 09/26/2013 at Dresden, Deutschland

Proceedings: Zuverlässigkeit und Entwurf

Pages: 4Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Authors:
Uygur, Gürkan; Sattler, Sebastian M. (Chair of Reliable Circuits and Systems, LZS, University Erlangen-Nuremberg, Paul-Gordan-Str. 5, 91052 Erlangen, Germany)

Abstract:
We present a novel theory for algebraic automata based composition. Its vital feature is to be totally closed under composition and decomposition preserving all asynchronous and synchronous behavior without being handicapped with any conflicts. This feature is essential for modeling and verification of feed-backed asynchronous and synchronous circuitry. Hence, our motivation and long-term objective is to employ this theoretical framework for deeply and consistently hardware-related verification.