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简洁的

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

不能妥协

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

morale