Line Coverage for Module :
flash_ctrl_prog
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 54 | 54 | 100.00 |
| ALWAYS | 55 | 3 | 3 | 100.00 |
| ALWAYS | 90 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 97 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 98 | 1 | 1 | 100.00 |
| ALWAYS | 101 | 5 | 5 | 100.00 |
| CONT_ASSIGN | 112 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 122 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 123 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 124 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 125 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 126 | 1 | 1 | 100.00 |
| ALWAYS | 132 | 26 | 26 | 100.00 |
| CONT_ASSIGN | 183 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 184 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 185 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 186 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 187 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 188 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 189 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 193 | 1 | 1 | 100.00 |
54 always_ff @(posedge clk_i or negedge rst_ni) begin
55 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
56 1/1 st_q <= StNorm;
Tests: T1 T2 T3
57 end else begin
58 1/1 st_q <= st_d;
Tests: T1 T2 T3
59 end
60 end
61
62 //always_ff @(posedge clk_i or negedge rst_ni) begin
63 // if (!rst_ni) begin
64 // cnt <= '0;
65 // end else if (op_start_i && op_done_o) begin
66 // cnt <= '0;
67 // end else if (data_rd_o) begin
68 // cnt <= cnt + 1'b1;
69 // end
70 //end
71
72 prim_count #(
73 .Width(12)
74 ) u_cnt (
75 .clk_i,
76 .rst_ni,
77 .clr_i(op_start_i && op_done_o),
78 .set_i('0),
79 .set_cnt_i('0),
80 .incr_en_i(data_rd_o),
81 .decr_en_i(1'b0),
82 .step_i(12'h1),
83 .commit_i(1'b1),
84 .cnt_o(cnt),
85 .cnt_after_commit_o(),
86 .err_o(cnt_err_o)
87 );
88
89 always_ff @(posedge clk_i or negedge rst_ni) begin
90 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
91 1/1 op_err_addr_o <= '0;
Tests: T1 T2 T3
92 1/1 end else if (~|op_err_q && |op_err_d) begin
Tests: T1 T2 T3
93 1/1 op_err_addr_o <= flash_addr_o;
Tests: T8 T27 T10
94 end
MISSING_ELSE
95 end
96
97 1/1 assign txn_done = flash_req_o && flash_done_i;
Tests: T1 T2 T3
98 1/1 assign cnt_hit = (cnt >= op_num_words_i);
Tests: T1 T2 T3
99
100 always_ff @(posedge clk_i or negedge rst_ni) begin
101 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
102 1/1 op_err_q <= '0;
Tests: T1 T2 T3
103 1/1 end else if (op_start_i && op_done_o) begin
Tests: T1 T2 T3
104 1/1 op_err_q <= '0;
Tests: T1 T12 T20
105 end else begin
106 1/1 op_err_q <= op_err_d;
Tests: T1 T2 T3
107 end
108 end
109
110 // if the requested prog type is available
111 logic prog_type_avail;
112 1/1 assign prog_type_avail = type_avail_i[op_type_i];
Tests: T1 T2 T3
113
114 // program resolution check
115 // if the incoming beat is larger than the maximum program resolution, error
116 // immediately and do not allow it to start.
117 localparam int WindowWidth = BusAddrW - BusPgmResWidth;
118 logic [WindowWidth-1:0] start_window, end_window;
119 logic [BusAddrW-1:0] end_addr;
120 logic pgm_res_err;
121 logic win_err;
122 1/1 assign end_addr = op_addr_i + BusAddrW'(op_num_words_i);
Tests: T1 T2 T3
123 1/1 assign start_window = op_addr_i[BusAddrW-1:BusPgmResWidth];
Tests: T1 T2 T3
124 1/1 assign end_window = end_addr[BusAddrW-1:BusPgmResWidth];
Tests: T1 T2 T3
125 1/1 assign pgm_res_err = start_window != end_window;
Tests: T1 T2 T3
126 1/1 assign win_err = pgm_res_err | op_addr_oob_i;
Tests: T1 T2 T3
127
128 // when error'd, continue to drain all program fifo contents like normal operation
129 // if this is not done, software may fill up the fifo without anyone
130 // draining the contents, leading to a lockup
131 always_comb begin
132 1/1 st_d = st_q;
Tests: T1 T2 T3
133 1/1 flash_req_o = 1'b0;
Tests: T1 T2 T3
134 1/1 data_rd_o = 1'b0;
Tests: T1 T2 T3
135 1/1 op_done_o = 1'b0;
Tests: T1 T2 T3
136 1/1 op_err_d = op_err_q;
Tests: T1 T2 T3
137
138 1/1 unique case (st_q)
Tests: T1 T2 T3
139
140 // Note the address counter is incremented on tx_done
141 // and cleared when the entire operation is complete.
142 StNorm: begin
143
144 1/1 if (cnt_err_o) begin
Tests: T1 T2 T3
145 // if count error'd don't bother doing anything else, just try to finish
146 1/1 st_d = StErr;
Tests: T10 T11 T16
147
148 1/1 end else if (op_start_i && prog_type_avail && !win_err) begin
Tests: T1 T2 T3
149 // if the select operation type is not available, error
150 1/1 flash_req_o = data_rdy_i;
Tests: T1 T12 T20
151
152 1/1 if (txn_done) begin
Tests: T1 T12 T20
153 1/1 op_err_d.mp_err = flash_mp_err_i;
Tests: T1 T12 T20
154 1/1 op_err_d.prog_err = flash_prog_intg_err_i;
Tests: T1 T12 T20
155 1/1 data_rd_o = 1'b1;
Tests: T1 T12 T20
156
157 1/1 if (cnt_hit) begin
Tests: T1 T12 T20
158 1/1 op_done_o = 1'b1;
Tests: T1 T12 T20
159 end else begin
160 1/1 st_d = |op_err_d ? StErr : StNorm;
Tests: T1 T12 T20
161 end
162 end
MISSING_ELSE
163
164 1/1 end else if (op_start_i && (!prog_type_avail || win_err)) begin
Tests: T1 T2 T3
165 1/1 op_err_d.oob_err = op_addr_oob_i;
Tests: T10 T48 T119
166 1/1 op_err_d.prog_type_err = !prog_type_avail;
Tests: T10 T48 T119
167 1/1 op_err_d.prog_win_err = pgm_res_err;
Tests: T10 T48 T119
168 1/1 st_d = StErr;
Tests: T10 T48 T119
169 end
MISSING_ELSE
170 end
171 StErr: begin
172 1/1 data_rd_o = data_rdy_i;
Tests: T8 T27 T10
173
174 1/1 if (data_rdy_i && cnt_hit) begin
Tests: T8 T27 T10
175 1/1 st_d = StNorm;
Tests: T8 T27 T10
176 1/1 op_done_o = 1'b1;
Tests: T8 T27 T10
177 end
MISSING_ELSE
178 end
179 default:;
180 endcase // unique case (st)
181 end
182
183 1/1 assign flash_data_o = data_i;
Tests: T1 T2 T3
184 1/1 assign int_addr = op_addr_i + BusAddrW'(cnt);
Tests: T1 T2 T3
185 1/1 assign flash_addr_o = int_addr[0 +: BusAddrW];
Tests: T1 T2 T3
186 1/1 assign flash_ovfl_o = int_addr[BusAddrW];
Tests: T1 T2 T3
187 1/1 assign flash_last_o = flash_req_o & cnt_hit;
Tests: T1 T2 T3
188 1/1 assign flash_type_o = op_type_i;
Tests: T1 T2 T3
189 1/1 assign op_err_o = op_err_q | op_err_d;
Tests: T1 T2 T3
190
191 // unused signals
192 logic [BusPgmResWidth-1:0] unused_end_addr;
193 1/1 assign unused_end_addr = end_addr[BusPgmResWidth-1:0];
Tests: T1 T2 T3
Cond Coverage for Module :
flash_ctrl_prog
| Total | Covered | Percent |
|---|
| Conditions | 34 | 33 | 97.06 |
| Logical | 34 | 33 | 97.06 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 74
EXPRESSION (op_start_i && op_done_o)
-----1---- ----2----
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T165,T120,T211 |
| 1 | 0 | Covered | T1,T12,T20 |
| 1 | 1 | Covered | T1,T12,T20 |
LINE 92
EXPRESSION (((~|op_err_q)) && ((|op_err_d)))
-------1------ ------2------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T8,T27,T98 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T8,T27,T98 |
LINE 97
EXPRESSION (flash_req_o && flash_done_i)
-----1----- ------2-----
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T23,T98,T126 |
| 1 | 0 | Covered | T1,T12,T20 |
| 1 | 1 | Covered | T1,T12,T20 |
LINE 103
EXPRESSION (op_start_i && op_done_o)
-----1---- ----2----
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T165,T120,T211 |
| 1 | 0 | Covered | T1,T12,T20 |
| 1 | 1 | Covered | T1,T12,T20 |
LINE 125
EXPRESSION (start_window != end_window)
--------------1-------------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T17 |
LINE 126
EXPRESSION (pgm_res_err | op_addr_oob_i)
-----1----- ------2------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Unreachable | |
| 1 | 0 | Covered | T1,T2,T17 |
LINE 148
EXPRESSION (op_start_i && prog_type_avail && ((!win_err)))
-----1---- -------2------- ------3-----
| -1- | -2- | -3- | Status | Tests |
|---|
| 0 | 1 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | 1 | Covered | T85,T86,T87 |
| 1 | 1 | 0 | Covered | T48,T119,T218 |
| 1 | 1 | 1 | Covered | T1,T12,T20 |
LINE 160
EXPRESSION (((|op_err_d)) ? StErr : StNorm)
------1------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T12,T20 |
| 1 | Covered | T8,T27,T98 |
LINE 164
EXPRESSION (op_start_i && (((!prog_type_avail)) || win_err))
-----1---- ----------------2----------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T17 |
| 1 | 0 | Not Covered | |
| 1 | 1 | Covered | T48,T119,T218 |
LINE 164
SUB-EXPRESSION (((!prog_type_avail)) || win_err)
----------1--------- ---2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T1,T2,T17 |
| 1 | 0 | Covered | T85,T86,T87 |
LINE 174
EXPRESSION (data_rdy_i && cnt_hit)
-----1---- ---2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T27,T98,T39 |
| 1 | 0 | Covered | T8,T27,T98 |
| 1 | 1 | Covered | T8,T27,T98 |
LINE 187
EXPRESSION (flash_req_o & cnt_hit)
-----1----- ---2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T1,T12,T20 |
| 1 | 1 | Covered | T1,T12,T20 |
Branch Coverage for Module :
flash_ctrl_prog
| Line No. | Total | Covered | Percent |
| Branches |
|
18 |
17 |
94.44 |
| IF |
55 |
2 |
2 |
100.00 |
| IF |
90 |
3 |
3 |
100.00 |
| IF |
101 |
3 |
3 |
100.00 |
| CASE |
138 |
10 |
9 |
90.00 |
55 if (!rst_ni) begin
-1-
56 st_q <= StNorm;
==>
57 end else begin
58 st_q <= st_d;
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
90 if (!rst_ni) begin
-1-
91 op_err_addr_o <= '0;
==>
92 end else if (~|op_err_q && |op_err_d) begin
-2-
93 op_err_addr_o <= flash_addr_o;
==>
94 end
MISSING_ELSE
==>
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T8,T27,T10 |
| 0 |
0 |
Covered |
T1,T2,T3 |
101 if (!rst_ni) begin
-1-
102 op_err_q <= '0;
==>
103 end else if (op_start_i && op_done_o) begin
-2-
104 op_err_q <= '0;
==>
105 end else begin
106 op_err_q <= op_err_d;
==>
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T1,T12,T20 |
| 0 |
0 |
Covered |
T1,T2,T3 |
138 unique case (st_q)
-1-
139
140 // Note the address counter is incremented on tx_done
141 // and cleared when the entire operation is complete.
142 StNorm: begin
143
144 if (cnt_err_o) begin
-2-
145 // if count error'd don't bother doing anything else, just try to finish
146 st_d = StErr;
==>
147
148 end else if (op_start_i && prog_type_avail && !win_err) begin
-3-
149 // if the select operation type is not available, error
150 flash_req_o = data_rdy_i;
151
152 if (txn_done) begin
-4-
153 op_err_d.mp_err = flash_mp_err_i;
154 op_err_d.prog_err = flash_prog_intg_err_i;
155 data_rd_o = 1'b1;
156
157 if (cnt_hit) begin
-5-
158 op_done_o = 1'b1;
==>
159 end else begin
160 st_d = |op_err_d ? StErr : StNorm;
-6-
==>
==>
161 end
162 end
MISSING_ELSE
==>
163
164 end else if (op_start_i && (!prog_type_avail || win_err)) begin
-7-
165 op_err_d.oob_err = op_addr_oob_i;
==>
166 op_err_d.prog_type_err = !prog_type_avail;
167 op_err_d.prog_win_err = pgm_res_err;
168 st_d = StErr;
169 end
MISSING_ELSE
==>
170 end
171 StErr: begin
172 data_rd_o = data_rdy_i;
173
174 if (data_rdy_i && cnt_hit) begin
-8-
175 st_d = StNorm;
==>
176 op_done_o = 1'b1;
177 end
MISSING_ELSE
==>
178 end
179 default:;
==>
Branches:
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | Status | Tests |
| StNorm |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T10,T11,T16 |
| StNorm |
0 |
1 |
1 |
1 |
- |
- |
- |
Covered |
T1,T12,T20 |
| StNorm |
0 |
1 |
1 |
0 |
1 |
- |
- |
Covered |
T8,T27,T98 |
| StNorm |
0 |
1 |
1 |
0 |
0 |
- |
- |
Covered |
T1,T12,T20 |
| StNorm |
0 |
1 |
0 |
- |
- |
- |
- |
Covered |
T1,T12,T20 |
| StNorm |
0 |
0 |
- |
- |
- |
1 |
- |
Covered |
T10,T48,T119 |
| StNorm |
0 |
0 |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T3 |
| StErr |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T8,T27,T10 |
| StErr |
- |
- |
- |
- |
- |
- |
0 |
Covered |
T8,T27,T10 |
| default |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|