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.