Unified Coverage Report :: Module :: prim_secded_hamming_76_68_dec

Module : prim_secded_hamming_76_68_dec

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00	100.00	100.00

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

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_dec	100.00	100.00	100.00
tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_dec	100.00	100.00	100.00

---

Module Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.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
97.82	100.00	91.27			100.00	100.00	u_rd

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

---

Module Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.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
97.49	100.00	89.96			100.00	100.00	u_rd

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

Line Coverage for Module : prim_secded_hamming_76_68_dec

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

15                          // Syndrome calculation
16         1/1              syndrome_o[0] = ^(data_i & 76'h01AAB55555556AAAD5B);
           Tests:       T1 T2 T3 
17         1/1              syndrome_o[1] = ^(data_i & 76'h02CCD9999999B33366D);
           Tests:       T1 T2 T3 
18         1/1              syndrome_o[2] = ^(data_i & 76'h040F1E1E1E1E3C3C78E);
           Tests:       T1 T2 T3 
19         1/1              syndrome_o[3] = ^(data_i & 76'h08F01FE01FE03FC07F0);
           Tests:       T1 T2 T3 
20         1/1              syndrome_o[4] = ^(data_i & 76'h10001FFFE0003FFF800);
           Tests:       T1 T2 T3 
21         1/1              syndrome_o[5] = ^(data_i & 76'h20001FFFFFFFC000000);
           Tests:       T1 T2 T3 
22         1/1              syndrome_o[6] = ^(data_i & 76'h40FFE00000000000000);
           Tests:       T1 T2 T3 
23         1/1              syndrome_o[7] = ^(data_i & 76'hFFFFFFFFFFFFFFFFFFF);
           Tests:       T1 T2 T3 
24                      
25                          // Corrected output calculation
26         1/1              data_o[0] = (syndrome_o == 8'h83) ^ data_i[0];
           Tests:       T1 T2 T3 
27         1/1              data_o[1] = (syndrome_o == 8'h85) ^ data_i[1];
           Tests:       T1 T2 T3 
28         1/1              data_o[2] = (syndrome_o == 8'h86) ^ data_i[2];
           Tests:       T1 T2 T3 
29         1/1              data_o[3] = (syndrome_o == 8'h87) ^ data_i[3];
           Tests:       T1 T2 T3 
30         1/1              data_o[4] = (syndrome_o == 8'h89) ^ data_i[4];
           Tests:       T1 T2 T3 
31         1/1              data_o[5] = (syndrome_o == 8'h8a) ^ data_i[5];
           Tests:       T1 T2 T3 
32         1/1              data_o[6] = (syndrome_o == 8'h8b) ^ data_i[6];
           Tests:       T1 T2 T3 
33         1/1              data_o[7] = (syndrome_o == 8'h8c) ^ data_i[7];
           Tests:       T1 T2 T3 
34         1/1              data_o[8] = (syndrome_o == 8'h8d) ^ data_i[8];
           Tests:       T1 T2 T3 
35         1/1              data_o[9] = (syndrome_o == 8'h8e) ^ data_i[9];
           Tests:       T1 T2 T3 
36         1/1              data_o[10] = (syndrome_o == 8'h8f) ^ data_i[10];
           Tests:       T1 T2 T3 
37         1/1              data_o[11] = (syndrome_o == 8'h91) ^ data_i[11];
           Tests:       T1 T2 T3 
38         1/1              data_o[12] = (syndrome_o == 8'h92) ^ data_i[12];
           Tests:       T1 T2 T3 
39         1/1              data_o[13] = (syndrome_o == 8'h93) ^ data_i[13];
           Tests:       T1 T2 T3 
40         1/1              data_o[14] = (syndrome_o == 8'h94) ^ data_i[14];
           Tests:       T1 T2 T3 
41         1/1              data_o[15] = (syndrome_o == 8'h95) ^ data_i[15];
           Tests:       T1 T2 T3 
42         1/1              data_o[16] = (syndrome_o == 8'h96) ^ data_i[16];
           Tests:       T1 T2 T3 
43         1/1              data_o[17] = (syndrome_o == 8'h97) ^ data_i[17];
           Tests:       T1 T2 T3 
44         1/1              data_o[18] = (syndrome_o == 8'h98) ^ data_i[18];
           Tests:       T1 T2 T3 
45         1/1              data_o[19] = (syndrome_o == 8'h99) ^ data_i[19];
           Tests:       T1 T2 T3 
46         1/1              data_o[20] = (syndrome_o == 8'h9a) ^ data_i[20];
           Tests:       T1 T2 T3 
47         1/1              data_o[21] = (syndrome_o == 8'h9b) ^ data_i[21];
           Tests:       T1 T2 T3 
48         1/1              data_o[22] = (syndrome_o == 8'h9c) ^ data_i[22];
           Tests:       T1 T2 T3 
49         1/1              data_o[23] = (syndrome_o == 8'h9d) ^ data_i[23];
           Tests:       T1 T2 T3 
50         1/1              data_o[24] = (syndrome_o == 8'h9e) ^ data_i[24];
           Tests:       T1 T2 T3 
51         1/1              data_o[25] = (syndrome_o == 8'h9f) ^ data_i[25];
           Tests:       T1 T2 T3 
52         1/1              data_o[26] = (syndrome_o == 8'ha1) ^ data_i[26];
           Tests:       T1 T2 T3 
53         1/1              data_o[27] = (syndrome_o == 8'ha2) ^ data_i[27];
           Tests:       T1 T2 T3 
54         1/1              data_o[28] = (syndrome_o == 8'ha3) ^ data_i[28];
           Tests:       T1 T2 T3 
55         1/1              data_o[29] = (syndrome_o == 8'ha4) ^ data_i[29];
           Tests:       T1 T2 T3 
56         1/1              data_o[30] = (syndrome_o == 8'ha5) ^ data_i[30];
           Tests:       T1 T2 T3 
57         1/1              data_o[31] = (syndrome_o == 8'ha6) ^ data_i[31];
           Tests:       T1 T2 T3 
58         1/1              data_o[32] = (syndrome_o == 8'ha7) ^ data_i[32];
           Tests:       T1 T2 T3 
59         1/1              data_o[33] = (syndrome_o == 8'ha8) ^ data_i[33];
           Tests:       T1 T2 T3 
60         1/1              data_o[34] = (syndrome_o == 8'ha9) ^ data_i[34];
           Tests:       T1 T2 T3 
61         1/1              data_o[35] = (syndrome_o == 8'haa) ^ data_i[35];
           Tests:       T1 T2 T3 
62         1/1              data_o[36] = (syndrome_o == 8'hab) ^ data_i[36];
           Tests:       T1 T2 T3 
63         1/1              data_o[37] = (syndrome_o == 8'hac) ^ data_i[37];
           Tests:       T1 T2 T3 
64         1/1              data_o[38] = (syndrome_o == 8'had) ^ data_i[38];
           Tests:       T1 T2 T3 
65         1/1              data_o[39] = (syndrome_o == 8'hae) ^ data_i[39];
           Tests:       T1 T2 T3 
66         1/1              data_o[40] = (syndrome_o == 8'haf) ^ data_i[40];
           Tests:       T1 T2 T3 
67         1/1              data_o[41] = (syndrome_o == 8'hb0) ^ data_i[41];
           Tests:       T1 T2 T3 
68         1/1              data_o[42] = (syndrome_o == 8'hb1) ^ data_i[42];
           Tests:       T1 T2 T3 
69         1/1              data_o[43] = (syndrome_o == 8'hb2) ^ data_i[43];
           Tests:       T1 T2 T3 
70         1/1              data_o[44] = (syndrome_o == 8'hb3) ^ data_i[44];
           Tests:       T1 T2 T3 
71         1/1              data_o[45] = (syndrome_o == 8'hb4) ^ data_i[45];
           Tests:       T1 T2 T3 
72         1/1              data_o[46] = (syndrome_o == 8'hb5) ^ data_i[46];
           Tests:       T1 T2 T3 
73         1/1              data_o[47] = (syndrome_o == 8'hb6) ^ data_i[47];
           Tests:       T1 T2 T3 
74         1/1              data_o[48] = (syndrome_o == 8'hb7) ^ data_i[48];
           Tests:       T1 T2 T3 
75         1/1              data_o[49] = (syndrome_o == 8'hb8) ^ data_i[49];
           Tests:       T1 T2 T3 
76         1/1              data_o[50] = (syndrome_o == 8'hb9) ^ data_i[50];
           Tests:       T1 T2 T3 
77         1/1              data_o[51] = (syndrome_o == 8'hba) ^ data_i[51];
           Tests:       T1 T2 T3 
78         1/1              data_o[52] = (syndrome_o == 8'hbb) ^ data_i[52];
           Tests:       T1 T2 T3 
79         1/1              data_o[53] = (syndrome_o == 8'hbc) ^ data_i[53];
           Tests:       T1 T2 T3 
80         1/1              data_o[54] = (syndrome_o == 8'hbd) ^ data_i[54];
           Tests:       T1 T2 T3 
81         1/1              data_o[55] = (syndrome_o == 8'hbe) ^ data_i[55];
           Tests:       T1 T2 T3 
82         1/1              data_o[56] = (syndrome_o == 8'hbf) ^ data_i[56];
           Tests:       T1 T2 T3 
83         1/1              data_o[57] = (syndrome_o == 8'hc1) ^ data_i[57];
           Tests:       T1 T2 T3 
84         1/1              data_o[58] = (syndrome_o == 8'hc2) ^ data_i[58];
           Tests:       T1 T2 T3 
85         1/1              data_o[59] = (syndrome_o == 8'hc3) ^ data_i[59];
           Tests:       T1 T2 T3 
86         1/1              data_o[60] = (syndrome_o == 8'hc4) ^ data_i[60];
           Tests:       T1 T2 T3 
87         1/1              data_o[61] = (syndrome_o == 8'hc5) ^ data_i[61];
           Tests:       T1 T2 T3 
88         1/1              data_o[62] = (syndrome_o == 8'hc6) ^ data_i[62];
           Tests:       T1 T2 T3 
89         1/1              data_o[63] = (syndrome_o == 8'hc7) ^ data_i[63];
           Tests:       T1 T2 T3 
90         1/1              data_o[64] = (syndrome_o == 8'hc8) ^ data_i[64];
           Tests:       T1 T2 T3 
91         1/1              data_o[65] = (syndrome_o == 8'hc9) ^ data_i[65];
           Tests:       T1 T2 T3 
92         1/1              data_o[66] = (syndrome_o == 8'hca) ^ data_i[66];
           Tests:       T1 T2 T3 
93         1/1              data_o[67] = (syndrome_o == 8'hcb) ^ data_i[67];
           Tests:       T1 T2 T3 
94                      
95                          // err_o calc. bit0: single error, bit1: double error
96         1/1              err_o[0] = syndrome_o[7];
           Tests:       T1 T2 T3 
97         1/1              err_o[1] = |syndrome_o[6:0] & ~syndrome_o[7];
           Tests:       T1 T2 T3 

---

Cond Coverage for Module : prim_secded_hamming_76_68_dec

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

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.

Line numbers	Percent
26-80	100.00
81-97	100.00

Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_dec

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

15                          // Syndrome calculation
16         1/1              syndrome_o[0] = ^(data_i & 76'h01AAB55555556AAAD5B);
           Tests:       T1 T2 T3 
17         1/1              syndrome_o[1] = ^(data_i & 76'h02CCD9999999B33366D);
           Tests:       T1 T2 T3 
18         1/1              syndrome_o[2] = ^(data_i & 76'h040F1E1E1E1E3C3C78E);
           Tests:       T1 T2 T3 
19         1/1              syndrome_o[3] = ^(data_i & 76'h08F01FE01FE03FC07F0);
           Tests:       T1 T2 T3 
20         1/1              syndrome_o[4] = ^(data_i & 76'h10001FFFE0003FFF800);
           Tests:       T1 T2 T3 
21         1/1              syndrome_o[5] = ^(data_i & 76'h20001FFFFFFFC000000);
           Tests:       T1 T2 T3 
22         1/1              syndrome_o[6] = ^(data_i & 76'h40FFE00000000000000);
           Tests:       T1 T2 T3 
23         1/1              syndrome_o[7] = ^(data_i & 76'hFFFFFFFFFFFFFFFFFFF);
           Tests:       T1 T2 T3 
24                      
25                          // Corrected output calculation
26         1/1              data_o[0] = (syndrome_o == 8'h83) ^ data_i[0];
           Tests:       T1 T2 T3 
27         1/1              data_o[1] = (syndrome_o == 8'h85) ^ data_i[1];
           Tests:       T1 T2 T3 
28         1/1              data_o[2] = (syndrome_o == 8'h86) ^ data_i[2];
           Tests:       T1 T2 T3 
29         1/1              data_o[3] = (syndrome_o == 8'h87) ^ data_i[3];
           Tests:       T1 T2 T3 
30         1/1              data_o[4] = (syndrome_o == 8'h89) ^ data_i[4];
           Tests:       T1 T2 T3 
31         1/1              data_o[5] = (syndrome_o == 8'h8a) ^ data_i[5];
           Tests:       T1 T2 T3 
32         1/1              data_o[6] = (syndrome_o == 8'h8b) ^ data_i[6];
           Tests:       T1 T2 T3 
33         1/1              data_o[7] = (syndrome_o == 8'h8c) ^ data_i[7];
           Tests:       T1 T2 T3 
34         1/1              data_o[8] = (syndrome_o == 8'h8d) ^ data_i[8];
           Tests:       T1 T2 T3 
35         1/1              data_o[9] = (syndrome_o == 8'h8e) ^ data_i[9];
           Tests:       T1 T2 T3 
36         1/1              data_o[10] = (syndrome_o == 8'h8f) ^ data_i[10];
           Tests:       T1 T2 T3 
37         1/1              data_o[11] = (syndrome_o == 8'h91) ^ data_i[11];
           Tests:       T1 T2 T3 
38         1/1              data_o[12] = (syndrome_o == 8'h92) ^ data_i[12];
           Tests:       T1 T2 T3 
39         1/1              data_o[13] = (syndrome_o == 8'h93) ^ data_i[13];
           Tests:       T1 T2 T3 
40         1/1              data_o[14] = (syndrome_o == 8'h94) ^ data_i[14];
           Tests:       T1 T2 T3 
41         1/1              data_o[15] = (syndrome_o == 8'h95) ^ data_i[15];
           Tests:       T1 T2 T3 
42         1/1              data_o[16] = (syndrome_o == 8'h96) ^ data_i[16];
           Tests:       T1 T2 T3 
43         1/1              data_o[17] = (syndrome_o == 8'h97) ^ data_i[17];
           Tests:       T1 T2 T3 
44         1/1              data_o[18] = (syndrome_o == 8'h98) ^ data_i[18];
           Tests:       T1 T2 T3 
45         1/1              data_o[19] = (syndrome_o == 8'h99) ^ data_i[19];
           Tests:       T1 T2 T3 
46         1/1              data_o[20] = (syndrome_o == 8'h9a) ^ data_i[20];
           Tests:       T1 T2 T3 
47         1/1              data_o[21] = (syndrome_o == 8'h9b) ^ data_i[21];
           Tests:       T1 T2 T3 
48         1/1              data_o[22] = (syndrome_o == 8'h9c) ^ data_i[22];
           Tests:       T1 T2 T3 
49         1/1              data_o[23] = (syndrome_o == 8'h9d) ^ data_i[23];
           Tests:       T1 T2 T3 
50         1/1              data_o[24] = (syndrome_o == 8'h9e) ^ data_i[24];
           Tests:       T1 T2 T3 
51         1/1              data_o[25] = (syndrome_o == 8'h9f) ^ data_i[25];
           Tests:       T1 T2 T3 
52         1/1              data_o[26] = (syndrome_o == 8'ha1) ^ data_i[26];
           Tests:       T1 T2 T3 
53         1/1              data_o[27] = (syndrome_o == 8'ha2) ^ data_i[27];
           Tests:       T1 T2 T3 
54         1/1              data_o[28] = (syndrome_o == 8'ha3) ^ data_i[28];
           Tests:       T1 T2 T3 
55         1/1              data_o[29] = (syndrome_o == 8'ha4) ^ data_i[29];
           Tests:       T1 T2 T3 
56         1/1              data_o[30] = (syndrome_o == 8'ha5) ^ data_i[30];
           Tests:       T1 T2 T3 
57         1/1              data_o[31] = (syndrome_o == 8'ha6) ^ data_i[31];
           Tests:       T1 T2 T3 
58         1/1              data_o[32] = (syndrome_o == 8'ha7) ^ data_i[32];
           Tests:       T1 T2 T3 
59         1/1              data_o[33] = (syndrome_o == 8'ha8) ^ data_i[33];
           Tests:       T1 T2 T3 
60         1/1              data_o[34] = (syndrome_o == 8'ha9) ^ data_i[34];
           Tests:       T1 T2 T3 
61         1/1              data_o[35] = (syndrome_o == 8'haa) ^ data_i[35];
           Tests:       T1 T2 T3 
62         1/1              data_o[36] = (syndrome_o == 8'hab) ^ data_i[36];
           Tests:       T1 T2 T3 
63         1/1              data_o[37] = (syndrome_o == 8'hac) ^ data_i[37];
           Tests:       T1 T2 T3 
64         1/1              data_o[38] = (syndrome_o == 8'had) ^ data_i[38];
           Tests:       T1 T2 T3 
65         1/1              data_o[39] = (syndrome_o == 8'hae) ^ data_i[39];
           Tests:       T1 T2 T3 
66         1/1              data_o[40] = (syndrome_o == 8'haf) ^ data_i[40];
           Tests:       T1 T2 T3 
67         1/1              data_o[41] = (syndrome_o == 8'hb0) ^ data_i[41];
           Tests:       T1 T2 T3 
68         1/1              data_o[42] = (syndrome_o == 8'hb1) ^ data_i[42];
           Tests:       T1 T2 T3 
69         1/1              data_o[43] = (syndrome_o == 8'hb2) ^ data_i[43];
           Tests:       T1 T2 T3 
70         1/1              data_o[44] = (syndrome_o == 8'hb3) ^ data_i[44];
           Tests:       T1 T2 T3 
71         1/1              data_o[45] = (syndrome_o == 8'hb4) ^ data_i[45];
           Tests:       T1 T2 T3 
72         1/1              data_o[46] = (syndrome_o == 8'hb5) ^ data_i[46];
           Tests:       T1 T2 T3 
73         1/1              data_o[47] = (syndrome_o == 8'hb6) ^ data_i[47];
           Tests:       T1 T2 T3 
74         1/1              data_o[48] = (syndrome_o == 8'hb7) ^ data_i[48];
           Tests:       T1 T2 T3 
75         1/1              data_o[49] = (syndrome_o == 8'hb8) ^ data_i[49];
           Tests:       T1 T2 T3 
76         1/1              data_o[50] = (syndrome_o == 8'hb9) ^ data_i[50];
           Tests:       T1 T2 T3 
77         1/1              data_o[51] = (syndrome_o == 8'hba) ^ data_i[51];
           Tests:       T1 T2 T3 
78         1/1              data_o[52] = (syndrome_o == 8'hbb) ^ data_i[52];
           Tests:       T1 T2 T3 
79         1/1              data_o[53] = (syndrome_o == 8'hbc) ^ data_i[53];
           Tests:       T1 T2 T3 
80         1/1              data_o[54] = (syndrome_o == 8'hbd) ^ data_i[54];
           Tests:       T1 T2 T3 
81         1/1              data_o[55] = (syndrome_o == 8'hbe) ^ data_i[55];
           Tests:       T1 T2 T3 
82         1/1              data_o[56] = (syndrome_o == 8'hbf) ^ data_i[56];
           Tests:       T1 T2 T3 
83         1/1              data_o[57] = (syndrome_o == 8'hc1) ^ data_i[57];
           Tests:       T1 T2 T3 
84         1/1              data_o[58] = (syndrome_o == 8'hc2) ^ data_i[58];
           Tests:       T1 T2 T3 
85         1/1              data_o[59] = (syndrome_o == 8'hc3) ^ data_i[59];
           Tests:       T1 T2 T3 
86         1/1              data_o[60] = (syndrome_o == 8'hc4) ^ data_i[60];
           Tests:       T1 T2 T3 
87         1/1              data_o[61] = (syndrome_o == 8'hc5) ^ data_i[61];
           Tests:       T1 T2 T3 
88         1/1              data_o[62] = (syndrome_o == 8'hc6) ^ data_i[62];
           Tests:       T1 T2 T3 
89         1/1              data_o[63] = (syndrome_o == 8'hc7) ^ data_i[63];
           Tests:       T1 T2 T3 
90         1/1              data_o[64] = (syndrome_o == 8'hc8) ^ data_i[64];
           Tests:       T1 T2 T3 
91         1/1              data_o[65] = (syndrome_o == 8'hc9) ^ data_i[65];
           Tests:       T1 T2 T3 
92         1/1              data_o[66] = (syndrome_o == 8'hca) ^ data_i[66];
           Tests:       T1 T2 T3 
93         1/1              data_o[67] = (syndrome_o == 8'hcb) ^ data_i[67];
           Tests:       T1 T2 T3 
94                      
95                          // err_o calc. bit0: single error, bit1: double error
96         1/1              err_o[0] = syndrome_o[7];
           Tests:       T1 T2 T3 
97         1/1              err_o[1] = |syndrome_o[6:0] & ~syndrome_o[7];
           Tests:       T1 T2 T3 

---

Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_dec

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

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.

Line numbers	Percent
26-80	100.00
81-97	100.00

Line Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_dec

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

15                          // Syndrome calculation
16         1/1              syndrome_o[0] = ^(data_i & 76'h01AAB55555556AAAD5B);
           Tests:       T1 T10 T12 
17         1/1              syndrome_o[1] = ^(data_i & 76'h02CCD9999999B33366D);
           Tests:       T1 T10 T12 
18         1/1              syndrome_o[2] = ^(data_i & 76'h040F1E1E1E1E3C3C78E);
           Tests:       T1 T10 T12 
19         1/1              syndrome_o[3] = ^(data_i & 76'h08F01FE01FE03FC07F0);
           Tests:       T1 T10 T12 
20         1/1              syndrome_o[4] = ^(data_i & 76'h10001FFFE0003FFF800);
           Tests:       T1 T10 T12 
21         1/1              syndrome_o[5] = ^(data_i & 76'h20001FFFFFFFC000000);
           Tests:       T1 T10 T12 
22         1/1              syndrome_o[6] = ^(data_i & 76'h40FFE00000000000000);
           Tests:       T1 T10 T12 
23         1/1              syndrome_o[7] = ^(data_i & 76'hFFFFFFFFFFFFFFFFFFF);
           Tests:       T1 T10 T12 
24                      
25                          // Corrected output calculation
26         1/1              data_o[0] = (syndrome_o == 8'h83) ^ data_i[0];
           Tests:       T1 T10 T12 
27         1/1              data_o[1] = (syndrome_o == 8'h85) ^ data_i[1];
           Tests:       T1 T10 T12 
28         1/1              data_o[2] = (syndrome_o == 8'h86) ^ data_i[2];
           Tests:       T1 T10 T12 
29         1/1              data_o[3] = (syndrome_o == 8'h87) ^ data_i[3];
           Tests:       T1 T10 T12 
30         1/1              data_o[4] = (syndrome_o == 8'h89) ^ data_i[4];
           Tests:       T1 T10 T12 
31         1/1              data_o[5] = (syndrome_o == 8'h8a) ^ data_i[5];
           Tests:       T1 T10 T12 
32         1/1              data_o[6] = (syndrome_o == 8'h8b) ^ data_i[6];
           Tests:       T1 T10 T12 
33         1/1              data_o[7] = (syndrome_o == 8'h8c) ^ data_i[7];
           Tests:       T1 T10 T12 
34         1/1              data_o[8] = (syndrome_o == 8'h8d) ^ data_i[8];
           Tests:       T1 T10 T12 
35         1/1              data_o[9] = (syndrome_o == 8'h8e) ^ data_i[9];
           Tests:       T1 T10 T12 
36         1/1              data_o[10] = (syndrome_o == 8'h8f) ^ data_i[10];
           Tests:       T1 T10 T12 
37         1/1              data_o[11] = (syndrome_o == 8'h91) ^ data_i[11];
           Tests:       T1 T10 T12 
38         1/1              data_o[12] = (syndrome_o == 8'h92) ^ data_i[12];
           Tests:       T1 T10 T12 
39         1/1              data_o[13] = (syndrome_o == 8'h93) ^ data_i[13];
           Tests:       T1 T10 T12 
40         1/1              data_o[14] = (syndrome_o == 8'h94) ^ data_i[14];
           Tests:       T1 T10 T12 
41         1/1              data_o[15] = (syndrome_o == 8'h95) ^ data_i[15];
           Tests:       T1 T10 T12 
42         1/1              data_o[16] = (syndrome_o == 8'h96) ^ data_i[16];
           Tests:       T1 T10 T12 
43         1/1              data_o[17] = (syndrome_o == 8'h97) ^ data_i[17];
           Tests:       T1 T10 T12 
44         1/1              data_o[18] = (syndrome_o == 8'h98) ^ data_i[18];
           Tests:       T1 T10 T12 
45         1/1              data_o[19] = (syndrome_o == 8'h99) ^ data_i[19];
           Tests:       T1 T10 T12 
46         1/1              data_o[20] = (syndrome_o == 8'h9a) ^ data_i[20];
           Tests:       T1 T10 T12 
47         1/1              data_o[21] = (syndrome_o == 8'h9b) ^ data_i[21];
           Tests:       T1 T10 T12 
48         1/1              data_o[22] = (syndrome_o == 8'h9c) ^ data_i[22];
           Tests:       T1 T10 T12 
49         1/1              data_o[23] = (syndrome_o == 8'h9d) ^ data_i[23];
           Tests:       T1 T10 T12 
50         1/1              data_o[24] = (syndrome_o == 8'h9e) ^ data_i[24];
           Tests:       T1 T10 T12 
51         1/1              data_o[25] = (syndrome_o == 8'h9f) ^ data_i[25];
           Tests:       T1 T10 T12 
52         1/1              data_o[26] = (syndrome_o == 8'ha1) ^ data_i[26];
           Tests:       T1 T10 T12 
53         1/1              data_o[27] = (syndrome_o == 8'ha2) ^ data_i[27];
           Tests:       T1 T10 T12 
54         1/1              data_o[28] = (syndrome_o == 8'ha3) ^ data_i[28];
           Tests:       T1 T10 T12 
55         1/1              data_o[29] = (syndrome_o == 8'ha4) ^ data_i[29];
           Tests:       T1 T10 T12 
56         1/1              data_o[30] = (syndrome_o == 8'ha5) ^ data_i[30];
           Tests:       T1 T10 T12 
57         1/1              data_o[31] = (syndrome_o == 8'ha6) ^ data_i[31];
           Tests:       T1 T10 T12 
58         1/1              data_o[32] = (syndrome_o == 8'ha7) ^ data_i[32];
           Tests:       T1 T10 T12 
59         1/1              data_o[33] = (syndrome_o == 8'ha8) ^ data_i[33];
           Tests:       T1 T10 T12 
60         1/1              data_o[34] = (syndrome_o == 8'ha9) ^ data_i[34];
           Tests:       T1 T10 T12 
61         1/1              data_o[35] = (syndrome_o == 8'haa) ^ data_i[35];
           Tests:       T1 T10 T12 
62         1/1              data_o[36] = (syndrome_o == 8'hab) ^ data_i[36];
           Tests:       T1 T10 T12 
63         1/1              data_o[37] = (syndrome_o == 8'hac) ^ data_i[37];
           Tests:       T1 T10 T12 
64         1/1              data_o[38] = (syndrome_o == 8'had) ^ data_i[38];
           Tests:       T1 T10 T12 
65         1/1              data_o[39] = (syndrome_o == 8'hae) ^ data_i[39];
           Tests:       T1 T10 T12 
66         1/1              data_o[40] = (syndrome_o == 8'haf) ^ data_i[40];
           Tests:       T1 T10 T12 
67         1/1              data_o[41] = (syndrome_o == 8'hb0) ^ data_i[41];
           Tests:       T1 T10 T12 
68         1/1              data_o[42] = (syndrome_o == 8'hb1) ^ data_i[42];
           Tests:       T1 T10 T12 
69         1/1              data_o[43] = (syndrome_o == 8'hb2) ^ data_i[43];
           Tests:       T1 T10 T12 
70         1/1              data_o[44] = (syndrome_o == 8'hb3) ^ data_i[44];
           Tests:       T1 T10 T12 
71         1/1              data_o[45] = (syndrome_o == 8'hb4) ^ data_i[45];
           Tests:       T1 T10 T12 
72         1/1              data_o[46] = (syndrome_o == 8'hb5) ^ data_i[46];
           Tests:       T1 T10 T12 
73         1/1              data_o[47] = (syndrome_o == 8'hb6) ^ data_i[47];
           Tests:       T1 T10 T12 
74         1/1              data_o[48] = (syndrome_o == 8'hb7) ^ data_i[48];
           Tests:       T1 T10 T12 
75         1/1              data_o[49] = (syndrome_o == 8'hb8) ^ data_i[49];
           Tests:       T1 T10 T12 
76         1/1              data_o[50] = (syndrome_o == 8'hb9) ^ data_i[50];
           Tests:       T1 T10 T12 
77         1/1              data_o[51] = (syndrome_o == 8'hba) ^ data_i[51];
           Tests:       T1 T10 T12 
78         1/1              data_o[52] = (syndrome_o == 8'hbb) ^ data_i[52];
           Tests:       T1 T10 T12 
79         1/1              data_o[53] = (syndrome_o == 8'hbc) ^ data_i[53];
           Tests:       T1 T10 T12 
80         1/1              data_o[54] = (syndrome_o == 8'hbd) ^ data_i[54];
           Tests:       T1 T10 T12 
81         1/1              data_o[55] = (syndrome_o == 8'hbe) ^ data_i[55];
           Tests:       T1 T10 T12 
82         1/1              data_o[56] = (syndrome_o == 8'hbf) ^ data_i[56];
           Tests:       T1 T10 T12 
83         1/1              data_o[57] = (syndrome_o == 8'hc1) ^ data_i[57];
           Tests:       T1 T10 T12 
84         1/1              data_o[58] = (syndrome_o == 8'hc2) ^ data_i[58];
           Tests:       T1 T10 T12 
85         1/1              data_o[59] = (syndrome_o == 8'hc3) ^ data_i[59];
           Tests:       T1 T10 T12 
86         1/1              data_o[60] = (syndrome_o == 8'hc4) ^ data_i[60];
           Tests:       T1 T10 T12 
87         1/1              data_o[61] = (syndrome_o == 8'hc5) ^ data_i[61];
           Tests:       T1 T10 T12 
88         1/1              data_o[62] = (syndrome_o == 8'hc6) ^ data_i[62];
           Tests:       T1 T10 T12 
89         1/1              data_o[63] = (syndrome_o == 8'hc7) ^ data_i[63];
           Tests:       T1 T10 T12 
90         1/1              data_o[64] = (syndrome_o == 8'hc8) ^ data_i[64];
           Tests:       T1 T10 T12 
91         1/1              data_o[65] = (syndrome_o == 8'hc9) ^ data_i[65];
           Tests:       T1 T10 T12 
92         1/1              data_o[66] = (syndrome_o == 8'hca) ^ data_i[66];
           Tests:       T1 T10 T12 
93         1/1              data_o[67] = (syndrome_o == 8'hcb) ^ data_i[67];
           Tests:       T1 T10 T12 
94                      
95                          // err_o calc. bit0: single error, bit1: double error
96         1/1              err_o[0] = syndrome_o[7];
           Tests:       T1 T10 T12 
97         1/1              err_o[1] = |syndrome_o[6:0] & ~syndrome_o[7];
           Tests:       T1 T10 T12 

---

Cond Coverage for Instance : tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_dec

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

This module contains a very large number of conditions, so the report has been split into multiple pages, by source line number. Click on the line number range in the table below to see the condition coverage for that section of the module.

Line numbers	Percent
26-80	100.00
80-97	100.00