| Context Info: |
|---|
|
loaded run directory /workspaces/repo/scratch/os_regression/otbn-sim-xcelium/cov_merge/merged model files domain : hdl /workspaces/repo/scratch/os_regression/otbn-sim-xcelium/cov_merge/merged/icc_10bf0aa6_25f9bc46.ucm ucds files domain : hdl /workspaces/repo/scratch/os_regression/otbn-sim-xcelium/cov_merge/merged/icc_10bf0aa6_25f9bc46.ucd loaded refinements not loaded ccf files /workspaces/repo/hw/dv/tools/xcelium/cover.ccf // Copyright lowRISC contributors (OpenTitan project). // Licensed under the Apache License, Version 2.0, see LICENSE for details. // SPDX-License-Identifier: Apache-2.0 // Include our common coverage CCF. include_ccf ${dv_root}/tools/xcelium/common.ccf /workspaces/repo/hw/dv/tools/xcelium/common.ccf // Copyright lowRISC contributors (OpenTitan project). // Licensed under the Apache License, Version 2.0, see LICENSE for details. // SPDX-License-Identifier: Apache-2.0 // Common coverage commands that apply to all DUTs. // // This coverge config file is provided by Xcelium and is located at: // ${XCELIUM_HOME}/tools/icc/include/all_coverage.ccf // Xcelium recommends including it, since it bundles together the common set of commands that enable // coverage collection on various design elements, that are otherwise turned off by default. We // maintain it locally with minor amends. // Enables expression coverage of various Verilog operators. set_expr_coverable_operators -all -event_or // Enables expression coverage of operators in various conditions and assignments. set_expr_coverable_statements -procassign -event_control -misc // Enables scoring of Verilog modules compiled with -v/-y or -libcell option but continues to // disable the scoring of Verilog modules defined with the 'celldefine compiler directive. set_libcell_scoring // Enables scoring of SystemVerilog continuous assignments, which is by disabled by default. set_assign_scoring // Scores branches together with block coverage. set_branch_scoring // Scores statements within a block. set_statement_scoring // Enables Toggle scoring and reporting of SystemVerilog enumerations and multidimensional static // arrays , vectors, packed union, modport and generate blocks. set_toggle_scoring -sv_enum enable_mda -sv_struct_with_enum -sv_modport -sv_mda 16 -sv_mda_of_struct -sv_generate -sv_packed_union // Enable toggle coverage only on ports. set_toggle_portsonly // Enable scoring of FSM arcs (state transitions). // TODO: re-enable this setting, temp disable due to #12544 // set_fsm_arc_scoring // Include X->1|0 for toggle coverage collection. #10332 set_toggle_includex // For ternary operator in default SOP mode set_expr_scoring -vlog_short_circuit // enable coverage on dut and below select_coverage -befts -module ${DUT_TOP}... // Black-box pre-verified IPs from coverage collection. deselect_coverage -betfs -module pins_if deselect_coverage -betfs -module clk_rst_if deselect_coverage -betfs -module prim_alert_sender... deselect_coverage -betfs -module prim_alert_receiver... deselect_coverage -betfs -module prim_count... deselect_coverage -betfs -module prim_esc_sender... deselect_coverage -betfs -module prim_esc_receiver... deselect_coverage -betfs -module prim_onehot_check... deselect_coverage -betfs -module prim_prince... deselect_coverage -betfs -module prim_lfsr... deselect_coverage -betfs -module prim_secded_inv_64_57_dec... deselect_coverage -betfs -module prim_secded_inv_39_32_dec... // Black-box DV CDC module. deselect_coverage -betfs -module prim_cdc_rand_delay // csr_assert_fpv is an auto-generated csr read assertion module. So only assertion coverage is // meaningful to collect. deselect_coverage -betf -module *csr_assert_fpv... select_coverage -assert -module *csr_assert_fpv // Only enable assertion coverage deselect_coverage -betf -module *tlul_assert... select_coverage -assert -module *tlul_assert // Only collect toggle coverage on the DUT and the black-boxed IP (above) ports. deselect_coverage -toggle -module ${DUT_TOP}... select_coverage -toggle -module ${DUT_TOP} select_coverage -toggle -module prim_alert_sender select_coverage -toggle -module prim_alert_receiver select_coverage -toggle -module prim_count select_coverage -toggle -module prim_esc_sender select_coverage -toggle -module prim_esc_receiver select_coverage -toggle -module prim_onehot_check select_coverage -toggle -module prim_prince select_coverage -toggle -module prim_lfsr select_coverage -toggle -module prim_secded_inv_64_57_dec select_coverage -toggle -module prim_secded_inv_39_32_dec |
Verification Scope: default
Version: IMC: 21.03-s003: (c) Copyright 1995-2021 Cadence Design Systems Inc
Metrics tree View Name: All_Metrics
Block View Name: Block
Expression View Name: Expression
Toggle View Name: Toggle
Statement View Name: Statement
FSM View Name: FSM
Cover group View Name: CoverGroups
Assertion View Name: Assertions
| Exclusion Rule Type | UNR | Index | Block Type | Source Line | Score | Enclosing Entity | Source Code |
|---|
| Exclusion Rule Type | UNR | Index | Overall Average Grade | Overall Covered | Source Line | Enclosing Entity | Source Code |
|---|
| Exclusion Rule Type | UNR | Index | Overall Average Grade | Overall Covered |
|---|
| Exclusion Rule Type | UNR | No attribute | Score | Output |
|---|
| Exclusion Rule Type | UNR | No attribute | Score | Output |
|---|
| Exclusion Rule Type | UNR | Exp | Score | Odd | Even |
|---|
| Exclusion Rule Type | UNR | Name | Range | Overall Average Grade | Overall Covered | Enclosing Entity | Source Code |
|---|
| Exclusion Rule Type | UNR | Name | Score | Count Tx To One | Count Tx To Zero |
|---|
| Exclusion Rule Type | UNR | Name | Score |
|---|
| Exclusion Rule Type | UNR | Index | Source Line | Overall Average Grade | Enclosing Entity | Source Code |
|---|
| Exclusion Rule Type | UNR | Name | State Average Grade | Transition Average Grade | Arc Average Grade | Enclosing Entity | Source Code |
|---|
| Exclusion Rule Type | UNR | Name | Encoding | Score | Is Reset State | Source Code |
|---|
| Exclusion Rule Type | UNR | Index | From State Name | To State Name | Score | Is Reset Trans |
|---|
| Exclusion Rule Type | Input Signal Names | UNR | Score |
|---|
| Exclusion Rule Type | UNR | Name | Overall Average Grade | Overall Covered | Enclosing Entity | Source Code |
|---|
| Exclusion Rule Type | UNR | Name | At Least | Overall Average Grade | Overall Covered | Source Code |
|---|
| Exclusion Rule Type | UNR | Name | Overall Average Grade | Overall Covered | Score | At Least | Source Code |
|---|
| Exclusion Rule Type | UNR | Name | Overall Average Grade | Assertion Status Grade | Enclosing Entity | Source Code |
|---|
| Exclusion Rule Type | UNR | Name | Overall Average Grade | Overall Covered | Assertion Status Grade |
|---|---|---|---|---|---|