Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : dmi_cdc
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dmi_cdc.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.dap.i_dmi_cdc 100.00 100.00 100.00 100.00



Module Instance : tb.dut.dap.i_dmi_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
88.09 100.00 87.27 98.41 66.67


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
85.19 95.45 94.34 66.67 84.31 dap


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
i_cdc_req 82.95 100.00 81.82 100.00 50.00
i_cdc_resp 83.04 100.00 85.71 96.43 50.00
u_combined_rstn_sync 100.00 100.00 100.00
u_rst_mux 100.00 100.00 100.00 100.00


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : dmi_cdc
Line No.TotalCoveredPercent
TOTAL66100.00
ALWAYS5555100.00
CONT_ASSIGN12111100.00
WARNING: The source file '/workspace/default/sim-vcs/../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dmi_cdc.sv' or '../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dmi_cdc.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
55 1 1
56 1 1
57 1 1
58 1 1
60 1 1
121 1 1


Cond Coverage for Module : dmi_cdc
TotalCoveredPercent
Conditions33100.00
Logical33100.00
Non-Logical00
Event00

 LINE       68
 EXPRESSION (rst_ni & jtag_combined_rstn)
             ---1--   ---------2--------
-1--2-StatusTests
01CoveredT10,T41,T42
10CoveredT1,T2,T3
11CoveredT1,T2,T3

Branch Coverage for Module : dmi_cdc
Line No.TotalCoveredPercent
Branches 3 3 100.00
IF 55 3 3 100.00

WARNING: The source file /workspace/default/sim-vcs/../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dmi_cdc.sv' or '../src/pulp-platform_riscv-dbg_0.1_0/pulp_riscv_dbg/src/dmi_cdc.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 55 if ((!trst_ni)) -2-: 57 if (jtag_dmi_cdc_clear_i)

Branches:
-1--2-StatusTests
1 - Covered T1,T2,T3
0 1 Covered T2,T6,T37
0 0 Covered T1,T2,T3

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%