The coverage measures the completeness of the verification setup, which means it identifies if all the project-specific setup requirements defined in the Setup Library cellview are covered in the simulation histories for each block. It is calculated as follows:
Coverage = (Achieved verification goals) / (Target verification goals)
For example, if the specifications include 250 corners and only 100 of them are simulated, you get the coverage of 40% on the given design. This indicates that 60% of the corners are not run, regardless of the number of outputs passing the specifications. With the Setup Library assistant, a project manager can conveniently check whether all the project-specific requirements are covered in the simulation runs at the block level by generating the coverage in ADE Verifier.