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

Module : prim_secded_inv_64_57_dec
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.23 89.23

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_10_11/rv_dm-sim-vcs/default/sim-vcs/../src/lowrisc_prim_secded_0.1/rtl/prim_secded_inv_64_57_dec.sv

Module self-instances :
NAME   SCORE   LINE   COND   TOGGLE   FSM   BRANCH   ASSERT   
tb.dut.tl_adapter_host_sba.u_rsp_chk.u_chk 60.77 60.77
tb.dut.u_reg_regs.u_chk.u_chk 89.23 89.23
tb.dut.i_tlul_adapter_reg.gen_cmd_intg_check.u_cmd_intg_chk.u_chk 89.23 89.23


Module Instance : tb.dut.tl_adapter_host_sba.u_rsp_chk.u_chk

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
60.77 60.77


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
60.77 60.77


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 u_rsp_chk


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.u_reg_regs.u_chk.u_chk

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.23 89.23


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.23 89.23


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 u_chk


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Module Instance : tb.dut.i_tlul_adapter_reg.gen_cmd_intg_check.u_cmd_intg_chk.u_chk

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.23 89.23


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
89.23 89.23


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 gen_cmd_intg_check.u_cmd_intg_chk


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children

Toggle Coverage for Module : prim_secded_inv_64_57_dec
TotalCoveredPercent
Totals 4 3 75.00
Total Bits 260 232 89.23
Total Bits 0->1 130 116 89.23
Total Bits 1->0 130 116 89.23

Ports 4 3 75.00
Port Bits 260 232 89.23
Port Bits 0->1 130 116 89.23
Port Bits 1->0 130 116 89.23

Port Details
Name   Toggle   Toggle 1->0   Tests   Toggle 0->1   Tests   Direction   
data_i[42:0] Yes Yes *T1,*T4,*T13 Yes T1,T2,T13 INPUT
data_i[56:43] No No No INPUT
data_i[63:57] Yes Yes T17,T18,T19 Yes T2,T4,T12 INPUT
data_o[56:0] Yes Yes T1,T4,T13 Yes T1,T2,T13 OUTPUT
syndrome_o[6:0] Yes Yes T13,T17,T7 Yes T13,T17,T7 OUTPUT
err_o[1:0] Yes Yes T1,T2,T13 Yes T1,T13,T17 OUTPUT

*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.tl_adapter_host_sba.u_rsp_chk.u_chk
TotalCoveredPercent
Totals 4 3 75.00
Total Bits 260 158 60.77
Total Bits 0->1 130 79 60.77
Total Bits 1->0 130 79 60.77

Ports 4 3 75.00
Port Bits 260 158 60.77
Port Bits 0->1 130 79 60.77
Port Bits 1->0 130 79 60.77

Port Details
Name   Toggle   Toggle 1->0   Tests   Toggle 0->1   Tests   Direction   
data_i[5:0] Yes Yes *T1,*T13,*T18 Yes T20,T21,T82 INPUT
data_i[56:6] No No No INPUT
data_i[63:57] Yes Yes T18,T19,T20 Yes T17,T18,T19 INPUT
data_o[56:0] Yes Yes T1,T13,T18 Yes T20,T21,T82 OUTPUT
syndrome_o[6:0] Yes Yes T20,T21,T82 Yes T13,T20,T29 OUTPUT
err_o[1:0] Yes Yes T20,T21,T82 Yes T1,T13,T8 OUTPUT

*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.u_reg_regs.u_chk.u_chk
TotalCoveredPercent
Totals 4 3 75.00
Total Bits 260 232 89.23
Total Bits 0->1 130 116 89.23
Total Bits 1->0 130 116 89.23

Ports 4 3 75.00
Port Bits 260 232 89.23
Port Bits 0->1 130 116 89.23
Port Bits 1->0 130 116 89.23

Port Details
Name   Toggle   Toggle 1->0   Tests   Toggle 0->1   Tests   Direction   
data_i[42:0] Yes Yes *T13,*T19,*T43 Yes T13,T7,T19 INPUT
data_i[56:43] No No No INPUT
data_i[63:57] Yes Yes T19,T43,T8 Yes T7,T19,T43 INPUT
data_o[56:0] Yes Yes T13,T19,T43 Yes T13,T7,T19 OUTPUT
syndrome_o[6:0] Yes Yes T13,T7,T19 Yes T7,T19,T43 OUTPUT
err_o[1:0] Yes Yes T13,T7,T19 Yes T13,T7,T75 OUTPUT

*Tests covering at least one bit in the range
Toggle Coverage for Instance : tb.dut.i_tlul_adapter_reg.gen_cmd_intg_check.u_cmd_intg_chk.u_chk
TotalCoveredPercent
Totals 4 3 75.00
Total Bits 260 232 89.23
Total Bits 0->1 130 116 89.23
Total Bits 1->0 130 116 89.23

Ports 4 3 75.00
Port Bits 260 232 89.23
Port Bits 0->1 130 116 89.23
Port Bits 1->0 130 116 89.23

Port Details
Name   Toggle   Toggle 1->0   Tests   Toggle 0->1   Tests   Direction   
data_i[42:0] Yes Yes *T4,*T17,*T14 Yes T1,T2,T4 INPUT
data_i[56:43] No No No INPUT
data_i[63:57] Yes Yes T17,T43,T54 Yes T2,T4,T12 INPUT
data_o[56:0] Yes Yes T4,T17,T14 Yes T1,T2,T4 OUTPUT
syndrome_o[6:0] Yes Yes T17,T43,T44 Yes T17,T19,T43 OUTPUT
err_o[1:0] Yes Yes T1,T2,T4 Yes T17,T14,T43 OUTPUT

*Tests covering at least one bit in the range