Line Coverage for Module :
keymgr_kmac_if
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 112 | 112 | 100.00 |
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 135 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 136 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 |
| ALWAYS | 161 | 3 | 3 | 100.00 |
| ALWAYS | 169 | 3 | 3 | 100.00 |
| ALWAYS | 172 | 56 | 56 | 100.00 |
| CONT_ASSIGN | 287 | 1 | 1 | 100.00 |
| ALWAYS | 296 | 8 | 8 | 100.00 |
| CONT_ASSIGN | 313 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 318 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 319 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 322 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 323 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 324 | 1 | 1 | 100.00 |
| ALWAYS | 330 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 342 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 343 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 344 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 349 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 351 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 356 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 357 | 1 | 1 | 100.00 |
| ALWAYS | 363 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 369 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 375 | 1 | 1 | 100.00 |
| ALWAYS | 379 | 7 | 7 | 100.00 |
| CONT_ASSIGN | 391 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 394 | 1 | 1 | 100.00 |
133 // this is basically for scenarios where *DataWidth % KmacDataIfWidth != 0
134 1/1 assign adv_data = KDFMaxWidth'(adv_data_i);
Tests: T1 T2 T3
135 1/1 assign id_data = KDFMaxWidth'(id_data_i);
Tests: T1 T2 T3
136 1/1 assign gen_data = KDFMaxWidth'(gen_data_i);
Tests: T1 T2 T3
137
138 1/1 assign start = adv_en_i | id_en_i | gen_en_i;
Tests: T1 T2 T3
139
140 logic cnt_err;
141 // SEC_CM: KMAC_IF.CTR.REDUN
142 prim_count #(
143 .Width(CntWidth),
144 .ResetValue({CntWidth{1'b1}})
145 ) u_cnt (
146 .clk_i,
147 .rst_ni,
148 .clr_i(cnt_clr),
149 .set_i(cnt_set),
150 .set_cnt_i(rounds),
151 .incr_en_i(1'b0),
152 .decr_en_i(cnt_en),
153 .step_i(CntWidth'(1'b1)),
154 .commit_i(1'b1),
155 .cnt_o(cnt),
156 .cnt_after_commit_o(),
157 .err_o(cnt_err)
158 );
159
160 always_ff @(posedge clk_i or negedge rst_ni) begin
161 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
162 1/1 inputs_invalid_q <= '0;
Tests: T1 T2 T3
163 end else begin
164 1/1 inputs_invalid_q <= inputs_invalid_d;
Tests: T1 T2 T3
165 end
166 end
167
168 // SEC_CM: KMAC_IF.FSM.SPARSE
169 3/3 `PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, data_state_e, StIdle)
Tests: T1 T2 T3 | T1 T2 T3 | T1 T2 T3
PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, data_state_e, StIdle):
169.1 `ifdef SIMULATION
169.2 prim_sparse_fsm_flop #(
169.3 .StateEnumT(data_state_e),
169.4 .Width($bits(data_state_e)),
169.5 .ResetValue($bits(data_state_e)'(StIdle)),
169.6 .EnableAlertTriggerSVA(1),
169.7 .CustomForceName("state_q")
169.8 ) u_state_regs (
169.9 .clk_i ( clk_i ),
169.10 .rst_ni ( rst_ni ),
169.11 .state_i ( state_d ),
169.12 .state_o ( )
169.13 );
169.14 always_ff @(posedge clk_i or negedge rst_ni) begin
169.15 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
169.16 1/1 state_q <= StIdle;
Tests: T1 T2 T3
169.17 end else begin
169.18 1/1 state_q <= state_d;
Tests: T1 T2 T3
169.19 end
169.20 end
169.21 u_state_regs_A: assert property (@(posedge clk_i) disable iff ((!rst_ni) !== '0) (state_q === u_state_regs.state_o))
169.22 else begin
169.23 `ifdef UVM
169.24 uvm_pkg::uvm_report_error("ASSERT FAILED", "u_state_regs_A", uvm_pkg::UVM_NONE,
169.25 "../src/lowrisc_ip_keymgr_0.1/rtl/keymgr_kmac_if.sv", 169, "", 1);
169.26 `else
169.27 $error("%0t: (%0s:%0d) [%m] [ASSERT FAILED] %0s", $time, `__FILE__, `__LINE__,
169.28 `PRIM_STRINGIFY(u_state_regs_A));
169.29 `endif
169.30 end
169.31 `else
169.32 prim_sparse_fsm_flop #(
169.33 .StateEnumT(data_state_e),
169.34 .Width($bits(data_state_e)),
169.35 .ResetValue($bits(data_state_e)'(StIdle)),
169.36 .EnableAlertTriggerSVA(1)
169.37 ) u_state_regs (
169.38 .clk_i ( `PRIM_FLOP_CLK ),
169.39 .rst_ni ( `PRIM_FLOP_RST ),
169.40 .state_i ( state_d ),
169.41 .state_o ( state_q )
169.42 );
169.43 `endif170
171 always_comb begin
172 1/1 cnt_clr = 1'b0;
Tests: T1 T2 T3
173 1/1 cnt_set = 1'b0;
Tests: T1 T2 T3
174 1/1 cnt_en = 1'b0;
Tests: T1 T2 T3
175 1/1 valid = 1'b0;
Tests: T1 T2 T3
176 1/1 last = 1'b0;
Tests: T1 T2 T3
177 1/1 strb = '0;
Tests: T1 T2 T3
178 1/1 done_o = 1'b0;
Tests: T1 T2 T3
179 1/1 state_d = state_q;
Tests: T1 T2 T3
180 1/1 rounds = '0;
Tests: T1 T2 T3
181
182 1/1 clr_err = '0;
Tests: T1 T2 T3
183 1/1 fsm_error_o = '0;
Tests: T1 T2 T3
184 1/1 kmac_error_o = '0;
Tests: T1 T2 T3
185
186 1/1 kmac_done_vld = '0;
Tests: T1 T2 T3
187
188 1/1 cmd_chk = 1'b1;
Tests: T1 T2 T3
189
190 1/1 unique case (state_q)
Tests: T1 T2 T3
191
192 StIdle: begin
193 // if for some reason multiple bits are set, adv_en has priority
194 // as the current key state will be destroyed
195
196 // cross check for commands once transaction begins
197 1/1 cmd_chk = '0;
Tests: T1 T2 T3
198 1/1 if (start) begin
Tests: T1 T2 T3
199 1/1 cnt_set = 1'b1;
Tests: T1 T2 T4
200 1/1 if (adv_en_i) begin
Tests: T1 T2 T4
201 1/1 rounds = LastAdvRound;
Tests: T1 T2 T4
202 1/1 end else if (id_en_i) begin
Tests: T1 T2 T4
203 1/1 rounds = LastIdRound;
Tests: T2 T5 T6
204 1/1 end else if (gen_en_i) begin
Tests: T1 T2 T4
205 1/1 rounds = LastGenRound;
Tests: T1 T2 T4
206 end
==> MISSING_ELSE
207 // in case we are sending only 1 entry
208 1/1 state_d = (rounds == 0) ? StTxLast : StTx;
Tests: T1 T2 T4
209 end
MISSING_ELSE
210 end
211
212 StTx: begin
213 1/1 valid = 1'b1;
Tests: T1 T2 T4
214 1/1 strb = {IfBytes{1'b1}};
Tests: T1 T2 T4
215
216 // transaction accepted
217 1/1 if (kmac_data_i.ready) begin
Tests: T1 T2 T4
218 1/1 cnt_en = 1'b1;
Tests: T1 T2 T4
219
220 // second to last beat
221 1/1 if (cnt == CntWidth'(1'b1)) begin
Tests: T1 T2 T4
222 1/1 state_d = StTxLast;
Tests: T1 T2 T4
223 end
MISSING_ELSE
224 end
MISSING_ELSE
225
226 end
227
228 StTxLast: begin
229 1/1 valid = 1'b1;
Tests: T1 T2 T4
230 1/1 last = 1'b1;
Tests: T1 T2 T4
231
232 1/1 if (adv_en_i) begin
Tests: T1 T2 T4
233 1/1 strb = AdvByteMask;
Tests: T1 T2 T4
234 1/1 end else if (id_en_i) begin
Tests: T1 T2 T4
235 1/1 strb = IdByteMask;
Tests: T2 T5 T6
236 1/1 end else if (gen_en_i) begin
Tests: T1 T2 T4
237 1/1 strb = GenByteMask;
Tests: T1 T2 T4
238 end
MISSING_ELSE
239
240 // transaction accepted
241 1/1 cnt_clr = kmac_data_i.ready;
Tests: T1 T2 T4
242 1/1 state_d = kmac_data_i.ready ? StOpWait : StTxLast;
Tests: T1 T2 T4
243
244 end
245
246 StOpWait: begin
247 1/1 kmac_done_vld = 1'b1;
Tests: T1 T2 T4
248 1/1 if (kmac_data_i.done) begin
Tests: T1 T2 T4
249 1/1 kmac_error_o = kmac_data_i.error;
Tests: T1 T2 T4
250 1/1 done_o = 1'b1;
Tests: T1 T2 T4
251 1/1 state_d = StClean;
Tests: T1 T2 T4
252 end
MISSING_ELSE
253 end
254
255 StClean: begin
256 1/1 cmd_chk = '0;
Tests: T1 T2 T4
257 1/1 done_o = 1'b1;
Tests: T1 T2 T4
258
259 // wait for control side to ack done by waiting start de-assertion
260 1/1 if (!start) begin
Tests: T1 T2 T4
261 1/1 done_o = 1'b0;
Tests: T1 T2 T4
262 1/1 clr_err = 1'b1;
Tests: T1 T2 T4
263 1/1 state_d = StIdle;
Tests: T1 T2 T4
264 end
==> MISSING_ELSE
265 end
266
267 // trigger error
268 default: begin
269 // This state is terminal
270 done_o = 1'b1;
271 fsm_error_o = 1'b1;
272 end
273
274 endcase // unique case (state_q)
275
276 // unconditional error transitions
277 // counter errors may disturb the fsm flow and are
278 // treated like fsm errors
279 1/1 if (cnt_err) begin
Tests: T1 T2 T3
280 1/1 state_d = StError;
Tests: T12 T13 T14
281 1/1 fsm_error_o = 1;
Tests: T12 T13 T14
282 1/1 done_o = 1'b1;
Tests: T12 T13 T14
283 end
MISSING_ELSE
284 end
285
286 // when transaction is not complete, populate the data with random
287 1/1 assign data_o = start && done_o ?
Tests: T1 T2 T3
288 {kmac_data_i.digest_share1,
289 kmac_data_i.digest_share0} :
290 {{DecoyOutputCopies{entropy_i[1]}},
291 {DecoyOutputCopies{entropy_i[0]}}};
292
293 // The input invalid check is done whenever transactions are ongoing with kmac
294 // once set, it cannot be unset until transactions are fully complete
295 always_comb begin
296 1/1 inputs_invalid_d = inputs_invalid_q;
Tests: T1 T2 T3
297
298 1/1 if (clr_err) begin
Tests: T1 T2 T3
299 1/1 inputs_invalid_d = '0;
Tests: T1 T2 T4
300 1/1 end else if (valid) begin
Tests: T1 T2 T3
301 1/1 inputs_invalid_d[OpAdvance] = adv_en_i & (inputs_invalid_i[OpAdvance] |
Tests: T1 T2 T4
302 inputs_invalid_q[OpAdvance]);
303 1/1 inputs_invalid_d[OpGenId] = id_en_i & (inputs_invalid_i[OpGenId] |
Tests: T1 T2 T4
304 inputs_invalid_q[OpGenId]);
305 1/1 inputs_invalid_d[OpGenSwOut] = gen_en_i & (inputs_invalid_i[OpGenSwOut]|
Tests: T1 T2 T4
306 inputs_invalid_q[OpGenSwOut]);
307 1/1 inputs_invalid_d[OpGenHwOut] = gen_en_i & (inputs_invalid_i[OpGenHwOut]|
Tests: T1 T2 T4
308 inputs_invalid_q[OpGenHwOut]);
309 end
MISSING_ELSE
310 end
311
312 // immediately assert errors
313 1/1 assign inputs_invalid_o = |inputs_invalid_d;
Tests: T1 T2 T3
314
315 // Permute Share 1 of the entropy input once more to get the decoy data.
316 // Share 0 and 1 are used as is for data_o (connected to the sideload ports).
317 logic [RandWidth-1:0] decoy_entropy;
318 1/1 assign decoy_entropy = perm_data(entropy_i[1], RndCnstRandPerm);
Tests: T1 T2 T3
319 1/1 assign decoy_data = {DecoyCopies{decoy_entropy}};
Tests: T1 T2 T3
320
321 logic [CntWidth-1:0] adv_sel, id_sel, gen_sel;
322 1/1 assign adv_sel = LastAdvRound - cnt;
Tests: T1 T2 T3
323 1/1 assign id_sel = LastIdRound - cnt;
Tests: T1 T2 T3
324 1/1 assign gen_sel = LastGenRound - cnt;
Tests: T1 T2 T3
325
326 // The count is maintained as a downcount
327 // so a subtract is necessary to send the right byte
328 // alternatively we can also reverse the order of the input
329 always_comb begin
330 1/1 kmac_data_o.data = decoy_data;
Tests: T1 T2 T3
331 1/1 if (|cmd_error_o || inputs_invalid_o || fsm_error_o) begin
Tests: T1 T2 T3
332 1/1 kmac_data_o.data = decoy_data;
Tests: T19 T12 T20
333 1/1 end else if (valid && adv_en_i) begin
Tests: T1 T2 T3
334 1/1 kmac_data_o.data = adv_data[adv_sel];
Tests: T1 T2 T4
335 1/1 end else if (valid && id_en_i) begin
Tests: T1 T2 T3
336 1/1 kmac_data_o.data = id_data[id_sel];
Tests: T2 T5 T6
337 1/1 end else if (valid && gen_en_i) begin
Tests: T1 T2 T3
338 1/1 kmac_data_o.data = gen_data[gen_sel];
Tests: T1 T2 T4
339 end
MISSING_ELSE
340 end
341
342 1/1 assign kmac_data_o.valid = valid;
Tests: T1 T2 T3
343 1/1 assign kmac_data_o.last = last;
Tests: T1 T2 T3
344 1/1 assign kmac_data_o.strb = strb;
Tests: T1 T2 T3
345
346 // kmac done is asserted outside of expected window
347 // SEC_CM: KMAC_IF_DONE.CTRL.CONSISTENCY
348 logic kmac_done_err_q, kmac_done_err_d;
349 1/1 assign kmac_done_err_d = ~kmac_done_vld & kmac_data_i.done |
Tests: T1 T2 T3
350 kmac_done_err_q;
351 1/1 assign kmac_done_error_o = kmac_done_err_q;
Tests: T1 T2 T3
352
353
354 // the enables must be 1 hot
355 logic [2:0] enables_d, enables_q, enables_sub;
356 1/1 assign enables_d = {adv_en_i, id_en_i, gen_en_i};
Tests: T1 T2 T3
357 1/1 assign enables_sub = enables_d - 1'b1;
Tests: T1 T2 T3
358
359 // cross check to ensure the one-hot command that kicked off
360 // the transaction remains consistent throughout.
361 logic cmd_consty_err_q, cmd_consty_err_d;
362 always_ff @(posedge clk_i or negedge rst_ni) begin
363 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
364 1/1 enables_q <= '0;
Tests: T1 T2 T3
365 1/1 end else if (cnt_set) begin
Tests: T1 T2 T3
366 1/1 enables_q <= enables_d;
Tests: T1 T2 T4
367 end
MISSING_ELSE
368 end
369 1/1 assign cmd_consty_err_d = (cmd_chk & (enables_q != enables_d)) |
Tests: T1 T2 T3
370 cmd_consty_err_q;
371
372 // if a one hot error occurs, latch onto it permanently
373 // SEC_CM: KMAC_IF_CMD.CTRL.CONSISTENCY
374 logic one_hot_err_q, one_hot_err_d;
375 1/1 assign one_hot_err_d = |(enables_d & enables_sub) |
Tests: T1 T2 T3
376 one_hot_err_q;
377
378 always_ff @(posedge clk_i or negedge rst_ni) begin
379 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
380 1/1 one_hot_err_q <= '0;
Tests: T1 T2 T3
381 1/1 kmac_done_err_q <= '0;
Tests: T1 T2 T3
382 1/1 cmd_consty_err_q <= '0;
Tests: T1 T2 T3
383 end else begin
384 1/1 one_hot_err_q <= one_hot_err_d;
Tests: T1 T2 T3
385 1/1 kmac_done_err_q <= kmac_done_err_d;
Tests: T1 T2 T3
386 1/1 cmd_consty_err_q <= cmd_consty_err_d;
Tests: T1 T2 T3
387 end
388 end
389
390 // command error occurs if kmac errors or if the command itself is invalid
391 1/1 assign cmd_error_o = one_hot_err_q | cmd_consty_err_q;
Tests: T1 T2 T3
392
393 // request entropy to churn whenever a transaction is accepted
394 1/1 assign prng_en_o = kmac_data_o.valid & kmac_data_i.ready;
Tests: T1 T2 T3
Cond Coverage for Module :
keymgr_kmac_if
| Total | Covered | Percent |
|---|
| Conditions | 77 | 70 | 90.91 |
| Logical | 77 | 70 | 90.91 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 138
EXPRESSION (adv_en_i | id_en_i | gen_en_i)
----1--- ---2--- ----3---
| -1- | -2- | -3- | Status | Tests |
|---|
| 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 1 | Covered | T1,T2,T4 |
| 0 | 1 | 0 | Covered | T2,T5,T6 |
| 1 | 0 | 0 | Covered | T1,T2,T4 |
LINE 208
EXPRESSION ((rounds == 5'b0) ? StTxLast : StTx)
--------1-------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T4 |
| 1 | Not Covered | |
LINE 208
SUB-EXPRESSION (rounds == 5'b0)
--------1-------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T4 |
| 1 | Not Covered | |
LINE 221
EXPRESSION (cnt == 5'(1'b1))
--------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T4 |
| 1 | Covered | T1,T2,T4 |
LINE 242
EXPRESSION (kmac_data_i.ready ? StOpWait : StTxLast)
--------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T1,T2,T4 |
LINE 287
EXPRESSION
Number Term
1 (start && done_o) ? ({kmac_data_i.digest_share1, kmac_data_i.digest_share0}) : ({{DecoyOutputCopies {entropy_i[1]}}, {DecoyOutputCopies {entropy_i[0]}}}))
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 287
SUB-EXPRESSION (start && done_o)
--1-- ---2--
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T12,T24,T25 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 301
EXPRESSION (adv_en_i & (inputs_invalid_i[OpAdvance] | inputs_invalid_q[OpAdvance]))
----1--- -----------------------------2-----------------------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T26,T27,T28 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T20,T29,T30 |
LINE 301
SUB-EXPRESSION (inputs_invalid_i[OpAdvance] | inputs_invalid_q[OpAdvance])
-------------1------------- -------------2-------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T4 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T20,T29,T30 |
LINE 303
EXPRESSION (id_en_i & (inputs_invalid_i[OpGenId] | inputs_invalid_q[OpGenId]))
---1--- ---------------------------2---------------------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T26,T27,T28 |
| 1 | 0 | Covered | T2,T5,T6 |
| 1 | 1 | Not Covered | |
LINE 303
SUB-EXPRESSION (inputs_invalid_i[OpGenId] | inputs_invalid_q[OpGenId])
------------1------------ ------------2------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T4 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T26,T27,T28 |
LINE 305
EXPRESSION (gen_en_i & (inputs_invalid_i[OpGenSwOut] | inputs_invalid_q[OpGenSwOut]))
----1--- ------------------------------2------------------------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T6,T17,T19 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T19,T20,T31 |
LINE 305
SUB-EXPRESSION (inputs_invalid_i[OpGenSwOut] | inputs_invalid_q[OpGenSwOut])
--------------1------------- --------------2-------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T4 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T6,T17,T19 |
LINE 307
EXPRESSION (gen_en_i & (inputs_invalid_i[OpGenHwOut] | inputs_invalid_q[OpGenHwOut]))
----1--- ------------------------------2------------------------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T6,T17,T19 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T19,T20,T31 |
LINE 307
SUB-EXPRESSION (inputs_invalid_i[OpGenHwOut] | inputs_invalid_q[OpGenHwOut])
--------------1------------- --------------2-------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T4 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T6,T17,T19 |
LINE 331
EXPRESSION (((|cmd_error_o)) || inputs_invalid_o || fsm_error_o)
--------1------- --------2------- -----3-----
| -1- | -2- | -3- | Status | Tests |
|---|
| 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 1 | Covered | T12,T13,T14 |
| 0 | 1 | 0 | Covered | T19,T20,T31 |
| 1 | 0 | 0 | Covered | T24,T25,T32 |
LINE 333
EXPRESSION (valid && adv_en_i)
--1-- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 335
EXPRESSION (valid && id_en_i)
--1-- ---2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T2,T5,T6 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T2,T5,T6 |
LINE 337
EXPRESSION (valid && gen_en_i)
--1-- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T25,T33,T34 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 349
EXPRESSION ((((~kmac_done_vld)) & kmac_data_i.done) | kmac_done_err_q)
-------------------1------------------- -------2-------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T22,T35,T36 |
| 1 | 0 | Covered | T1,T2,T4 |
LINE 349
SUB-EXPRESSION (((~kmac_done_vld)) & kmac_data_i.done)
---------1-------- --------2-------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 369
EXPRESSION ((cmd_chk & (enables_q != enables_d)) | cmd_consty_err_q)
------------------1----------------- --------2-------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T24,T25,T32 |
| 1 | 0 | Covered | T24,T25,T32 |
LINE 369
SUB-EXPRESSION (cmd_chk & (enables_q != enables_d))
---1--- ------------2-----------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T24,T25,T32 |
LINE 369
SUB-EXPRESSION (enables_q != enables_d)
------------1-----------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 375
EXPRESSION (((|(enables_d & enables_sub))) | one_hot_err_q)
---------------1-------------- ------2------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T24,T32,T26 |
| 1 | 0 | Covered | T24,T32,T26 |
LINE 391
EXPRESSION (one_hot_err_q | cmd_consty_err_q)
------1------ --------2-------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T25,T33,T34 |
| 1 | 0 | Covered | T24,T26,T37 |
LINE 394
EXPRESSION (kmac_data_o.valid & kmac_data_i.ready)
--------1-------- --------2--------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T21,T22,T23 |
| 1 | 1 | Covered | T1,T2,T4 |
FSM Coverage for Module :
keymgr_kmac_if
Summary for FSM :: state_q
| Total | Covered | Percent | |
| States |
6 |
6 |
100.00 |
(Not included in score) |
| Transitions |
11 |
6 |
54.55 |
|
| Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests |
| StClean |
251 |
Covered |
T1,T2,T4 |
| StError |
280 |
Covered |
T12,T13,T14 |
| StIdle |
263 |
Covered |
T1,T2,T3 |
| StOpWait |
242 |
Covered |
T1,T2,T4 |
| StTx |
208 |
Covered |
T1,T2,T4 |
| StTxLast |
208 |
Covered |
T1,T2,T4 |
| transitions | Line No. | Covered | Tests |
| StClean->StError |
280 |
Not Covered |
|
| StClean->StIdle |
263 |
Covered |
T1,T2,T4 |
| StIdle->StError |
280 |
Covered |
T12,T13,T14 |
| StIdle->StTx |
208 |
Covered |
T1,T2,T4 |
| StIdle->StTxLast |
208 |
Not Covered |
|
| StOpWait->StClean |
251 |
Covered |
T1,T2,T4 |
| StOpWait->StError |
280 |
Not Covered |
|
| StTx->StError |
280 |
Not Covered |
|
| StTx->StTxLast |
222 |
Covered |
T1,T2,T4 |
| StTxLast->StError |
280 |
Not Covered |
|
| StTxLast->StOpWait |
242 |
Covered |
T1,T2,T4 |
Branch Coverage for Module :
keymgr_kmac_if
| Line No. | Total | Covered | Percent |
| Branches |
|
42 |
39 |
92.86 |
| TERNARY |
287 |
2 |
2 |
100.00 |
| IF |
161 |
2 |
2 |
100.00 |
| IF |
169 |
2 |
2 |
100.00 |
| CASE |
190 |
21 |
18 |
85.71 |
| IF |
279 |
2 |
2 |
100.00 |
| IF |
298 |
3 |
3 |
100.00 |
| IF |
331 |
5 |
5 |
100.00 |
| IF |
363 |
3 |
3 |
100.00 |
| IF |
379 |
2 |
2 |
100.00 |
287 assign data_o = start && done_o ?
-1-
==>
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T4 |
| 0 |
Covered |
T1,T2,T3 |
161 if (!rst_ni) begin
-1-
162 inputs_invalid_q <= '0;
==>
163 end else begin
164 inputs_invalid_q <= inputs_invalid_d;
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
169 `PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, data_state_e, StIdle)
-1-
==>
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
190 unique case (state_q)
-1-
191
192 StIdle: begin
193 // if for some reason multiple bits are set, adv_en has priority
194 // as the current key state will be destroyed
195
196 // cross check for commands once transaction begins
197 cmd_chk = '0;
198 if (start) begin
-2-
199 cnt_set = 1'b1;
200 if (adv_en_i) begin
-3-
201 rounds = LastAdvRound;
==>
202 end else if (id_en_i) begin
-4-
203 rounds = LastIdRound;
==>
204 end else if (gen_en_i) begin
-5-
205 rounds = LastGenRound;
==>
206 end
MISSING_ELSE
==>
207 // in case we are sending only 1 entry
208 state_d = (rounds == 0) ? StTxLast : StTx;
-6-
==>
==>
209 end
MISSING_ELSE
==>
210 end
211
212 StTx: begin
213 valid = 1'b1;
214 strb = {IfBytes{1'b1}};
215
216 // transaction accepted
217 if (kmac_data_i.ready) begin
-7-
218 cnt_en = 1'b1;
219
220 // second to last beat
221 if (cnt == CntWidth'(1'b1)) begin
-8-
222 state_d = StTxLast;
==>
223 end
MISSING_ELSE
==>
224 end
MISSING_ELSE
==>
225
226 end
227
228 StTxLast: begin
229 valid = 1'b1;
230 last = 1'b1;
231
232 if (adv_en_i) begin
-9-
233 strb = AdvByteMask;
==>
234 end else if (id_en_i) begin
-10-
235 strb = IdByteMask;
==>
236 end else if (gen_en_i) begin
-11-
237 strb = GenByteMask;
==>
238 end
MISSING_ELSE
==>
239
240 // transaction accepted
241 cnt_clr = kmac_data_i.ready;
242 state_d = kmac_data_i.ready ? StOpWait : StTxLast;
-12-
==>
==>
243
244 end
245
246 StOpWait: begin
247 kmac_done_vld = 1'b1;
248 if (kmac_data_i.done) begin
-13-
249 kmac_error_o = kmac_data_i.error;
==>
250 done_o = 1'b1;
251 state_d = StClean;
252 end
MISSING_ELSE
==>
253 end
254
255 StClean: begin
256 cmd_chk = '0;
257 done_o = 1'b1;
258
259 // wait for control side to ack done by waiting start de-assertion
260 if (!start) begin
-14-
261 done_o = 1'b0;
==>
262 clr_err = 1'b1;
263 state_d = StIdle;
264 end
MISSING_ELSE
==>
265 end
266
267 // trigger error
268 default: begin
269 // This state is terminal
270 done_o = 1'b1;
==>
Branches:
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | -14- | Status | Tests |
| StIdle |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StIdle |
1 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T5,T6 |
| StIdle |
1 |
0 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StIdle |
1 |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
| StIdle |
1 |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
| StIdle |
1 |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StIdle |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| StTx |
- |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StTx |
- |
- |
- |
- |
- |
1 |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StTx |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T21,T22,T23 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
0 |
1 |
- |
- |
- |
- |
Covered |
T2,T5,T6 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
0 |
0 |
1 |
- |
- |
- |
Covered |
T1,T2,T4 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
0 |
0 |
0 |
- |
- |
- |
Covered |
T24,T25,T33 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
Covered |
T1,T2,T4 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
Covered |
T21,T22,T23 |
| StOpWait |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T4 |
| StOpWait |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T4 |
| StClean |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T4 |
| StClean |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
Not Covered |
|
| default |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T12,T13,T14 |
279 if (cnt_err) begin
-1-
280 state_d = StError;
==>
281 fsm_error_o = 1;
282 done_o = 1'b1;
283 end
MISSING_ELSE
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T12,T13,T14 |
| 0 |
Covered |
T1,T2,T3 |
298 if (clr_err) begin
-1-
299 inputs_invalid_d = '0;
==>
300 end else if (valid) begin
-2-
301 inputs_invalid_d[OpAdvance] = adv_en_i & (inputs_invalid_i[OpAdvance] |
==>
302 inputs_invalid_q[OpAdvance]);
303 inputs_invalid_d[OpGenId] = id_en_i & (inputs_invalid_i[OpGenId] |
304 inputs_invalid_q[OpGenId]);
305 inputs_invalid_d[OpGenSwOut] = gen_en_i & (inputs_invalid_i[OpGenSwOut]|
306 inputs_invalid_q[OpGenSwOut]);
307 inputs_invalid_d[OpGenHwOut] = gen_en_i & (inputs_invalid_i[OpGenHwOut]|
308 inputs_invalid_q[OpGenHwOut]);
309 end
MISSING_ELSE
==>
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T4 |
| 0 |
1 |
Covered |
T1,T2,T4 |
| 0 |
0 |
Covered |
T1,T2,T3 |
331 if (|cmd_error_o || inputs_invalid_o || fsm_error_o) begin
-1-
332 kmac_data_o.data = decoy_data;
==>
333 end else if (valid && adv_en_i) begin
-2-
334 kmac_data_o.data = adv_data[adv_sel];
==>
335 end else if (valid && id_en_i) begin
-3-
336 kmac_data_o.data = id_data[id_sel];
==>
337 end else if (valid && gen_en_i) begin
-4-
338 kmac_data_o.data = gen_data[gen_sel];
==>
339 end
MISSING_ELSE
==>
Branches:
| -1- | -2- | -3- | -4- | Status | Tests |
| 1 |
- |
- |
- |
Covered |
T19,T12,T20 |
| 0 |
1 |
- |
- |
Covered |
T1,T2,T4 |
| 0 |
0 |
1 |
- |
Covered |
T2,T5,T6 |
| 0 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
| 0 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
363 if (!rst_ni) begin
-1-
364 enables_q <= '0;
==>
365 end else if (cnt_set) begin
-2-
366 enables_q <= enables_d;
==>
367 end
MISSING_ELSE
==>
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T1,T2,T4 |
| 0 |
0 |
Covered |
T1,T2,T3 |
379 if (!rst_ni) begin
-1-
380 one_hot_err_q <= '0;
==>
381 kmac_done_err_q <= '0;
382 cmd_consty_err_q <= '0;
383 end else begin
384 one_hot_err_q <= one_hot_err_d;
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Module :
keymgr_kmac_if
Assertion Details
AdvRemBytes_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
877 |
877 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T6 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
GenRemBytes_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
877 |
877 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T6 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
IdRemBytes_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
877 |
877 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T6 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
LastStrb_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
22949819 |
15647370 |
0 |
0 |
| T1 |
2525 |
356 |
0 |
0 |
| T2 |
3174 |
320 |
0 |
0 |
| T3 |
1155 |
0 |
0 |
0 |
| T4 |
6014 |
356 |
0 |
0 |
| T5 |
2453 |
320 |
0 |
0 |
| T6 |
3437 |
164 |
0 |
0 |
| T15 |
8336 |
356 |
0 |
0 |
| T16 |
2516 |
0 |
0 |
0 |
| T17 |
5476 |
368 |
0 |
0 |
| T18 |
5706 |
0 |
0 |
0 |
| T21 |
0 |
3245 |
0 |
0 |
| T38 |
0 |
356 |
0 |
0 |
| T39 |
0 |
356 |
0 |
0 |
u_state_regs_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
23384982 |
23226339 |
0 |
0 |
| T1 |
2525 |
2470 |
0 |
0 |
| T2 |
3174 |
3121 |
0 |
0 |
| T3 |
1155 |
1063 |
0 |
0 |
| T4 |
6014 |
5946 |
0 |
0 |
| T5 |
2453 |
2390 |
0 |
0 |
| T6 |
3437 |
3292 |
0 |
0 |
| T15 |
8336 |
8243 |
0 |
0 |
| T16 |
2516 |
2418 |
0 |
0 |
| T17 |
5476 |
5398 |
0 |
0 |
| T18 |
5706 |
5652 |
0 |
0 |
Line Coverage for Instance : tb.dut.u_kmac_if
| Line No. | Total | Covered | Percent |
|---|
| TOTAL | | 112 | 112 | 100.00 |
| CONT_ASSIGN | 134 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 135 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 136 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 138 | 1 | 1 | 100.00 |
| ALWAYS | 161 | 3 | 3 | 100.00 |
| ALWAYS | 169 | 3 | 3 | 100.00 |
| ALWAYS | 172 | 56 | 56 | 100.00 |
| CONT_ASSIGN | 287 | 1 | 1 | 100.00 |
| ALWAYS | 296 | 8 | 8 | 100.00 |
| CONT_ASSIGN | 313 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 318 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 319 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 322 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 323 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 324 | 1 | 1 | 100.00 |
| ALWAYS | 330 | 9 | 9 | 100.00 |
| CONT_ASSIGN | 342 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 343 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 344 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 349 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 351 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 356 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 357 | 1 | 1 | 100.00 |
| ALWAYS | 363 | 4 | 4 | 100.00 |
| CONT_ASSIGN | 369 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 375 | 1 | 1 | 100.00 |
| ALWAYS | 379 | 7 | 7 | 100.00 |
| CONT_ASSIGN | 391 | 1 | 1 | 100.00 |
| CONT_ASSIGN | 394 | 1 | 1 | 100.00 |
133 // this is basically for scenarios where *DataWidth % KmacDataIfWidth != 0
134 1/1 assign adv_data = KDFMaxWidth'(adv_data_i);
Tests: T1 T2 T3
135 1/1 assign id_data = KDFMaxWidth'(id_data_i);
Tests: T1 T2 T3
136 1/1 assign gen_data = KDFMaxWidth'(gen_data_i);
Tests: T1 T2 T3
137
138 1/1 assign start = adv_en_i | id_en_i | gen_en_i;
Tests: T1 T2 T3
139
140 logic cnt_err;
141 // SEC_CM: KMAC_IF.CTR.REDUN
142 prim_count #(
143 .Width(CntWidth),
144 .ResetValue({CntWidth{1'b1}})
145 ) u_cnt (
146 .clk_i,
147 .rst_ni,
148 .clr_i(cnt_clr),
149 .set_i(cnt_set),
150 .set_cnt_i(rounds),
151 .incr_en_i(1'b0),
152 .decr_en_i(cnt_en),
153 .step_i(CntWidth'(1'b1)),
154 .commit_i(1'b1),
155 .cnt_o(cnt),
156 .cnt_after_commit_o(),
157 .err_o(cnt_err)
158 );
159
160 always_ff @(posedge clk_i or negedge rst_ni) begin
161 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
162 1/1 inputs_invalid_q <= '0;
Tests: T1 T2 T3
163 end else begin
164 1/1 inputs_invalid_q <= inputs_invalid_d;
Tests: T1 T2 T3
165 end
166 end
167
168 // SEC_CM: KMAC_IF.FSM.SPARSE
169 3/3 `PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, data_state_e, StIdle)
Tests: T1 T2 T3 | T1 T2 T3 | T1 T2 T3
PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, data_state_e, StIdle):
169.1 `ifdef SIMULATION
169.2 prim_sparse_fsm_flop #(
169.3 .StateEnumT(data_state_e),
169.4 .Width($bits(data_state_e)),
169.5 .ResetValue($bits(data_state_e)'(StIdle)),
169.6 .EnableAlertTriggerSVA(1),
169.7 .CustomForceName("state_q")
169.8 ) u_state_regs (
169.9 .clk_i ( clk_i ),
169.10 .rst_ni ( rst_ni ),
169.11 .state_i ( state_d ),
169.12 .state_o ( )
169.13 );
169.14 always_ff @(posedge clk_i or negedge rst_ni) begin
169.15 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
169.16 1/1 state_q <= StIdle;
Tests: T1 T2 T3
169.17 end else begin
169.18 1/1 state_q <= state_d;
Tests: T1 T2 T3
169.19 end
169.20 end
169.21 u_state_regs_A: assert property (@(posedge clk_i) disable iff ((!rst_ni) !== '0) (state_q === u_state_regs.state_o))
169.22 else begin
169.23 `ifdef UVM
169.24 uvm_pkg::uvm_report_error("ASSERT FAILED", "u_state_regs_A", uvm_pkg::UVM_NONE,
169.25 "../src/lowrisc_ip_keymgr_0.1/rtl/keymgr_kmac_if.sv", 169, "", 1);
169.26 `else
169.27 $error("%0t: (%0s:%0d) [%m] [ASSERT FAILED] %0s", $time, `__FILE__, `__LINE__,
169.28 `PRIM_STRINGIFY(u_state_regs_A));
169.29 `endif
169.30 end
169.31 `else
169.32 prim_sparse_fsm_flop #(
169.33 .StateEnumT(data_state_e),
169.34 .Width($bits(data_state_e)),
169.35 .ResetValue($bits(data_state_e)'(StIdle)),
169.36 .EnableAlertTriggerSVA(1)
169.37 ) u_state_regs (
169.38 .clk_i ( `PRIM_FLOP_CLK ),
169.39 .rst_ni ( `PRIM_FLOP_RST ),
169.40 .state_i ( state_d ),
169.41 .state_o ( state_q )
169.42 );
169.43 `endif170
171 always_comb begin
172 1/1 cnt_clr = 1'b0;
Tests: T1 T2 T3
173 1/1 cnt_set = 1'b0;
Tests: T1 T2 T3
174 1/1 cnt_en = 1'b0;
Tests: T1 T2 T3
175 1/1 valid = 1'b0;
Tests: T1 T2 T3
176 1/1 last = 1'b0;
Tests: T1 T2 T3
177 1/1 strb = '0;
Tests: T1 T2 T3
178 1/1 done_o = 1'b0;
Tests: T1 T2 T3
179 1/1 state_d = state_q;
Tests: T1 T2 T3
180 1/1 rounds = '0;
Tests: T1 T2 T3
181
182 1/1 clr_err = '0;
Tests: T1 T2 T3
183 1/1 fsm_error_o = '0;
Tests: T1 T2 T3
184 1/1 kmac_error_o = '0;
Tests: T1 T2 T3
185
186 1/1 kmac_done_vld = '0;
Tests: T1 T2 T3
187
188 1/1 cmd_chk = 1'b1;
Tests: T1 T2 T3
189
190 1/1 unique case (state_q)
Tests: T1 T2 T3
191
192 StIdle: begin
193 // if for some reason multiple bits are set, adv_en has priority
194 // as the current key state will be destroyed
195
196 // cross check for commands once transaction begins
197 1/1 cmd_chk = '0;
Tests: T1 T2 T3
198 1/1 if (start) begin
Tests: T1 T2 T3
199 1/1 cnt_set = 1'b1;
Tests: T1 T2 T4
200 1/1 if (adv_en_i) begin
Tests: T1 T2 T4
201 1/1 rounds = LastAdvRound;
Tests: T1 T2 T4
202 1/1 end else if (id_en_i) begin
Tests: T1 T2 T4
203 1/1 rounds = LastIdRound;
Tests: T2 T5 T6
204 1/1 end else if (gen_en_i) begin
Tests: T1 T2 T4
205 1/1 rounds = LastGenRound;
Tests: T1 T2 T4
206 end
==> MISSING_ELSE
207 // in case we are sending only 1 entry
208 1/1 state_d = (rounds == 0) ? StTxLast : StTx;
Tests: T1 T2 T4
209 end
MISSING_ELSE
210 end
211
212 StTx: begin
213 1/1 valid = 1'b1;
Tests: T1 T2 T4
214 1/1 strb = {IfBytes{1'b1}};
Tests: T1 T2 T4
215
216 // transaction accepted
217 1/1 if (kmac_data_i.ready) begin
Tests: T1 T2 T4
218 1/1 cnt_en = 1'b1;
Tests: T1 T2 T4
219
220 // second to last beat
221 1/1 if (cnt == CntWidth'(1'b1)) begin
Tests: T1 T2 T4
222 1/1 state_d = StTxLast;
Tests: T1 T2 T4
223 end
MISSING_ELSE
224 end
MISSING_ELSE
225
226 end
227
228 StTxLast: begin
229 1/1 valid = 1'b1;
Tests: T1 T2 T4
230 1/1 last = 1'b1;
Tests: T1 T2 T4
231
232 1/1 if (adv_en_i) begin
Tests: T1 T2 T4
233 1/1 strb = AdvByteMask;
Tests: T1 T2 T4
234 1/1 end else if (id_en_i) begin
Tests: T1 T2 T4
235 1/1 strb = IdByteMask;
Tests: T2 T5 T6
236 1/1 end else if (gen_en_i) begin
Tests: T1 T2 T4
237 1/1 strb = GenByteMask;
Tests: T1 T2 T4
238 end
MISSING_ELSE
239
240 // transaction accepted
241 1/1 cnt_clr = kmac_data_i.ready;
Tests: T1 T2 T4
242 1/1 state_d = kmac_data_i.ready ? StOpWait : StTxLast;
Tests: T1 T2 T4
243
244 end
245
246 StOpWait: begin
247 1/1 kmac_done_vld = 1'b1;
Tests: T1 T2 T4
248 1/1 if (kmac_data_i.done) begin
Tests: T1 T2 T4
249 1/1 kmac_error_o = kmac_data_i.error;
Tests: T1 T2 T4
250 1/1 done_o = 1'b1;
Tests: T1 T2 T4
251 1/1 state_d = StClean;
Tests: T1 T2 T4
252 end
MISSING_ELSE
253 end
254
255 StClean: begin
256 1/1 cmd_chk = '0;
Tests: T1 T2 T4
257 1/1 done_o = 1'b1;
Tests: T1 T2 T4
258
259 // wait for control side to ack done by waiting start de-assertion
260 1/1 if (!start) begin
Tests: T1 T2 T4
261 1/1 done_o = 1'b0;
Tests: T1 T2 T4
262 1/1 clr_err = 1'b1;
Tests: T1 T2 T4
263 1/1 state_d = StIdle;
Tests: T1 T2 T4
264 end
==> MISSING_ELSE
265 end
266
267 // trigger error
268 default: begin
269 // This state is terminal
270 done_o = 1'b1;
271 fsm_error_o = 1'b1;
272 end
273
274 endcase // unique case (state_q)
275
276 // unconditional error transitions
277 // counter errors may disturb the fsm flow and are
278 // treated like fsm errors
279 1/1 if (cnt_err) begin
Tests: T1 T2 T3
280 1/1 state_d = StError;
Tests: T12 T13 T14
281 1/1 fsm_error_o = 1;
Tests: T12 T13 T14
282 1/1 done_o = 1'b1;
Tests: T12 T13 T14
283 end
MISSING_ELSE
284 end
285
286 // when transaction is not complete, populate the data with random
287 1/1 assign data_o = start && done_o ?
Tests: T1 T2 T3
288 {kmac_data_i.digest_share1,
289 kmac_data_i.digest_share0} :
290 {{DecoyOutputCopies{entropy_i[1]}},
291 {DecoyOutputCopies{entropy_i[0]}}};
292
293 // The input invalid check is done whenever transactions are ongoing with kmac
294 // once set, it cannot be unset until transactions are fully complete
295 always_comb begin
296 1/1 inputs_invalid_d = inputs_invalid_q;
Tests: T1 T2 T3
297
298 1/1 if (clr_err) begin
Tests: T1 T2 T3
299 1/1 inputs_invalid_d = '0;
Tests: T1 T2 T4
300 1/1 end else if (valid) begin
Tests: T1 T2 T3
301 1/1 inputs_invalid_d[OpAdvance] = adv_en_i & (inputs_invalid_i[OpAdvance] |
Tests: T1 T2 T4
302 inputs_invalid_q[OpAdvance]);
303 1/1 inputs_invalid_d[OpGenId] = id_en_i & (inputs_invalid_i[OpGenId] |
Tests: T1 T2 T4
304 inputs_invalid_q[OpGenId]);
305 1/1 inputs_invalid_d[OpGenSwOut] = gen_en_i & (inputs_invalid_i[OpGenSwOut]|
Tests: T1 T2 T4
306 inputs_invalid_q[OpGenSwOut]);
307 1/1 inputs_invalid_d[OpGenHwOut] = gen_en_i & (inputs_invalid_i[OpGenHwOut]|
Tests: T1 T2 T4
308 inputs_invalid_q[OpGenHwOut]);
309 end
MISSING_ELSE
310 end
311
312 // immediately assert errors
313 1/1 assign inputs_invalid_o = |inputs_invalid_d;
Tests: T1 T2 T3
314
315 // Permute Share 1 of the entropy input once more to get the decoy data.
316 // Share 0 and 1 are used as is for data_o (connected to the sideload ports).
317 logic [RandWidth-1:0] decoy_entropy;
318 1/1 assign decoy_entropy = perm_data(entropy_i[1], RndCnstRandPerm);
Tests: T1 T2 T3
319 1/1 assign decoy_data = {DecoyCopies{decoy_entropy}};
Tests: T1 T2 T3
320
321 logic [CntWidth-1:0] adv_sel, id_sel, gen_sel;
322 1/1 assign adv_sel = LastAdvRound - cnt;
Tests: T1 T2 T3
323 1/1 assign id_sel = LastIdRound - cnt;
Tests: T1 T2 T3
324 1/1 assign gen_sel = LastGenRound - cnt;
Tests: T1 T2 T3
325
326 // The count is maintained as a downcount
327 // so a subtract is necessary to send the right byte
328 // alternatively we can also reverse the order of the input
329 always_comb begin
330 1/1 kmac_data_o.data = decoy_data;
Tests: T1 T2 T3
331 1/1 if (|cmd_error_o || inputs_invalid_o || fsm_error_o) begin
Tests: T1 T2 T3
332 1/1 kmac_data_o.data = decoy_data;
Tests: T19 T12 T20
333 1/1 end else if (valid && adv_en_i) begin
Tests: T1 T2 T3
334 1/1 kmac_data_o.data = adv_data[adv_sel];
Tests: T1 T2 T4
335 1/1 end else if (valid && id_en_i) begin
Tests: T1 T2 T3
336 1/1 kmac_data_o.data = id_data[id_sel];
Tests: T2 T5 T6
337 1/1 end else if (valid && gen_en_i) begin
Tests: T1 T2 T3
338 1/1 kmac_data_o.data = gen_data[gen_sel];
Tests: T1 T2 T4
339 end
MISSING_ELSE
340 end
341
342 1/1 assign kmac_data_o.valid = valid;
Tests: T1 T2 T3
343 1/1 assign kmac_data_o.last = last;
Tests: T1 T2 T3
344 1/1 assign kmac_data_o.strb = strb;
Tests: T1 T2 T3
345
346 // kmac done is asserted outside of expected window
347 // SEC_CM: KMAC_IF_DONE.CTRL.CONSISTENCY
348 logic kmac_done_err_q, kmac_done_err_d;
349 1/1 assign kmac_done_err_d = ~kmac_done_vld & kmac_data_i.done |
Tests: T1 T2 T3
350 kmac_done_err_q;
351 1/1 assign kmac_done_error_o = kmac_done_err_q;
Tests: T1 T2 T3
352
353
354 // the enables must be 1 hot
355 logic [2:0] enables_d, enables_q, enables_sub;
356 1/1 assign enables_d = {adv_en_i, id_en_i, gen_en_i};
Tests: T1 T2 T3
357 1/1 assign enables_sub = enables_d - 1'b1;
Tests: T1 T2 T3
358
359 // cross check to ensure the one-hot command that kicked off
360 // the transaction remains consistent throughout.
361 logic cmd_consty_err_q, cmd_consty_err_d;
362 always_ff @(posedge clk_i or negedge rst_ni) begin
363 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
364 1/1 enables_q <= '0;
Tests: T1 T2 T3
365 1/1 end else if (cnt_set) begin
Tests: T1 T2 T3
366 1/1 enables_q <= enables_d;
Tests: T1 T2 T4
367 end
MISSING_ELSE
368 end
369 1/1 assign cmd_consty_err_d = (cmd_chk & (enables_q != enables_d)) |
Tests: T1 T2 T3
370 cmd_consty_err_q;
371
372 // if a one hot error occurs, latch onto it permanently
373 // SEC_CM: KMAC_IF_CMD.CTRL.CONSISTENCY
374 logic one_hot_err_q, one_hot_err_d;
375 1/1 assign one_hot_err_d = |(enables_d & enables_sub) |
Tests: T1 T2 T3
376 one_hot_err_q;
377
378 always_ff @(posedge clk_i or negedge rst_ni) begin
379 1/1 if (!rst_ni) begin
Tests: T1 T2 T3
380 1/1 one_hot_err_q <= '0;
Tests: T1 T2 T3
381 1/1 kmac_done_err_q <= '0;
Tests: T1 T2 T3
382 1/1 cmd_consty_err_q <= '0;
Tests: T1 T2 T3
383 end else begin
384 1/1 one_hot_err_q <= one_hot_err_d;
Tests: T1 T2 T3
385 1/1 kmac_done_err_q <= kmac_done_err_d;
Tests: T1 T2 T3
386 1/1 cmd_consty_err_q <= cmd_consty_err_d;
Tests: T1 T2 T3
387 end
388 end
389
390 // command error occurs if kmac errors or if the command itself is invalid
391 1/1 assign cmd_error_o = one_hot_err_q | cmd_consty_err_q;
Tests: T1 T2 T3
392
393 // request entropy to churn whenever a transaction is accepted
394 1/1 assign prng_en_o = kmac_data_o.valid & kmac_data_i.ready;
Tests: T1 T2 T3
Cond Coverage for Instance : tb.dut.u_kmac_if
| Total | Covered | Percent |
|---|
| Conditions | 77 | 70 | 90.91 |
| Logical | 77 | 70 | 90.91 |
| Non-Logical | 0 | 0 | |
| Event | 0 | 0 | |
LINE 138
EXPRESSION (adv_en_i | id_en_i | gen_en_i)
----1--- ---2--- ----3---
| -1- | -2- | -3- | Status | Tests |
|---|
| 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 1 | Covered | T1,T2,T4 |
| 0 | 1 | 0 | Covered | T2,T5,T6 |
| 1 | 0 | 0 | Covered | T1,T2,T4 |
LINE 208
EXPRESSION ((rounds == 5'b0) ? StTxLast : StTx)
--------1-------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T4 |
| 1 | Not Covered | |
LINE 208
SUB-EXPRESSION (rounds == 5'b0)
--------1-------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T4 |
| 1 | Not Covered | |
LINE 221
EXPRESSION (cnt == 5'(1'b1))
--------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T4 |
| 1 | Covered | T1,T2,T4 |
LINE 242
EXPRESSION (kmac_data_i.ready ? StOpWait : StTxLast)
--------1--------
| -1- | Status | Tests |
|---|
| 0 | Covered | T21,T22,T23 |
| 1 | Covered | T1,T2,T4 |
LINE 287
EXPRESSION
Number Term
1 (start && done_o) ? ({kmac_data_i.digest_share1, kmac_data_i.digest_share0}) : ({{DecoyOutputCopies {entropy_i[1]}}, {DecoyOutputCopies {entropy_i[0]}}}))
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 287
SUB-EXPRESSION (start && done_o)
--1-- ---2--
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T12,T24,T25 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 301
EXPRESSION (adv_en_i & (inputs_invalid_i[OpAdvance] | inputs_invalid_q[OpAdvance]))
----1--- -----------------------------2-----------------------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T26,T27,T28 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T20,T29,T30 |
LINE 301
SUB-EXPRESSION (inputs_invalid_i[OpAdvance] | inputs_invalid_q[OpAdvance])
-------------1------------- -------------2-------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T4 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T20,T29,T30 |
LINE 303
EXPRESSION (id_en_i & (inputs_invalid_i[OpGenId] | inputs_invalid_q[OpGenId]))
---1--- ---------------------------2---------------------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T26,T27,T28 |
| 1 | 0 | Covered | T2,T5,T6 |
| 1 | 1 | Not Covered | |
LINE 303
SUB-EXPRESSION (inputs_invalid_i[OpGenId] | inputs_invalid_q[OpGenId])
------------1------------ ------------2------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T4 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T26,T27,T28 |
LINE 305
EXPRESSION (gen_en_i & (inputs_invalid_i[OpGenSwOut] | inputs_invalid_q[OpGenSwOut]))
----1--- ------------------------------2------------------------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T6,T17,T19 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T19,T20,T31 |
LINE 305
SUB-EXPRESSION (inputs_invalid_i[OpGenSwOut] | inputs_invalid_q[OpGenSwOut])
--------------1------------- --------------2-------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T4 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T6,T17,T19 |
LINE 307
EXPRESSION (gen_en_i & (inputs_invalid_i[OpGenHwOut] | inputs_invalid_q[OpGenHwOut]))
----1--- ------------------------------2------------------------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T6,T17,T19 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T19,T20,T31 |
LINE 307
SUB-EXPRESSION (inputs_invalid_i[OpGenHwOut] | inputs_invalid_q[OpGenHwOut])
--------------1------------- --------------2-------------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T4 |
| 0 | 1 | Not Covered | |
| 1 | 0 | Covered | T6,T17,T19 |
LINE 331
EXPRESSION (((|cmd_error_o)) || inputs_invalid_o || fsm_error_o)
--------1------- --------2------- -----3-----
| -1- | -2- | -3- | Status | Tests |
|---|
| 0 | 0 | 0 | Covered | T1,T2,T3 |
| 0 | 0 | 1 | Covered | T12,T13,T14 |
| 0 | 1 | 0 | Covered | T19,T20,T31 |
| 1 | 0 | 0 | Covered | T24,T25,T32 |
LINE 333
EXPRESSION (valid && adv_en_i)
--1-- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 335
EXPRESSION (valid && id_en_i)
--1-- ---2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T2,T5,T6 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T2,T5,T6 |
LINE 337
EXPRESSION (valid && gen_en_i)
--1-- ----2---
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T25,T33,T34 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 349
EXPRESSION ((((~kmac_done_vld)) & kmac_data_i.done) | kmac_done_err_q)
-------------------1------------------- -------2-------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T22,T35,T36 |
| 1 | 0 | Covered | T1,T2,T4 |
LINE 349
SUB-EXPRESSION (((~kmac_done_vld)) & kmac_data_i.done)
---------1-------- --------2-------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T1,T2,T3 |
| 1 | 1 | Covered | T1,T2,T4 |
LINE 369
EXPRESSION ((cmd_chk & (enables_q != enables_d)) | cmd_consty_err_q)
------------------1----------------- --------2-------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T24,T25,T32 |
| 1 | 0 | Covered | T24,T25,T32 |
LINE 369
SUB-EXPRESSION (cmd_chk & (enables_q != enables_d))
---1--- ------------2-----------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T4 |
| 1 | 0 | Covered | T1,T2,T4 |
| 1 | 1 | Covered | T24,T25,T32 |
LINE 369
SUB-EXPRESSION (enables_q != enables_d)
------------1-----------
| -1- | Status | Tests |
|---|
| 0 | Covered | T1,T2,T3 |
| 1 | Covered | T1,T2,T4 |
LINE 375
EXPRESSION (((|(enables_d & enables_sub))) | one_hot_err_q)
---------------1-------------- ------2------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T24,T32,T26 |
| 1 | 0 | Covered | T24,T32,T26 |
LINE 391
EXPRESSION (one_hot_err_q | cmd_consty_err_q)
------1------ --------2-------
| -1- | -2- | Status | Tests |
|---|
| 0 | 0 | Covered | T1,T2,T3 |
| 0 | 1 | Covered | T25,T33,T34 |
| 1 | 0 | Covered | T24,T26,T37 |
LINE 394
EXPRESSION (kmac_data_o.valid & kmac_data_i.ready)
--------1-------- --------2--------
| -1- | -2- | Status | Tests |
|---|
| 0 | 1 | Covered | T1,T2,T3 |
| 1 | 0 | Covered | T21,T22,T23 |
| 1 | 1 | Covered | T1,T2,T4 |
FSM Coverage for Instance : tb.dut.u_kmac_if
Summary for FSM :: state_q
| Total | Covered | Percent | |
| States |
6 |
6 |
100.00 |
(Not included in score) |
| Transitions |
6 |
6 |
100.00 |
|
| Sequences |
0 |
0 |
|
|
State, Transition and Sequence Details for FSM :: state_q
| states | Line No. | Covered | Tests |
| StClean |
251 |
Covered |
T1,T2,T4 |
| StError |
280 |
Covered |
T12,T13,T14 |
| StIdle |
263 |
Covered |
T1,T2,T3 |
| StOpWait |
242 |
Covered |
T1,T2,T4 |
| StTx |
208 |
Covered |
T1,T2,T4 |
| StTxLast |
208 |
Covered |
T1,T2,T4 |
| transitions | Line No. | Covered | Tests |
| StClean->StError |
280 |
Excluded |
|
| StClean->StIdle |
263 |
Covered |
T1,T2,T4 |
| StIdle->StError |
280 |
Covered |
T12,T13,T14 |
| StIdle->StTx |
208 |
Covered |
T1,T2,T4 |
| StIdle->StTxLast |
208 |
Excluded |
|
| StOpWait->StClean |
251 |
Covered |
T1,T2,T4 |
| StOpWait->StError |
280 |
Excluded |
|
| StTx->StError |
280 |
Excluded |
|
| StTx->StTxLast |
222 |
Covered |
T1,T2,T4 |
| StTxLast->StError |
280 |
Excluded |
|
| StTxLast->StOpWait |
242 |
Covered |
T1,T2,T4 |
Branch Coverage for Instance : tb.dut.u_kmac_if
| Line No. | Total | Covered | Percent |
| Branches |
|
42 |
39 |
92.86 |
| TERNARY |
287 |
2 |
2 |
100.00 |
| IF |
161 |
2 |
2 |
100.00 |
| IF |
169 |
2 |
2 |
100.00 |
| CASE |
190 |
21 |
18 |
85.71 |
| IF |
279 |
2 |
2 |
100.00 |
| IF |
298 |
3 |
3 |
100.00 |
| IF |
331 |
5 |
5 |
100.00 |
| IF |
363 |
3 |
3 |
100.00 |
| IF |
379 |
2 |
2 |
100.00 |
287 assign data_o = start && done_o ?
-1-
==>
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T4 |
| 0 |
Covered |
T1,T2,T3 |
161 if (!rst_ni) begin
-1-
162 inputs_invalid_q <= '0;
==>
163 end else begin
164 inputs_invalid_q <= inputs_invalid_d;
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
169 `PRIM_FLOP_SPARSE_FSM(u_state_regs, state_d, state_q, data_state_e, StIdle)
-1-
==>
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
190 unique case (state_q)
-1-
191
192 StIdle: begin
193 // if for some reason multiple bits are set, adv_en has priority
194 // as the current key state will be destroyed
195
196 // cross check for commands once transaction begins
197 cmd_chk = '0;
198 if (start) begin
-2-
199 cnt_set = 1'b1;
200 if (adv_en_i) begin
-3-
201 rounds = LastAdvRound;
==>
202 end else if (id_en_i) begin
-4-
203 rounds = LastIdRound;
==>
204 end else if (gen_en_i) begin
-5-
205 rounds = LastGenRound;
==>
206 end
MISSING_ELSE
==>
207 // in case we are sending only 1 entry
208 state_d = (rounds == 0) ? StTxLast : StTx;
-6-
==>
==>
209 end
MISSING_ELSE
==>
210 end
211
212 StTx: begin
213 valid = 1'b1;
214 strb = {IfBytes{1'b1}};
215
216 // transaction accepted
217 if (kmac_data_i.ready) begin
-7-
218 cnt_en = 1'b1;
219
220 // second to last beat
221 if (cnt == CntWidth'(1'b1)) begin
-8-
222 state_d = StTxLast;
==>
223 end
MISSING_ELSE
==>
224 end
MISSING_ELSE
==>
225
226 end
227
228 StTxLast: begin
229 valid = 1'b1;
230 last = 1'b1;
231
232 if (adv_en_i) begin
-9-
233 strb = AdvByteMask;
==>
234 end else if (id_en_i) begin
-10-
235 strb = IdByteMask;
==>
236 end else if (gen_en_i) begin
-11-
237 strb = GenByteMask;
==>
238 end
MISSING_ELSE
==>
239
240 // transaction accepted
241 cnt_clr = kmac_data_i.ready;
242 state_d = kmac_data_i.ready ? StOpWait : StTxLast;
-12-
==>
==>
243
244 end
245
246 StOpWait: begin
247 kmac_done_vld = 1'b1;
248 if (kmac_data_i.done) begin
-13-
249 kmac_error_o = kmac_data_i.error;
==>
250 done_o = 1'b1;
251 state_d = StClean;
252 end
MISSING_ELSE
==>
253 end
254
255 StClean: begin
256 cmd_chk = '0;
257 done_o = 1'b1;
258
259 // wait for control side to ack done by waiting start de-assertion
260 if (!start) begin
-14-
261 done_o = 1'b0;
==>
262 clr_err = 1'b1;
263 state_d = StIdle;
264 end
MISSING_ELSE
==>
265 end
266
267 // trigger error
268 default: begin
269 // This state is terminal
270 done_o = 1'b1;
==>
Branches:
| -1- | -2- | -3- | -4- | -5- | -6- | -7- | -8- | -9- | -10- | -11- | -12- | -13- | -14- | Status | Tests |
| StIdle |
1 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StIdle |
1 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T2,T5,T6 |
| StIdle |
1 |
0 |
0 |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StIdle |
1 |
0 |
0 |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
| StIdle |
1 |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
- |
- |
- |
Not Covered |
|
| StIdle |
1 |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StIdle |
0 |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T3 |
| StTx |
- |
- |
- |
- |
- |
1 |
1 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StTx |
- |
- |
- |
- |
- |
1 |
0 |
- |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StTx |
- |
- |
- |
- |
- |
0 |
- |
- |
- |
- |
- |
- |
- |
Covered |
T21,T22,T23 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
- |
- |
- |
Covered |
T1,T2,T4 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
0 |
1 |
- |
- |
- |
- |
Covered |
T2,T5,T6 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
0 |
0 |
1 |
- |
- |
- |
Covered |
T1,T2,T4 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
0 |
0 |
0 |
- |
- |
- |
Covered |
T24,T25,T33 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
- |
Covered |
T1,T2,T4 |
| StTxLast |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
- |
Covered |
T21,T22,T23 |
| StOpWait |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
- |
Covered |
T1,T2,T4 |
| StOpWait |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
- |
Covered |
T1,T2,T4 |
| StClean |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
1 |
Covered |
T1,T2,T4 |
| StClean |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
0 |
Not Covered |
|
| default |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
- |
Covered |
T12,T13,T14 |
279 if (cnt_err) begin
-1-
280 state_d = StError;
==>
281 fsm_error_o = 1;
282 done_o = 1'b1;
283 end
MISSING_ELSE
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T12,T13,T14 |
| 0 |
Covered |
T1,T2,T3 |
298 if (clr_err) begin
-1-
299 inputs_invalid_d = '0;
==>
300 end else if (valid) begin
-2-
301 inputs_invalid_d[OpAdvance] = adv_en_i & (inputs_invalid_i[OpAdvance] |
==>
302 inputs_invalid_q[OpAdvance]);
303 inputs_invalid_d[OpGenId] = id_en_i & (inputs_invalid_i[OpGenId] |
304 inputs_invalid_q[OpGenId]);
305 inputs_invalid_d[OpGenSwOut] = gen_en_i & (inputs_invalid_i[OpGenSwOut]|
306 inputs_invalid_q[OpGenSwOut]);
307 inputs_invalid_d[OpGenHwOut] = gen_en_i & (inputs_invalid_i[OpGenHwOut]|
308 inputs_invalid_q[OpGenHwOut]);
309 end
MISSING_ELSE
==>
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T4 |
| 0 |
1 |
Covered |
T1,T2,T4 |
| 0 |
0 |
Covered |
T1,T2,T3 |
331 if (|cmd_error_o || inputs_invalid_o || fsm_error_o) begin
-1-
332 kmac_data_o.data = decoy_data;
==>
333 end else if (valid && adv_en_i) begin
-2-
334 kmac_data_o.data = adv_data[adv_sel];
==>
335 end else if (valid && id_en_i) begin
-3-
336 kmac_data_o.data = id_data[id_sel];
==>
337 end else if (valid && gen_en_i) begin
-4-
338 kmac_data_o.data = gen_data[gen_sel];
==>
339 end
MISSING_ELSE
==>
Branches:
| -1- | -2- | -3- | -4- | Status | Tests |
| 1 |
- |
- |
- |
Covered |
T19,T12,T20 |
| 0 |
1 |
- |
- |
Covered |
T1,T2,T4 |
| 0 |
0 |
1 |
- |
Covered |
T2,T5,T6 |
| 0 |
0 |
0 |
1 |
Covered |
T1,T2,T4 |
| 0 |
0 |
0 |
0 |
Covered |
T1,T2,T3 |
363 if (!rst_ni) begin
-1-
364 enables_q <= '0;
==>
365 end else if (cnt_set) begin
-2-
366 enables_q <= enables_d;
==>
367 end
MISSING_ELSE
==>
Branches:
| -1- | -2- | Status | Tests |
| 1 |
- |
Covered |
T1,T2,T3 |
| 0 |
1 |
Covered |
T1,T2,T4 |
| 0 |
0 |
Covered |
T1,T2,T3 |
379 if (!rst_ni) begin
-1-
380 one_hot_err_q <= '0;
==>
381 kmac_done_err_q <= '0;
382 cmd_consty_err_q <= '0;
383 end else begin
384 one_hot_err_q <= one_hot_err_d;
==>
Branches:
| -1- | Status | Tests |
| 1 |
Covered |
T1,T2,T3 |
| 0 |
Covered |
T1,T2,T3 |
Assert Coverage for Instance : tb.dut.u_kmac_if
Assertion Details
AdvRemBytes_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
877 |
877 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T6 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
GenRemBytes_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
877 |
877 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T6 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
IdRemBytes_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
877 |
877 |
0 |
0 |
| T1 |
1 |
1 |
0 |
0 |
| T2 |
1 |
1 |
0 |
0 |
| T3 |
1 |
1 |
0 |
0 |
| T4 |
1 |
1 |
0 |
0 |
| T5 |
1 |
1 |
0 |
0 |
| T6 |
1 |
1 |
0 |
0 |
| T15 |
1 |
1 |
0 |
0 |
| T16 |
1 |
1 |
0 |
0 |
| T17 |
1 |
1 |
0 |
0 |
| T18 |
1 |
1 |
0 |
0 |
LastStrb_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
22949819 |
15647370 |
0 |
0 |
| T1 |
2525 |
356 |
0 |
0 |
| T2 |
3174 |
320 |
0 |
0 |
| T3 |
1155 |
0 |
0 |
0 |
| T4 |
6014 |
356 |
0 |
0 |
| T5 |
2453 |
320 |
0 |
0 |
| T6 |
3437 |
164 |
0 |
0 |
| T15 |
8336 |
356 |
0 |
0 |
| T16 |
2516 |
0 |
0 |
0 |
| T17 |
5476 |
368 |
0 |
0 |
| T18 |
5706 |
0 |
0 |
0 |
| T21 |
0 |
3245 |
0 |
0 |
| T38 |
0 |
356 |
0 |
0 |
| T39 |
0 |
356 |
0 |
0 |
u_state_regs_A
| Name | Attempts | Real Successes | Failures | Incomplete |
| Total |
23384982 |
23226339 |
0 |
0 |
| T1 |
2525 |
2470 |
0 |
0 |
| T2 |
3174 |
3121 |
0 |
0 |
| T3 |
1155 |
1063 |
0 |
0 |
| T4 |
6014 |
5946 |
0 |
0 |
| T5 |
2453 |
2390 |
0 |
0 |
| T6 |
3437 |
3292 |
0 |
0 |
| T15 |
8336 |
8243 |
0 |
0 |
| T16 |
2516 |
2418 |
0 |
0 |
| T17 |
5476 |
5398 |
0 |
0 |
| T18 |
5706 |
5652 |
0 |
0 |