Titlebook: Verifikation digitaler Systeme; Eine Einführung in d Hans Eveking Textbook 1991 Springer Fachmedien Wiesbaden 1991 Arbeit.Entwicklung.Entwu

Expertise

Transitionale BeschreibungenBei einem System mit transitionalem Verhalten ist der Ausgang zu einem Zeitpunkt . eindeutig durch den Eingang und den Ausgang zum vorherigen Zeitpunkt .1 bestimmt (Abschnitt 3.3). Ein Beispiel für derartiges Verhalten sind die Zustandstabellen endlicher Automaten.

600

Kombiniert statisch/transitionale BeschreibungenMit den im vorigen Kapitel eingeführten ert-Beschreibungen k?nnen Zustands?nderungen unter zeitlich sich wechselseitig ausschlie?enden Bedingungen spezifiziert werden. Sie entsprechen den Darstellungen des Verhaltens endlicher Automaten durch Zustandsdiagramme.

A簡(jiǎn)潔的

Beschreibungen mit Vielfach-Verz?gerungenIn den vorangegangenen Kapiteln wurden Konstrukte der HWBS SMAX zur Modellierung von Verhalten betrachtet, das nach der Klassifikation von Abschnitt 3.3 statisch oder transitional war. Die Kenntnis des gegenw?rtigen bzw. vorherigen Zustands reichte bereits aus, um den Ausgang eines Systems eindeutig zu bestimmen.

Infuriate

CEDE

Erweiterungen von BeschreibungenIn den folgenden Kapiteln werden Situationen betrachtet, in denen als Spezifikation und Implementierung (s. Abb. 1.1) zwei Hardwarebeschreibungen benutzt werden (Abb. 15.1). Eine derartige Technik wird . genannt [Eve85a].

Wordlist

Leitf?den und Monographien der Informatikhttp://image.papertrans.cn/v/image/981755.jpg

menopause

https://doi.org/10.1007/978-3-322-94684-3Arbeit; Entwicklung; Entwurf; Modellierung; Semantik; Stabilit?t; Systeme; Transitionsrelation; VLSI; Verfahr

MIR

978-3-519-02249-7Springer Fachmedien Wiesbaden 1991

不能妥協(xié)

Overview: 978-3-519-02249-7978-3-322-94684-3

morale