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

---

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