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

---

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