Unified Coverage Report :: Module :: prim_secded_hamming_22_16_dec

Module : prim_secded_hamming_22_16_dec

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_08_22/otp_ctrl-sim-vcs/default/sim-vcs/../src/lowrisc_prim_secded_0.1/rtl/prim_secded_hamming_22_16_dec.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_otp.gen_generic.u_impl_generic.u_dec	100.00	100.00	100.00

---

Module Instance : tb.dut.u_otp.gen_generic.u_impl_generic.u_dec

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
99.45	97.27	100.00		100.00	100.00	100.00	gen_generic.u_impl_generic

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

---

Since this is the module's only instance, the coverage report is the same as for the module.

Line Coverage for Module : prim_secded_hamming_22_16_dec

	Line No.	Total	Covered	Percent
TOTAL		24	24	100.00
ALWAYS	16	24	24	100.00

15                          // Syndrome calculation
16         1/1              syndrome_o[0] = ^(data_i & 22'h01AD5B);
           Tests:       T1 T2 T3 
17         1/1              syndrome_o[1] = ^(data_i & 22'h02366D);
           Tests:       T1 T2 T3 
18         1/1              syndrome_o[2] = ^(data_i & 22'h04C78E);
           Tests:       T1 T2 T3 
19         1/1              syndrome_o[3] = ^(data_i & 22'h0807F0);
           Tests:       T1 T2 T3 
20         1/1              syndrome_o[4] = ^(data_i & 22'h10F800);
           Tests:       T1 T2 T3 
21         1/1              syndrome_o[5] = ^(data_i & 22'h3FFFFF);
           Tests:       T1 T2 T3 
22                      
23                          // Corrected output calculation
24         1/1              data_o[0] = (syndrome_o == 6'h23) ^ data_i[0];
           Tests:       T1 T2 T3 
25         1/1              data_o[1] = (syndrome_o == 6'h25) ^ data_i[1];
           Tests:       T1 T2 T3 
26         1/1              data_o[2] = (syndrome_o == 6'h26) ^ data_i[2];
           Tests:       T1 T2 T3 
27         1/1              data_o[3] = (syndrome_o == 6'h27) ^ data_i[3];
           Tests:       T1 T2 T3 
28         1/1              data_o[4] = (syndrome_o == 6'h29) ^ data_i[4];
           Tests:       T1 T2 T3 
29         1/1              data_o[5] = (syndrome_o == 6'h2a) ^ data_i[5];
           Tests:       T1 T2 T3 
30         1/1              data_o[6] = (syndrome_o == 6'h2b) ^ data_i[6];
           Tests:       T1 T2 T3 
31         1/1              data_o[7] = (syndrome_o == 6'h2c) ^ data_i[7];
           Tests:       T1 T2 T3 
32         1/1              data_o[8] = (syndrome_o == 6'h2d) ^ data_i[8];
           Tests:       T1 T2 T3 
33         1/1              data_o[9] = (syndrome_o == 6'h2e) ^ data_i[9];
           Tests:       T1 T2 T3 
34         1/1              data_o[10] = (syndrome_o == 6'h2f) ^ data_i[10];
           Tests:       T1 T2 T3 
35         1/1              data_o[11] = (syndrome_o == 6'h31) ^ data_i[11];
           Tests:       T1 T2 T3 
36         1/1              data_o[12] = (syndrome_o == 6'h32) ^ data_i[12];
           Tests:       T1 T2 T3 
37         1/1              data_o[13] = (syndrome_o == 6'h33) ^ data_i[13];
           Tests:       T1 T2 T3 
38         1/1              data_o[14] = (syndrome_o == 6'h34) ^ data_i[14];
           Tests:       T1 T2 T3 
39         1/1              data_o[15] = (syndrome_o == 6'h35) ^ data_i[15];
           Tests:       T1 T2 T3 
40                      
41                          // err_o calc. bit0: single error, bit1: double error
42         1/1              err_o[0] = syndrome_o[5];
           Tests:       T1 T2 T3 
43         1/1              err_o[1] = |syndrome_o[4:0] & ~syndrome_o[5];
           Tests:       T1 T2 T3 

---

Cond Coverage for Module : prim_secded_hamming_22_16_dec

	Total	Covered	Percent
Conditions	99	99	100.00
Logical	99	99	100.00
Non-Logical	0	0
Event	0	0

 LINE       24
 EXPRESSION ((syndrome_o == 6'h23) ^ data_i[0])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T41,T265
1	1	Covered	T117,T40,T99

 LINE       24
 SUB-EXPRESSION (syndrome_o == 6'h23)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T117,T40

 LINE       25
 EXPRESSION ((syndrome_o == 6'h25) ^ data_i[1])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T127,T197,T40
1	1	Covered	T118,T40,T155

 LINE       25
 SUB-EXPRESSION (syndrome_o == 6'h25)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T127,T118,T197

 LINE       26
 EXPRESSION ((syndrome_o == 6'h26) ^ data_i[2])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T8,T91,T347
1	1	Covered	T2,T127,T102

 LINE       26
 SUB-EXPRESSION (syndrome_o == 6'h26)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T127,T102

 LINE       27
 EXPRESSION ((syndrome_o == 6'h27) ^ data_i[3])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T120,T125,T155
1	1	Covered	T127,T53,T348

 LINE       27
 SUB-EXPRESSION (syndrome_o == 6'h27)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T127,T120,T125

 LINE       28
 EXPRESSION ((syndrome_o == 6'h29) ^ data_i[4])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T4,T102,T243
1	1	Covered	T127,T102,T105

 LINE       28
 SUB-EXPRESSION (syndrome_o == 6'h29)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T4,T127,T102

 LINE       29
 EXPRESSION ((syndrome_o == 6'h2a) ^ data_i[5])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T17,T98,T108
1	1	Covered	T127,T108,T124

 LINE       29
 SUB-EXPRESSION (syndrome_o == 6'h2a)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T17,T127,T98

 LINE       30
 EXPRESSION ((syndrome_o == 6'h2b) ^ data_i[6])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T104,T127,T125
1	1	Covered	T4,T37,T197

 LINE       30
 SUB-EXPRESSION (syndrome_o == 6'h2b)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T4,T104,T127

 LINE       31
 EXPRESSION ((syndrome_o == 6'h2c) ^ data_i[7])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T104,T37,T33
1	1	Covered	T117,T40,T20

 LINE       31
 SUB-EXPRESSION (syndrome_o == 6'h2c)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T104,T37,T117

 LINE       32
 EXPRESSION ((syndrome_o == 6'h2d) ^ data_i[8])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T129,T40
1	1	Covered	T104,T117,T155

 LINE       32
 SUB-EXPRESSION (syndrome_o == 6'h2d)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T104,T129

 LINE       33
 EXPRESSION ((syndrome_o == 6'h2e) ^ data_i[9])
             ----------1----------   ----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T96,T155,T149
1	1	Covered	T5,T155,T91

 LINE       33
 SUB-EXPRESSION (syndrome_o == 6'h2e)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T96,T155

 LINE       34
 EXPRESSION ((syndrome_o == 6'h2f) ^ data_i[10])
             ----------1----------   -----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T13,T105,T32
1	1	Covered	T5,T19,T20

 LINE       34
 SUB-EXPRESSION (syndrome_o == 6'h2f)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T13,T105

 LINE       35
 EXPRESSION ((syndrome_o == 6'h31) ^ data_i[11])
             ----------1----------   -----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T93,T124,T201
1	1	Covered	T5,T102,T91

 LINE       35
 SUB-EXPRESSION (syndrome_o == 6'h31)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T93,T102

 LINE       36
 EXPRESSION ((syndrome_o == 6'h32) ^ data_i[12])
             ----------1----------   -----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T96,T125
1	1	Covered	T7,T40,T33

 LINE       36
 SUB-EXPRESSION (syndrome_o == 6'h32)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T96,T7

 LINE       37
 EXPRESSION ((syndrome_o == 6'h33) ^ data_i[13])
             ----------1----------   -----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T6,T32,T40
1	1	Covered	T120,T40,T33

 LINE       37
 SUB-EXPRESSION (syndrome_o == 6'h33)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T6,T120,T32

 LINE       38
 EXPRESSION ((syndrome_o == 6'h34) ^ data_i[14])
             ----------1----------   -----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T33,T193,T287
1	1	Covered	T125,T40,T91

 LINE       38
 SUB-EXPRESSION (syndrome_o == 6'h34)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T125,T40,T33

 LINE       39
 EXPRESSION ((syndrome_o == 6'h35) ^ data_i[15])
             ----------1----------   -----2----

-1-	-2-	Status	Tests
0	0	Covered	T1,T2,T3
0	1	Covered	T1,T2,T3
1	0	Covered	T5,T13,T83
1	1	Covered	T102,T122,T33

 LINE       39
 SUB-EXPRESSION (syndrome_o == 6'h35)
                ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T5,T13,T102

 LINE       43
 EXPRESSION (((|syndrome_o[4:0])) & ((~syndrome_o[5])))
             ----------1---------   ---------2--------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T2,T4,T5
1	1	Covered	T2,T4,T5