Zusammenfassung
In diesem Kapitel wird die Verifikation der ausreichenden Initialisierung der internen Speicher diskutiert. Die Verifikation der ausreichenden Initialisierung mit einem unbestimmten Wert’U’ ist integraler Bestandteil der Simulation auf der Gatterebene. Auf abstrakteren Ebenen werden Datentypen ohne einen unbestimmten Wert verwendet, und es werden durch den Entwickler Verhaltensmodelle erzeugt. Daher wird die Erweiterung des Wertebereichs von abstrakten und konkreten Datentypen durch einen unbestimmten Wert diskutiert. Die einzelnen Werte des IEEE-Standardwertesatzes werden vorgestellt. Die Regeln zur Erweiterung eines Modells um das Verhalten bei einem unbestimmten Eingangs- oder Zustandswert werden erläutert.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
ten Hagen, K. (1995). Modellierung mit dem ’U’-Wert. In: Abstrakte Modellierung digitaler Schaltungen. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79689-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-79689-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-79690-6
Online ISBN: 978-3-642-79689-0
eBook Packages: Springer Book Archive