To generate the coverage report in the Results tab, click Calculate Coverage on the ADE Verifier toolbar.
The Coverage column displays a coverage report for the requirement with colored bars.
To indicate changes in the coverage and a need for recalculation, an exclamation mark symbol appears on Calculate Coverage in the following cases:
- If you change the value of the project-specific setup requirements that exist in the Setup Library.
- If you modify a corner or variable that is a part of an existing verification space in ADE Verifier.
An example of this is: Suppose you rename a verification space in the Setup Library Assistant, and this space is currently in use in ADE Verifier. ADE Verifier synchronizes with the changes in the Setup Library by displaying the previous space name with a strike through. For example, you assign a requirement to Space1 in ADE Verifier and you rename Space1 to Space2 in the Setup Library Assistant. Space1 appears with a strike through, Space1, in the open ADE Verifier cellview.
Related Topics
