LSI-ontwerpflow en EDA
Welke maat wordt bij RTL-verificatie gebruikt om te beoordelen hoe volledig de verificatie is uitgevoerd?
- AFIT
- BCoverage (code coverage en functionele coverage)
- CCp
Antwoord en toelichting tonen
Antwoord: B. Coverage (code coverage en functionele coverage)
Coverage is een maat voor welke regels en vertakkingen van de RTL-code tijdens verificatie zijn uitgevoerd (code coverage) en hoeveel van de in de specificatie vastgelegde functies en situaties zijn gecontroleerd (functionele coverage). Ook bij 100 % code coverage is niet gezegd dat de combinaties uit de specificatie zijn gecontroleerd, dus beide worden bekeken. Waar de coverage laag is, worden testen toegevoegd. FIT is een maat voor foutfrequentie en Cp een maat voor procesvermogen.