Abstract:
Coverage data-base is the qualitative measurement for the verification engineer to judge the complete degree of SoC verification,and it provides the safeguard for the SoC validation completeness.This paper takes the verification of SoC bus arbiter as an example,analyzes many kinds of coverage in detail,for example,structure coverage,functional coverage,assertion coverage and so on,then modifies the RTL design code and testcases based on the analysis results of these coverage,until the integrity of the verification meet the design requirements.