IC 설계 흐름과 EDA
RTL 검증에서 검증이 얼마나 충분히 이루어졌는지를 평가하는 데 사용되는 지표는?
- AFIT
- B커버리지(코드 커버리지나 기능 커버리지)
- CCp
정답과 해설 보기
정답: B. 커버리지(코드 커버리지나 기능 커버리지)
커버리지는 검증에서 RTL 코드의 어느 행이나 분기가 실행되었는지(코드 커버리지), 사양으로 정한 기능과 상황이 얼마나 확인되었는지(기능 커버리지)를 나타내는 지표입니다. 코드 커버리지가 100%여도 사양의 조합을 확인했다고는 할 수 없으므로 둘 다 확인합니다. 커버리지가 낮은 부분에는 테스트를 추가합니다. FIT는 고장률, Cp는 공정 능력의 지표입니다.