Titlebook: Digitale Hardware/Software-Systeme; Spezifikation und Ve Christian Haubelt,Jürgen Teich Textbook 2010 Springer-Verlag Berlin Heidelberg 201

柔聲地說(shuō)

ALIAS

我要沮喪

Verifikation,re im Bereich eingebetteter Systeme, Implementierungen diversen Optimierungen unterworfen werden. Dies kann einerseits auch manuelle und somit fehleranf?llige Verfeinerungen einschlie?en. Andererseits sind Synthesewerkzeuge typischerweise selbst nicht verifiziert, was bedeutet, dass nicht sichergest

無(wú)脊椎

,?quivalenzprüfung,e Funktion repr?sentieren (siehe Abb. 4.1). Hierbei kann eine Prüfung zwischen zwei Beschreibungen auf der selben oder unterschiedlichen Abstraktionsebenen erfolgen. Obwohl auf vielen Abstraktionsebenen die Synthese mittlerweile automatisiert abl?uft [426], ist eine ?quivalenzprüfung h?ufig notwendi

obnoxious

,Eigenschaftsprüfung,r Prüfung funktionaler Eigenschaften wird das Strukturmodell der Implementierung dahin gehend überprüft, ob dieses alle funktionalen Anforderungen erfüllt. Dabei werden typischerweise Gefahrlosigkeits- und Lebendigkeitseigenschaften geprüft. Eine Gefahrlosigkeitseigenschaft besagt, dass nie etwas Sc

propose

Hardware-Verifikation,erschiedenenAbstraktionsebenen. In Abb. 6.1 sind die hier betrachtetenAbstraktionsebenen hervorgehoben. Zun?chst werden Methoden zur ?quivalenzprüfung von kombinatorischen und sequentiellen Schaltungen beschrieben, die überwiegend auf der Logikebene eingesetzt werden. Anschlie?end werden Methoden zu

Free-Radical

Software-Verifikation,r?sentiert. Dabei wird die Verifikation sowohl von Assembler- als auch von CProgrammen, die typischen Einschr?nkungen für eingebettete Software unterliegen, betrachtet. Danach werden Verfahren zur Testfallgenerierung für simulative Verifikationsmethoden für Software zusammen mit den zugeh?rigen über

miscreant

統(tǒng)治人類

Digitale Hardware/Software-Systeme978-3-642-05356-6Series ISSN 1614-5216

Insul島

Singende Gesellschaft – Bestandsaufnahmere im Bereich eingebetteter Systeme, Implementierungen diversen Optimierungen unterworfen werden. Dies kann einerseits auch manuelle und somit fehleranf?llige Verfeinerungen einschlie?en. Andererseits sind Synthesewerkzeuge typischerweise selbst nicht verifiziert, was bedeutet, dass nicht sichergestellt ist, dass das Syntheseergebnis korrekt ist.