Horizontale Verifikation

Zusammenfassung

In den Kapiteln 16 und 17 wurde gezeigt, daß die korrekte Implementierung der Funktion einer Beschreibung oft davon abhängt, daß die Umgebung der Beschreibung eine Reihe von Schnittstellenbedingungen (Definition 13.2) einhält. Ein bekanntes Beispiel hierfür sind die Setup- und Haltezeit-Bedingungen von Flipflopbausteinen. Die gewünschte Funktion dieser Bausteine, nämlich die sichere Speicherung in Abhängigkeit von einem Taktsignal, ist nur dann garantiert, wenn Daten- und Takt-Eingangssignale die erwähnten Bedingungen einhalten. Andernfalls kann unerwünschtes Verhalten, etwa metastabile Zustände auftreten. Das Beispiel zeigt, daß Schnittstellenbedingungen relativ zu einer gewünschten Funktion verstanden werden müssen — das Gatternetz beispielsweise, das das Flipflopverhalten realisieren soll, reagiert ja auch irgendwie, wenn die Setup- und Haltezeit-Bedingungen nicht eingehalten werden.