Digitale Hardware/ Software-Systeme- P1:Getrieben durch neue Technologien und Anwendungen wird der Entwurf eingebetteter Systeme zunehmend komplexer. Dabei ist eine Umsetzung als Hardware/Software- System heutzutage der Stand der Technik. Die Minimierung von Fehlern im Entwurf dieser Systeme ist aufgrund deren Komplexit¨at eine der zentralen Herausforderungen unserer heutigen Zeit. Bereits heute wird mehr Aufwand in die Verifikation, also in die U¨ berpru¨fung der Korrektheit, eines eingebetteten Systems gesteckt als in den eigentlichen Entwurf | CHRISTIAN HAUBELT JURGEN TEICH Digitale Hardware Software-Systeme Spezifikation und Verifikation ist eine Reihe die Theorie und Praxis aus allen Bereichen der Informatik fur die Hochschulausbildung .
