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

Module : prim_onehot_check
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_prim_onehot_check_0/rtl/prim_onehot_check.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.u_reg.u_prim_reg_we_check.u_prim_onehot_check 100.00 100.00
tb.dut.u_reg_tap.u_prim_reg_we_check.u_prim_onehot_check 100.00 100.00



Module Instance : tb.dut.u_reg.u_prim_reg_we_check.u_prim_onehot_check

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_prim_reg_we_check


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children



Module Instance : tb.dut.u_reg_tap.u_prim_reg_we_check.u_prim_onehot_check

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
u_prim_reg_we_check


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Toggle Coverage for Module : prim_onehot_check
TotalCoveredPercent
Totals 5 5 100.00
Total Bits 30 30 100.00
Total Bits 0->1 15 15 100.00
Total Bits 1->0 15 15 100.00

Ports 5 5 100.00
Port Bits 30 30 100.00
Port Bits 0->1 15 15 100.00
Port Bits 1->0 15 15 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
oh_i[0] Yes Yes *T98,*T99,*T100 Yes T98,T99,T100 INPUT
oh_i[1] Unreachable Unreachable Unreachable INPUT
oh_i[3:2] Yes Yes *T64,*T65,*T66 Yes T64,T65,T66 INPUT
oh_i[4] Unreachable Unreachable Unreachable INPUT
oh_i[12:5] Yes Yes *T1,T2,*T3 Yes T1,T2,T3 INPUT
oh_i[34:13] Unreachable Unreachable Unreachable INPUT
addr_i[5:0] Unreachable Unreachable Unreachable INPUT
en_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
err_o Yes Yes T64,T65,T66 Yes T64,T65,T66 OUTPUT

*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.u_reg.u_prim_reg_we_check.u_prim_onehot_check
TotalCoveredPercent
Totals 5 5 100.00
Total Bits 30 30 100.00
Total Bits 0->1 15 15 100.00
Total Bits 1->0 15 15 100.00

Ports 5 5 100.00
Port Bits 30 30 100.00
Port Bits 0->1 15 15 100.00
Port Bits 1->0 15 15 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
oh_i[0] Yes Yes *T98,*T99,*T100 Yes T98,T99,T100 INPUT
oh_i[1] Unreachable Unreachable Unreachable INPUT
oh_i[3:2] Yes Yes *T64,*T65,*T121 Yes T64,T65,T121 INPUT
oh_i[4] Unreachable Unreachable Unreachable INPUT
oh_i[12:5] Yes Yes T2,*T3,*T9 Yes T2,T3,T9 INPUT
oh_i[34:13] Unreachable Unreachable Unreachable INPUT
addr_i[5:0] Unreachable Unreachable Unreachable INPUT
en_i Yes Yes T2,T3,T9 Yes T2,T3,T9 INPUT
err_o Yes Yes T64,T65,T66 Yes T64,T65,T66 OUTPUT

*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.u_reg_tap.u_prim_reg_we_check.u_prim_onehot_check
TotalCoveredPercent
Totals 5 5 100.00
Total Bits 30 30 100.00
Total Bits 0->1 15 15 100.00
Total Bits 1->0 15 15 100.00

Ports 5 5 100.00
Port Bits 30 30 100.00
Port Bits 0->1 15 15 100.00
Port Bits 1->0 15 15 100.00

Port Details
NameToggleToggle 1->0TestsToggle 0->1TestsDirection
clk_i Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
rst_ni Yes Yes T1,T2,T3 Yes T1,T2,T3 INPUT
oh_i[0] Yes Yes *T64,*T65,*T66 Yes T64,T65,T66 INPUT
oh_i[1] Unreachable Unreachable Unreachable INPUT
oh_i[3:2] Yes Yes *T64,*T65,*T66 Yes T64,T65,T66 INPUT
oh_i[4] Unreachable Unreachable Unreachable INPUT
oh_i[12:5] Yes Yes *T1,T2,*T4 Yes T1,T2,T4 INPUT
oh_i[34:13] Unreachable Unreachable Unreachable INPUT
addr_i[5:0] Unreachable Unreachable Unreachable INPUT
en_i Yes Yes T1,T2,T4 Yes T1,T2,T4 INPUT
err_o Yes Yes T64,T65,T66 Yes T64,T65,T66 OUTPUT

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