LSI-Entwurfsablauf und EDA
Welche Kenngröße dient bei der RTL-Verifikation zur Bewertung, wie gründlich verifiziert wurde?
- AFIT
- BCoverage (Code Coverage und Functional Coverage)
- CCp
Antwort und Erläuterung anzeigen
Antwort: B. Coverage (Code Coverage und Functional Coverage)
Coverage ist eine Kenngröße dafür, welche Zeilen und Verzweigungen des RTL-Codes in der Verifikation ausgeführt wurden (Code Coverage) und wie viele der in der Spezifikation definierten Funktionen und Situationen geprüft wurden (Functional Coverage). Auch bei 100 % Code Coverage sind die Kombinationen der Spezifikation nicht unbedingt geprüft, weshalb beide betrachtet werden. Für Bereiche mit niedriger Coverage werden zusätzliche Tests ergänzt. FIT ist eine Ausfallrate, Cp eine Prozessfähigkeitskenngröße.