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

---

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-79	100.00
79-97	100.00