Digitale Hardware/ Software-Systeme- P5 ppsx
Digitale Hardware/ Software-Systeme- P5 ppsx
... rechenintensiv. Deshalb wird die
¨
Aquivalenzpr
¨
ufung typischerweise
C. Haubelt, J. Teich, Digitale Hardware/Software-Systeme, eXamen.press,
DOI 10.1007/978-3-642-05356-6
4,
c
Springer-Verlag ... Heidelberg 2010
4.3 Sequentielle
¨
Aquivalenzpr
¨
ufung 141
4.3 Sequentielle
¨
Aquivalenzpr
¨
ufung
Digitale Hardware/Software-Systeme arbeiten typischerweise
¨
uber sehr lange Zeit-
r
¨
aume...
Digitale Hardware/ Software-Systeme- P19 ppsx
... dem Symbol P bezeichnet. Leider um-
fasst diese Klasse nur wenige f
¨
ur die Verifikation von digitalen Hardware/Software-
Systemen relevante Probleme. Andere Probleme lassen sich mit polynomiellen ... 4 · x − 4 · y = 0)
C
Algorithmen
In diesem Kapitel werden wichtige Algorithmen zur Verifikation digitaler Systeme
beschrieben. Zur Bewertung der Algorithmen ist es jedoch zun
¨
achst notwendig,
Từ khóa: