Algebraic decomposition for hardware-related behavioral modeling
Konferenz: Zuverlässigkeit und Entwurf - 7. ITG/GI/GMM-Fachtagung
24.09.2013 - 26.09.2013 in Dresden, Deutschland
Tagungsband: Zuverlässigkeit und Entwurf
Seiten: 4Sprache: EnglischTyp: PDF
Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Autoren:
Uygur, Gürkan; Sattler, Sebastian M. (Chair of Reliable Circuits and Systems, LZS, University Erlangen-Nuremberg, Paul-Gordan-Str. 5, 91052 Erlangen, Germany)
Inhalt:
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.