Wie stellt man eine Nichtkonformität mit einer Spezifikation fest, wenn sowohl die RTL'er als auch die Verifizierungsingenieure eine bestimmte Spezifikationsfunktion übersehen?

Question

Ich habe einige Fragen zur IP-Überprüfung.

Angenommen, wenn ein bestimmtes Design / eine bestimmte Funktionalität aus einer IP-Spezifikation sowohl in der RTL als auch im Verifizierungsplan (Abdeckungspunkte) fehlt, wie würden Sie diesen Fehler identifizieren?

Da es nicht in RTL implementiert wurde (von SPEC übersehen), können wir es nicht anhand der Codeabdeckung identifizieren.

Bitte werfen Sie etwas Licht darauf.

Danke

Answer 1

Jemand sollte den Überprüfungsplan mit der IP-Spezifikation der obersten Ebene vergleichen.Für jeden Punkt in der Spezifikation die Frage "Wie zeigen wir, dass wir diese Anforderung erfüllt haben?"braucht eine gute Antwort.

(Wenn die betreffende Funktion nicht vorhanden ist, muss die Spezifikation der obersten Ebene korrigiert werden!)

Answer 2

Sie können eine Funktionsliste erstellen und Ihre Tests dagegen schreiben.

Answer 3

Die Entwurfs- und Testplanüberprüfungen umfassen im Allgemeinen den Vergleich der IP-Spezifikation mit diesen Entwürfen und Testplänen.Der IP-Spezifikationsschreiber ist normalerweise ebenfalls vorhanden und kann Punkte in der Spezifikation identifizieren, die nicht abgedeckt sind.