IMC Report Legend and Help
Coverage Grade Calculation
Top Element Scheme (Default scheme):
Self Grade = (Number of covered items)/Total number of items |
| Cumulative Grade = AVG (Self Grade + Sum of grades of children)
|
|
With '-compat iccr' option, IMC generates report with grades using the following scheme:
All Bucket Scheme:
Grade = (Sum of covered items)/Total number of items
|
|
Grades are printed in HTML reports in the following format:
Grade% (Hit/Total) |
Coverage Top Level Summary Report (Type or Instance Based)
| Lists Total coverage and coverage for each requested coverage type. Key terms: |
| Overall | Average of coverage percentages for each coverage type with items scored (CoverGroup Bins based coverage is excluded). |
| Block | Blocks which when Branch is scored also includes any Branches. |
| Expression | Expression Rows. |
| Toggle | Nets fully toggled. |
| FSM | States, Transitions, and optionally Arcs. |
| Assertion | Assert, Assume and Cover directives in PSL and SVA. |
| CoverGroup | CoverGroups coverage calculated as the weighted average of coverage for all CoverGroups below. In parenthesis ratio of Covered Bins and Total Bins shows |
| name | One of Cumulative, Self, or an Instance or Type name for this row of data. |
| Cumulative | Coverage for this instance and all of its sub instances. |
| Self | Coverage for this instance without any of its sub instances. |
| Coverage is displayed in one of the following ways: |
| 62 (153/246) | For all but CoverGroup coverage: Relative coverage in percent calculated as the ratio of Covered items and Total items. In parenthesis are Covered items and Total items. |
| 62 (153/245/1) | As above, but with one Exception item. They include marks by COM, pragma marks, and manual IGN and COV marks. (Covered/Total/Exception) |
| 57 (5) | For CoverGroup coverage: Relative coverage in percent calculated as the weighted average of coverage for all CoverGroups below. In paranthesis are the number of Covered bins and Total bins. |
| n/a | There were no items of this coverage type scored in simulation. |
| Coverage Table Color Legend (Controlled in 5% increments in file imc.css) |
|---|
| 0 |
<25 |
<50 |
<75 |
<100 |
100 |
Global CoverGroup Summary
| Lists CoverGroups from all instances or types in one place. |
| Overall CoverGroup Coverage. Key terms: |
| Coverage | Weighted average of the coverage of all CoverGroups. |
| Uncovered Bins | Total number of uncovered bins. |
| Total Bins | Total number of bins. |
| Total CoverGroups | Total number of covergroups. |
| Per CoverGroup Coverage in increasing coverage. Key terms: |
| Coverage | Weighted average of the coverage of its CoverPoints and Crosses. |
| Goal | SystemVerilog coverage goal in percent for this CoverGroup. |
| Weight | SystemVerilog weight for this CoverGroup. |
| Uncovered Bins | Number of uncovered bins in this CoverGroup. |
| Total Bins | Number of bins in this CoverGroup. |
| Name | Covergroup name. |
| Comment | Optional comment for CoverGroup. |
| 50 | A 100% green is used for coverage of any item that meets its Goal. |
Coverage Summary Report (Type or Instance Based)
| Summarizes coverage either for this instance and its children or for all types. See Top Level Summary for key terms. |
| Coverage of immediate sub-instances lists cumulative coverage for each immediate child. |
Coverage, Detailed Report
| Exclusion rule type |
| EXCL |
Excluded using refinement rule |
| P-EXCL |
Excluded from parent |
| U-EXCL |
Excluded and unreachable |
| T-EXCL |
Excluded from type |
| S-EXCL |
Smart excluded using refinement rule |
| EXCL(S) |
Smart indirect excluded |
| EMPTY |
All children are excluded |
| CONST |
Marked constant during simulation |
| IGN |
Marked ignored during simulation |
| UNG |
Marked ungradable during simulation |
| DES |
Marked deselected during simulation |
Block Coverage, Detailed Report
| The Block Coverage report lists coverage for blocks of code. |
| Count | Number of hits of this block. |
| Block | Sequential numbering of blocks within a
type or instance to use when marking items. |
| Line | Line number for item. An * indicates item is related to that line, e.g. an implicit statement.
For a branch item this column also lists its kind: true part of, false part of, implicit else, a case item of, ternary 1 true etc. |
| Kind | Kind of the block. |
| Origin | Line number origin of the block. |
Expression Coverage, Detailed Report
| index | Sequential numbering of
expressions and expression rows within a type or instance to use when
marking items. Displayed only when indices have been enabled using "indices
-on". |
| SOP and Control Scoring |
| - | Don't Care |
| rval |
Resulting value of the expression for coverage purposes given the input values |
| <-n-> |
Shows the n-th term composition |
| Event Scoring |
| e | event for event-or expressions |
| Parity Tree Scoring |
| O | Odd parity scored |
| E | Even parity scored |
| B | Both odd and even parity scored |
| X | Item was not scored |
| I | Marked ignore in parity tree |
| Vector Scoring |
| Y | Covered |
| N | Uncovered |
| C | Constant |
| P | One or more inputs for this bit were padded |
| d== , b== |
shows which bit differs |
| lhs == rhs |
shows expression match |
Toggle Coverage, Detailed Report
| Covered Toggles | Signals which are covered |
| Uncovered Toggles | Signals which are uncovered |
| Excluded Toggles | Signals which are excluded |
| Signal bits partially toggled(rise) | Number of signals with only the required number of rising transitions |
| Signal bits partially toggled(fall) | Number of signals with only the required number of falling transitions |
| Hit(full) | A signal's number of complete transitions (minimum of rising and falling transitions) |
| Hit(rise) | A signal's number of rising transitions |
| Hit(fall) | A signal's number of falling transitions |
FSM Coverage, Detailed Report
| State and transition coverage is scored by default for all instrumented FSMs |
| Arc coverage with additional detail optionally is scored for Verilog FSMs |
| Reset coverage optionally is scored |
| State Coverage |
| State | State name |
| Encoding | State encoding value |
| Visits | Number of times this state was visited |
| Transition and Arc Coverage |
| Inputs | List of signals that determine state change |
| P-State | Present state in this transition or arc |
| N-State | Next state in this transition or arc |
| Inputs | Combination of input values to cause this arc. Not defined with transition scoring. |
| Visits | Number of times this transition or arc was taken |
| Reset coverage |
| P-State | Current state of FSM at time of reset |
| Reset State | State to which reset transitioned the FSM |
| Resets | Number of such resets |
Assertion or Control-oriented Functional Coverage, Detailed Report
| Finished | Number of assertions which have finished |
| Failed | Number of assertions which have failed |
| Assertion | Name of the assertion |
CoverGroup or Data-oriented Functional Coverage, Detailed Report
| CoverGroup Summary in order of definition. Key terms: |
| Coverage | Weighted average of coverage for CoverPoints and Crosses in this Covergroup. |
| 50 | A 100% green is used for coverage of any item that meets its Goal. |
| Goal | SystemVerilog coverage goal in percent for this CoverGroup. |
| Weight | SystemVerilog weight for this CoverGroup. |
| Uncovered Bins | Number of uncovered bins in this CoverGroup. |
| Total Bins | Number of bins in this CoverGroup. |
| Name | CoverGroup name. |
| Comment | Optional comment. |
| CoverGroup Details in order of definition. Key terms: |
| Coverage | Weighted average of coverage for CoverPoints and Crosses in this Covergroup. |
| Goal | SystemVerilog coverage goal in percent for this item. |
| Weight | SystemVerilog weight for this item. |
| Uncovered Bins | Number of uncovered bins in this item. |
| Total Bins | Number of bins in this item. |
| Item | CoverPoint or Cross. |
| Name | Item name. |
| Comment | Optional comment. |
| CoverPoint and Cross Details in order of definition. Key terms: |
| Count | Number of hits for this bin. |
| AtLeast | Number of hits required for this bin to call it covered. |
| Default | Default bins are identified in AtLeast column, and their grey counts do not contribute to coverage. |
| Bin Name | Bin name. |
Miscellaneous
| Report Content | The Top Level Summary lists among other things the options and database IMC used to
generate this HTML report. Together these settings determine what is available for viewing. Do 'help report' in IMC for more information. |
| `include Files | Source line information refers to a line in the primary File name. If the source is in a `include, bind, or vunit file, then the line number is followed by a three-letter index which maps to one of the listed `include files. |
| Sorting | Macro execution must be enabled to allow sorting. Click any colored column header to sort. |
| Navigation | Use the browser's Back button to return to previous view. |
| Use right-mouse-button on links to optionally Open Link in New Window. |
| In general, item names and coverage numbers link to additional detailed information. |