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

Module : dmi_cdc
SCORELINECONDTOGGLEFSMBRANCHASSERT
73.95 73.95

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.u_dmi_jtag.i_dmi_cdc 74.30 74.30



Module Instance : tb.dut.u_dmi_jtag.i_dmi_cdc

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
74.30 74.30


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
80.31 80.31


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
74.78 74.78 u_dmi_jtag


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
i_cdc_req 74.24 74.24
i_cdc_resp 97.73 97.73
u_combined_rstn_sync 90.91 90.91
u_rst_mux 75.00 75.00

Toggle Coverage for Module : dmi_cdc
TotalCoveredPercent
Totals 25 20 80.00
Total Bits 430 318 73.95
Total Bits 0->1 215 159 73.95
Total Bits 1->0 215 159 73.95

Ports 25 20 80.00
Port Bits 430 318 73.95
Port Bits 0->1 215 159 73.95
Port Bits 1->0 215 159 73.95

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
testmode_i No No No INPUT
test_rst_ni Yes Yes T3,T6,T7 Yes T3,T7,T8 INPUT
tck_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
trst_ni Yes Yes T1,T2,T4 Yes T1,T2,T3 INPUT
jtag_dmi_req_i.data[31:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_req_i.op[1:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_req_i.addr[6:0] Yes Yes *T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_req_i.addr[31:7] No No No INPUT
jtag_dmi_ready_o Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
jtag_dmi_valid_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_cdc_clear_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_resp_o.resp[1:0] No No No OUTPUT
jtag_dmi_resp_o.data[31:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
jtag_dmi_valid_o Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
jtag_dmi_ready_i Unreachable Unreachable Unreachable INPUT
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T4 Yes T1,T2,T3 INPUT
core_dmi_rst_no Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_req_o.data[31:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_req_o.op[1:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_req_o.addr[5:0] Yes Yes *T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_req_o.addr[31:6] No No No OUTPUT
core_dmi_valid_o Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_ready_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
core_dmi_resp_i.resp[1:0] No No No INPUT
core_dmi_resp_i.data[31:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
core_dmi_ready_o Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_valid_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT

*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.u_dmi_jtag.i_dmi_cdc
TotalCoveredPercent
Totals 25 20 80.00
Total Bits 428 318 74.30
Total Bits 0->1 213 159 74.65
Total Bits 1->0 215 159 73.95

Ports 25 20 80.00
Port Bits 428 318 74.30
Port Bits 0->1 213 159 74.65
Port Bits 1->0 215 159 73.95

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirectionExclude Annotation
testmode_i No No No INPUT
test_rst_ni Yes Yes T3,T6,T7 Yes T3,T7,T8 INPUT
tck_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
trst_ni Yes Yes T1,T2,T4 Yes T1,T2,T3 INPUT
jtag_dmi_req_i.data[31:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_req_i.op[1:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_req_i.addr[6:0] Yes Yes *T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_req_i.addr[31:7] No No No INPUT
jtag_dmi_ready_o Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
jtag_dmi_valid_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_cdc_clear_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
jtag_dmi_resp_o.resp[1:0] No No Excluded OUTPUT 0->1:VC_COV_UNR
jtag_dmi_resp_o.data[31:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
jtag_dmi_valid_o Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
jtag_dmi_ready_i Unreachable Unreachable Unreachable INPUT
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T4 Yes T1,T2,T3 INPUT
core_dmi_rst_no Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_req_o.data[31:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_req_o.op[1:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_req_o.addr[5:0] Yes Yes *T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_req_o.addr[31:6] No No No OUTPUT
core_dmi_valid_o Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_ready_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
core_dmi_resp_i.resp[1:0] No No No INPUT
core_dmi_resp_i.data[31:0] Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT
core_dmi_ready_o Yes Yes T3,T4,T5 Yes T3,T4,T5 OUTPUT
core_dmi_valid_i Yes Yes T3,T4,T5 Yes T3,T4,T5 INPUT

*Tests covering at least one bit in the range
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%