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

---

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