LSI design flow and EDA
In RTL verification, which metric is used to evaluate how thoroughly verification has been done?
- AFIT
- BCoverage (code coverage and functional coverage)
- CCp
Show answer and explanation
Answer: B. Coverage (code coverage and functional coverage)
Coverage indicates which lines and branches of RTL code were executed during verification (code coverage) and how many of the functions and scenarios defined in the specification were checked (functional coverage). Areas with low coverage are insufficiently verified, so tests are added.