EDN

Context Info:
loaded run directory /workspace/cov_merge/merged model files domain : hdl /workspace/cov_merge/merged/icc_6ab85dce_5e6f0db9.ucm ucds files domain : hdl /workspace/cov_merge/merged/icc_6ab85dce_5e6f0db9.ucd loaded refinements not loaded ccf files /workspace/mnt/repo_top/hw/dv/tools/xcelium/cover.ccf // Copyright lowRISC contributors. // 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 /workspace/mnt/repo_top/hw/dv/tools/xcelium/common.ccf // Copyright lowRISC contributors. // 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 -all // 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 // Enables scoring of reset states and transitions for identified FSMs. set_fsm_reset_scoring // Enable toggle coverage only on ports. set_toggle_portsonly // Enable scoring of FSM arcs (state transitions). set_fsm_arc_scoring // Include X->1\|0 for toggle coverage collection. #10332 set_toggle_includex // 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_esc_sender... deselect_coverage -betfs -module prim_esc_receiver... deselect_coverage -betfs -module prim_prince... deselect_coverage -betfs -module prim_lfsr... // 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... // Only collect toggle coverage on the DUT and the black-boxed IP (above) ports. select_coverage -toggle -module prim_alert_sender select_coverage -toggle -module prim_alert_receiver select_coverage -toggle -module prim_esc_sender select_coverage -toggle -module prim_esc_receiver select_coverage -toggle -module prim_prince select_coverage -toggle -module prim_lfsr // These three assertions in prim_lc_sync and prim_mubi check when `lc_ctrl_pkg::lc_tx_t` or // `mubi_t` input are neither `On` or `Off`, it is interrupted to the correct `On` or `Off` // after one clock cycle. This behavior is implemented outside of IP level design thus these // assertions are not covered in IP level testbenchs. // TODO: check these assertions in top-level or FPV. deselect_coverage -assertion .PrimLcSyncCheckTransients_A deselect_coverage -assertion .PrimLcSyncCheckTransients0_A deselect_coverage -assertion .PrimLcSyncCheckTransients1_A deselect_coverage -assertion .PrimMubi4SyncCheckTransients_A deselect_coverage -assertion .PrimMubi4SyncCheckTransients0_A deselect_coverage -assertion *.PrimMubi4SyncCheckTransients1_A deselect_coverage -assertion PrimMubi8SyncCheckTransients_A deselect_coverage -assertion PrimMubi8SyncCheckTransients0_A deselect_coverage -assertion PrimMubi8SyncCheckTransients1_A deselect_coverage -assertion PrimMubi12SyncCheckTransients_A deselect_coverage -assertion PrimMubi12SyncCheckTransients0_A deselect_coverage -assertion PrimMubi12SyncCheckTransients1_A deselect_coverage -assertion PrimMubi16SyncCheckTransients_A deselect_coverage -assertion PrimMubi16SyncCheckTransients0_A deselect_coverage -assertion PrimMubi16SyncCheckTransients1_A

Context Info:

loaded run directory
  /workspace/cov_merge/merged

model files
  domain : hdl
    /workspace/cov_merge/merged/icc_6ab85dce_5e6f0db9.ucm

ucds files
  domain : hdl
    /workspace/cov_merge/merged/icc_6ab85dce_5e6f0db9.ucd

loaded refinements
  not loaded

ccf files
  /workspace/mnt/repo_top/hw/dv/tools/xcelium/cover.ccf
    // Copyright lowRISC contributors.
    // 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
     /workspace/mnt/repo_top/hw/dv/tools/xcelium/common.ccf
     // Copyright lowRISC contributors.
     // 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 -all

     // 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

     // Enables scoring of reset states and transitions for identified FSMs.
     set_fsm_reset_scoring

     // Enable toggle coverage only on ports.
     set_toggle_portsonly

     // Enable scoring of FSM arcs (state transitions).
     set_fsm_arc_scoring

     // Include X->1|0 for toggle coverage collection. #10332
     set_toggle_includex

    // 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_esc_sender...
    deselect_coverage -betfs -module prim_esc_receiver...
    deselect_coverage -betfs -module prim_prince...
    deselect_coverage -betfs -module prim_lfsr...


    // 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...

    // Only collect toggle coverage on the DUT and the black-boxed IP (above) ports.


    select_coverage -toggle -module prim_alert_sender
    select_coverage -toggle -module prim_alert_receiver
    select_coverage -toggle -module prim_esc_sender
    select_coverage -toggle -module prim_esc_receiver
    select_coverage -toggle -module prim_prince
    select_coverage -toggle -module prim_lfsr

    // These three assertions in prim_lc_sync and prim_mubi* check when `lc_ctrl_pkg::lc_tx_t` or
    // `mubi*_t` input are neither `On` or `Off`, it is interrupted to the correct `On` or `Off`
    // after one clock cycle. This behavior is implemented outside of IP level design thus these
    // assertions are not covered in IP level testbenchs.
    // TODO: check these assertions in top-level or FPV.
    deselect_coverage -assertion *.PrimLcSyncCheckTransients_A
    deselect_coverage -assertion *.PrimLcSyncCheckTransients0_A
    deselect_coverage -assertion *.PrimLcSyncCheckTransients1_A

    deselect_coverage -assertion *.PrimMubi4SyncCheckTransients_A
    deselect_coverage -assertion *.PrimMubi4SyncCheckTransients0_A
    deselect_coverage -assertion *.PrimMubi4SyncCheckTransients1_A

    deselect_coverage -assertion PrimMubi8SyncCheckTransients_A
    deselect_coverage -assertion PrimMubi8SyncCheckTransients0_A
    deselect_coverage -assertion PrimMubi8SyncCheckTransients1_A

    deselect_coverage -assertion PrimMubi12SyncCheckTransients_A
    deselect_coverage -assertion PrimMubi12SyncCheckTransients0_A
    deselect_coverage -assertion PrimMubi12SyncCheckTransients1_A

    deselect_coverage -assertion PrimMubi16SyncCheckTransients_A
    deselect_coverage -assertion PrimMubi16SyncCheckTransients0_A
    deselect_coverage -assertion PrimMubi16SyncCheckTransients1_A

Verification Scope: default

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

Block
Expression
Toggle
Statement
FSM
Cover Groups
Assertions

Block

Exclusion Rule Type	UNR	Index	Block Type	Source Line	Score	Enclosing Entity	Source Code

Top Level Expressions

Exclusion Rule Type	UNR	Index	Overall Average Grade	Overall Covered	Source Line	Enclosing Entity	Source Code

Coverage Tables

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

Parity Tree

Exclusion Rule Type	UNR	Exp	Score	Odd	Even

Variables Filter by name:

Exclusion Rule Type	UNR	Name	Range	Overall Average Grade	Overall Covered	Enclosing Entity	Source Code

Signals Filter by name:

Exclusion Rule Type	UNR	Name	Score	Count Tx To One	Count Tx To Zero

Values Filter by name:

Exclusion Rule Type	UNR	Name	Score

Statement

Exclusion Rule Type	UNR	Index	Source Line	Overall Average Grade	Enclosing Entity	Source Code

FSMs Filter by name:

Exclusion Rule Type	UNR	Name	State Average Grade	Transition Average Grade	Arc Average Grade	Enclosing Entity	Source Code

States Filter by name:

Exclusion Rule Type	UNR	Name	Encoding	Score	Is Reset State	Source Code

Transitions

Exclusion Rule Type	UNR	Index	From State Name	To State Name	Score	Is Reset Trans

Arc Conditions

Exclusion Rule Type	Input Signal Names	UNR	Score

=============================

Cover Groups Filter by name:

Exclusion Rule Type	UNR	Name	Overall Average Grade	Overall Covered	Enclosing Entity	Source Code

Items Filter by name:

Exclusion Rule Type	UNR	Name	At Least	Overall Average Grade	Overall Covered	Source Code

Bins Filter by name:

Exclusion Rule Type	UNR	Name	Overall Average Grade	Overall Covered	Score	At Least	Source Code

Assertion

Exclusion Rule Type	UNR	Name	Overall Average Grade	Assertion Status Grade	Enclosing Entity	Source Code

Filter by name:

Exclusion Rule Type	UNR	Name	Overall Average Grade	Overall Covered	Assertion Status Grade