Unified Coverage Report :: Module :: otp_ctrl_kdi

Module : otp_ctrl_kdi

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
93.11	98.65	94.44		83.33	89.13	100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.u_otp_ctrl_kdi	96.27	99.32	100.00		90.91	91.11	100.00

---

Module Instance : tb.dut.u_otp_ctrl_kdi

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.27	99.32	100.00		90.91	91.11	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
97.21	99.63	99.64	100.00	90.91	95.70	97.37

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.22	94.16	96.15	97.20		96.43	97.18	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
u_flash_addr_key_anchor	100.00	100.00
u_flash_data_key_anchor	100.00	100.00
u_key_out_anchor	100.00	100.00				100.00
u_prim_count_entropy	100.00			100.00
u_prim_count_seed	100.00			100.00
u_req_arb	98.34	100.00	99.62			100.00	93.75
u_sram_data_key_anchor	100.00	100.00
u_state_regs	100.00	100.00				100.00	100.00

Line Coverage for Module : otp_ctrl_kdi

	Line No.	Total	Covered	Percent
TOTAL		148	146	98.65
CONT_ASSIGN	113	1	1	100.00
CONT_ASSIGN	114	1	1	100.00
CONT_ASSIGN	115	1	1	100.00
CONT_ASSIGN	117	1	1	100.00
CONT_ASSIGN	118	1	1	100.00
CONT_ASSIGN	119	1	1	100.00
CONT_ASSIGN	148	1	1	100.00
CONT_ASSIGN	156	1	1	100.00
CONT_ASSIGN	164	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
ALWAYS	259	9	9	100.00
CONT_ASSIGN	284	1	1	100.00
CONT_ASSIGN	285	1	1	100.00
CONT_ASSIGN	286	1	1	100.00
CONT_ASSIGN	288	1	1	100.00
CONT_ASSIGN	289	1	1	100.00
CONT_ASSIGN	290	1	1	100.00
CONT_ASSIGN	293	1	1	100.00
CONT_ASSIGN	293	1	1	100.00
CONT_ASSIGN	293	1	1	100.00
CONT_ASSIGN	293	1	1	100.00
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	305	1	1	100.00
CONT_ASSIGN	354	1	1	100.00
ALWAYS	357	88	86	97.73
ALWAYS	573	3	3	100.00
ALWAYS	576	7	7	100.00

WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv' was not found, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
113	1	1
114	1	1
115	1	1
117	1	1
118	1	1
119	1	1
148	1	1
156	1	1
164	1	1
175	4	4
176	4	4
177	4	4
259	1	1
260	1	1
261	1	1
262	1	1
263	1	1
			MISSING_ELSE
265	1	1
266	1	1
			MISSING_ELSE
268	1	1
269	1	1
			MISSING_ELSE
284	1	1
285	1	1
286	1	1
288	1	1
289	1	1
290	1	1
293	4	4
294	4	4
295	4	4
305	1	1
354	1	1
357	1	1
360	1	1
363	1	1
364	1	1
365	1	1
366	1	1
373	1	1
376	1	1
377	1	1
378	1	1
379	1	1
382	1	1
383	1	1
384	1	1
385	1	1
387	1	1
390	1	1
392	1	1
396	1	1
397	1	1
			MISSING_ELSE
403	1	1
404	1	1
405	1	1
406	1	1
			MISSING_ELSE
412	1	1
413	1	1
415	1	1
416	1	1
417	1	1
			MISSING_ELSE
423	1	1
424	1	1
426	1	1
427	1	1
428	1	1
430	1	1
431	1	1
434	1	1
			==> MISSING_ELSE
438	1	1
439	1	1
			==> MISSING_ELSE
445	1	1
446	1	1
447	1	1
448	1	1
450	1	1
451	1	1
452	1	1
455	1	1
			MISSING_ELSE
462	1	1
463	1	1
464	1	1
467	1	1
468	1	1
469	1	1
470	1	1
471	1	1
			==> MISSING_ELSE
474	1	1
475	1	1
			MISSING_ELSE
481	1	1
482	1	1
483	1	1
484	1	1
485	1	1
			MISSING_ELSE
493	1	1
494	1	1
495	1	1
497	1	1
498	1	1
501	1	1
502	0	1
505	1	1
509	1	1
511	1	1
513	1	1
514	1	1
517	0	1
			MISSING_ELSE
526	1	1
527	1	1
528	1	1
530	1	1
531	1	1
532	1	1
535	1	1
			MISSING_ELSE
542	1	1
543	1	1
548	1	1
562	1	1
564	1	1
565	1	1
			MISSING_ELSE
573	3	3
576	1	1
577	1	1
578	1	1
579	1	1
581	1	1
582	1	1
583	1	1

---

Cond Coverage for Module : otp_ctrl_kdi

	Total	Covered	Percent
Conditions	18	17	94.44
Logical	18	17	94.44
Non-Logical	0	0
Event	0	0

 LINE       305
 EXPRESSION ((data_sel == EntropyData) ? nonce_out_q[entropy_cnt[0]] : (req_bundle.seed_valid ? req_bundle.seed[seed_cnt] : '0))
             ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       305
 SUB-EXPRESSION (data_sel == EntropyData)
                ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       305
 SUB-EXPRESSION (req_bundle.seed_valid ? req_bundle.seed[seed_cnt] : '0)
                 ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T3,T5

 LINE       373
 EXPRESSION (edn_req_q & ((~edn_ack_i)))
             ----1----   -------2------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

 LINE       416
 EXPRESSION (scrmbl_mtx_gnt_i && scrmbl_ready_i)
             --------1-------    -------2------

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T18,T19,T20
1	1	Covered	T1,T2,T3

 LINE       450
 EXPRESSION (entropy_cnt == 2'b1)
            ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       497
 EXPRESSION (seed_cnt == 2'b1)
            ---------1--------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       530
 EXPRESSION (entropy_cnt == req_bundle.nonce_size)
            -------------------1------------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

---

FSM Coverage for Module : otp_ctrl_kdi

Summary for FSM :: state_q

	Total	Covered	Percent
States	11	11	100.00	(Not included in score)
Transitions	24	20	83.33
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
DigClrSt	404	Covered	T1,T2,T3
DigEntropySt	451	Covered	T1,T2,T3
DigFinSt	434	Covered	T1,T2,T3
DigLoadSt	417	Covered	T1,T2,T3
DigWaitSt	485	Covered	T1,T2,T3
ErrorSt	564	Covered	T4,T7,T53
FetchEntropySt	431	Covered	T1,T2,T3
FetchNonceSt	514	Covered	T1,T2,T3
FinishSt	517	Covered	T1,T2,T3
IdleSt	397	Covered	T1,T2,T3
ResetSt	395	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests
DigClrSt->DigLoadSt	417	Covered	T1,T2,T3
DigClrSt->ErrorSt	564	Covered	T97,T68,T150
DigEntropySt->DigFinSt	470	Covered	T1,T2,T3
DigEntropySt->ErrorSt	564	Covered	T246
DigFinSt->DigWaitSt	485	Covered	T1,T2,T3
DigFinSt->ErrorSt	564	Covered	T247,T248,T138
DigLoadSt->DigFinSt	434	Covered	T1,T2,T3
DigLoadSt->ErrorSt	564	Covered	T96,T171,T172
DigLoadSt->FetchEntropySt	431	Covered	T1,T2,T3
DigWaitSt->DigClrSt	505	Covered	T1,T2,T3
DigWaitSt->DigLoadSt	502	Not Covered
DigWaitSt->ErrorSt	564	Covered	T249
DigWaitSt->FetchNonceSt	514	Covered	T1,T2,T3
DigWaitSt->FinishSt	517	Not Covered
FetchEntropySt->DigEntropySt	451	Covered	T1,T2,T3
FetchEntropySt->ErrorSt	564	Covered	T250,T251,T139
FetchNonceSt->ErrorSt	564	Not Covered
FetchNonceSt->FinishSt	531	Covered	T1,T2,T3
FinishSt->ErrorSt	564	Not Covered
FinishSt->IdleSt	542	Covered	T1,T2,T3
IdleSt->DigClrSt	404	Covered	T1,T2,T3
IdleSt->ErrorSt	564	Covered	T4,T7,T177
ResetSt->ErrorSt	564	Covered	T53,T110,T68
ResetSt->IdleSt	397	Covered	T1,T2,T3

---

Branch Coverage for Module : otp_ctrl_kdi

	Line No.	Total	Covered	Percent
Branches		46	41	89.13
TERNARY	305	3	3	100.00
IF	262	2	2	100.00
IF	265	2	2	100.00
IF	268	2	2	100.00
CASE	392	31	26	83.87
IF	562	2	2	100.00
IF	573	2	2	100.00
IF	576	2	2	100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv was not found/opened, so annotated branch coverage report could not be generated.

	LineNo.	Expression
-1-:	305	((data_sel == EntropyData)) ? 
-2-:	305	(req_bundle.seed_valid) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T3,T5
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	262	if (key_reg_en)

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	265	if (nonce_reg_en)

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	268	if (seed_valid_reg_en)

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	392	case (state_q)
-2-:	396	if (kdi_en_i)
-3-:	403	if (req_valid)
-4-:	416	if ((scrmbl_mtx_gnt_i && scrmbl_ready_i))
-5-:	426	if (seed_cnt[0])
-6-:	428	if (scrmbl_ready_i)
-7-:	430	if (req_bundle.ingest_entropy)
-8-:	438	if (scrmbl_ready_i)
-9-:	447	if (edn_ack_i)
-10-:	450	if ((entropy_cnt == 2'b1))
-11-:	467	if (entropy_cnt[0])
-12-:	469	if (scrmbl_ready_i)
-13-:	474	if (scrmbl_ready_i)
-14-:	484	if (scrmbl_ready_i)
-15-:	494	if (scrmbl_valid_i)
-16-:	497	if ((seed_cnt == 2'b1))
-17-:	501	if (req_bundle.chained_digest)
-18-:	513	if (req_bundle.fetch_nonce)
-19-:	527	if (edn_ack_i)
-20-:	530	if ((entropy_cnt == req_bundle.nonce_size))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	-17-	-18-	-19-	-20-	Status	Tests
ResetSt	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigClrSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigClrSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T7
DigLoadSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigLoadSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigLoadSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
DigLoadSt	-	-	-	0	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigLoadSt	-	-	-	0	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
FetchEntropySt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
FetchEntropySt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
FetchEntropySt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigEntropySt	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigEntropySt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	Not Covered
DigEntropySt	-	-	-	-	-	-	-	-	-	0	-	1	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigEntropySt	-	-	-	-	-	-	-	-	-	0	-	0	-	-	-	-	-	-	-	Covered	T3,T4,T10
DigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T1,T2,T3
DigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T1,T2,T3
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Not Covered
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	1	-	-	Covered	T1,T2,T3
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	0	-	-	Not Covered
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	Covered	T1,T2,T3
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	Covered	T1,T2,T3
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T1,T2,T3
FinishSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T7,T53
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T18,T19,T20

	LineNo.	Expression
-1-:	562	if (((lc_ctrl_pkg::lc_tx_test_true_loose(escalate_en_i) || seed_cnt_err) || entropy_cnt_err))

Branches:

-1-	Status	Tests
1	Covered	T4,T7,T53
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	573	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	576	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

---

Assert Coverage for Module : otp_ctrl_kdi

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	21	21	100.00	21	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	21	21	100.00	21	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
EdnReqKnown_A	485151582	484271228	0	0
EntropyWidthDividesDigestBlockWidth_A	1152	1152	0	0
FlashOtpKeyRspKnown_A	485151582	484271228	0	0
FsmErrKnown_A	485151582	484271228	0	0
KeyNonceSize0_A	1152	1152	0	0
KeyNonceSize1_A	1152	1152	0	0
KeyNonceSize2_A	1152	1152	0	0
KeyNonceSize3_A	1152	1152	0	0
KeyNonceSize4_A	1152	1152	0	0
KeyNonceSize5_A	1152	1152	0	0
KeyNonceSize6_A	1152	1152	0	0
NonceWidth_A	1152	1152	0	0
OtbnOtpKeyRspKnown_A	485151582	484271228	0	0
ScrmblCmdKnown_A	485151582	484271228	0	0
ScrmblDataKnown_A	485151582	484271228	0	0
ScrmblModeKnown_A	485151582	484271228	0	0
ScrmblMtxReqKnown_A	485151582	484271228	0	0
ScrmblSelKnown_A	485151582	484271228	0	0
ScrmblValidKnown_A	485151582	484271228	0	0
SramOtpKeyRspKnown_A	485151582	484271228	0	0
u_state_regs_A	485151582	484271228	0	0

EdnReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

EntropyWidthDividesDigestBlockWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

FlashOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

FsmErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

KeyNonceSize0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize2_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize3_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize4_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize5_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize6_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

NonceWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

OtbnOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblDataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblModeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblMtxReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

SramOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

Line Coverage for Instance : tb.dut.u_otp_ctrl_kdi

	Line No.	Total	Covered	Percent
TOTAL		147	146	99.32
CONT_ASSIGN	113	1	1	100.00
CONT_ASSIGN	114	1	1	100.00
CONT_ASSIGN	115	1	1	100.00
CONT_ASSIGN	117	1	1	100.00
CONT_ASSIGN	118	1	1	100.00
CONT_ASSIGN	119	1	1	100.00
CONT_ASSIGN	148	1	1	100.00
CONT_ASSIGN	156	1	1	100.00
CONT_ASSIGN	164	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	175	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	176	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
CONT_ASSIGN	177	1	1	100.00
ALWAYS	259	9	9	100.00
CONT_ASSIGN	284	1	1	100.00
CONT_ASSIGN	285	1	1	100.00
CONT_ASSIGN	286	1	1	100.00
CONT_ASSIGN	288	1	1	100.00
CONT_ASSIGN	289	1	1	100.00
CONT_ASSIGN	290	1	1	100.00
CONT_ASSIGN	293	1	1	100.00
CONT_ASSIGN	293	1	1	100.00
CONT_ASSIGN	293	1	1	100.00
CONT_ASSIGN	293	1	1	100.00
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	294	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	295	1	1	100.00
CONT_ASSIGN	305	1	1	100.00
CONT_ASSIGN	354	1	1	100.00
ALWAYS	357	87	86	98.85
ALWAYS	573	3	3	100.00
ALWAYS	576	7	7	100.00

WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv' was not found, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
113	1	1
114	1	1
115	1	1
117	1	1
118	1	1
119	1	1
148	1	1
156	1	1
164	1	1
175	4	4
176	4	4
177	4	4
259	1	1
260	1	1
261	1	1
262	1	1
263	1	1
			MISSING_ELSE
265	1	1
266	1	1
			MISSING_ELSE
268	1	1
269	1	1
			MISSING_ELSE
284	1	1
285	1	1
286	1	1
288	1	1
289	1	1
290	1	1
293	4	4
294	4	4
295	4	4
305	1	1
354	1	1
357	1	1
360	1	1
363	1	1
364	1	1
365	1	1
366	1	1
373	1	1
376	1	1
377	1	1
378	1	1
379	1	1
382	1	1
383	1	1
384	1	1
385	1	1
387	1	1
390	1	1
392	1	1
396	1	1
397	1	1
			MISSING_ELSE
403	1	1
404	1	1
405	1	1
406	1	1
			MISSING_ELSE
412	1	1
413	1	1
415	1	1
416	1	1
417	1	1
			MISSING_ELSE
423	1	1
424	1	1
426	1	1
427	1	1
428	1	1
430	1	1
431	1	1
434	1	1
			==> MISSING_ELSE
438	1	1
439	1	1
			==> MISSING_ELSE
445	1	1
446	1	1
447	1	1
448	1	1
450	1	1
451	1	1
452	1	1
455	1	1
			MISSING_ELSE
462	1	1
463	1	1
464	1	1
467	1	1
468	1	1
469	1	1
470	1	1
471	1	1
			==> MISSING_ELSE
474	1	1
475	1	1
			MISSING_ELSE
481	1	1
482	1	1
483	1	1
484	1	1
485	1	1
			MISSING_ELSE
493	1	1
494	1	1
495	1	1
497	1	1
498	1	1
501	1	1
502		excluded
			Exclude Annotation: VC_COV_UNR
505	1	1
509	1	1
511	1	1
513	1	1
514	1	1
517	0	1
			MISSING_ELSE
526	1	1
527	1	1
528	1	1
530	1	1
531	1	1
532	1	1
535	1	1
			MISSING_ELSE
542	1	1
543	1	1
548	1	1
562	1	1
564	1	1
565	1	1
			MISSING_ELSE
573	3	3
576	1	1
577	1	1
578	1	1
579	1	1
581	1	1
582	1	1
583	1	1

---

Cond Coverage for Instance : tb.dut.u_otp_ctrl_kdi

	Total	Covered	Percent
Conditions	17	17	100.00
Logical	17	17	100.00
Non-Logical	0	0
Event	0	0

 LINE       305
 EXPRESSION ((data_sel == EntropyData) ? nonce_out_q[entropy_cnt[0]] : (req_bundle.seed_valid ? req_bundle.seed[seed_cnt] : '0))
             ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       305
 SUB-EXPRESSION (data_sel == EntropyData)
                ------------1------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       305
 SUB-EXPRESSION (req_bundle.seed_valid ? req_bundle.seed[seed_cnt] : '0)
                 ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T2,T3,T5

 LINE       373
 EXPRESSION (edn_req_q & ((~edn_ack_i)))
             ----1----   -------2------

-1-	-2-	Status	Tests
0	1	Covered	T1,T2,T3
1	0	Covered	T1,T2,T3
1	1	Covered	T1,T2,T3

 LINE       416
 EXPRESSION (scrmbl_mtx_gnt_i && scrmbl_ready_i)
             --------1-------    -------2------

-1-	-2-	Status	Tests	Exclude Annotation
0	1	Excluded		VC_COV_UNR
1	0	Covered	T18,T19,T20
1	1	Covered	T1,T2,T3

 LINE       450
 EXPRESSION (entropy_cnt == 2'b1)
            ----------1----------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       497
 EXPRESSION (seed_cnt == 2'b1)
            ---------1--------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

 LINE       530
 EXPRESSION (entropy_cnt == req_bundle.nonce_size)
            -------------------1------------------

-1-	Status	Tests
0	Covered	T1,T2,T3
1	Covered	T1,T2,T3

---

FSM Coverage for Instance : tb.dut.u_otp_ctrl_kdi

Summary for FSM :: state_q

	Total	Covered	Percent
States	11	11	100.00	(Not included in score)
Transitions	22	20	90.91
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

states	Line No.	Covered	Tests
DigClrSt	404	Covered	T1,T2,T3
DigEntropySt	451	Covered	T1,T2,T3
DigFinSt	434	Covered	T1,T2,T3
DigLoadSt	417	Covered	T1,T2,T3
DigWaitSt	485	Covered	T1,T2,T3
ErrorSt	564	Covered	T4,T7,T53
FetchEntropySt	431	Covered	T1,T2,T3
FetchNonceSt	514	Covered	T1,T2,T3
FinishSt	517	Covered	T1,T2,T3
IdleSt	397	Covered	T1,T2,T3
ResetSt	395	Covered	T1,T2,T3

transitions	Line No.	Covered	Tests	Exclude Annotation
DigClrSt->DigLoadSt	417	Covered	T1,T2,T3
DigClrSt->ErrorSt	564	Covered	T97,T68,T150
DigEntropySt->DigFinSt	470	Covered	T1,T2,T3
DigEntropySt->ErrorSt	564	Covered	T246
DigFinSt->DigWaitSt	485	Covered	T1,T2,T3
DigFinSt->ErrorSt	564	Covered	T247,T248,T138
DigLoadSt->DigFinSt	434	Covered	T1,T2,T3
DigLoadSt->ErrorSt	564	Covered	T96,T171,T172
DigLoadSt->FetchEntropySt	431	Covered	T1,T2,T3
DigWaitSt->DigClrSt	505	Covered	T1,T2,T3
DigWaitSt->DigLoadSt	502	Excluded		VC_COV_UNR
DigWaitSt->ErrorSt	564	Covered	T249
DigWaitSt->FetchNonceSt	514	Covered	T1,T2,T3
DigWaitSt->FinishSt	517	Excluded
FetchEntropySt->DigEntropySt	451	Covered	T1,T2,T3
FetchEntropySt->ErrorSt	564	Covered	T250,T251,T139
FetchNonceSt->ErrorSt	564	Not Covered
FetchNonceSt->FinishSt	531	Covered	T1,T2,T3
FinishSt->ErrorSt	564	Not Covered
FinishSt->IdleSt	542	Covered	T1,T2,T3
IdleSt->DigClrSt	404	Covered	T1,T2,T3
IdleSt->ErrorSt	564	Covered	T4,T7,T177
ResetSt->ErrorSt	564	Covered	T53,T110,T68
ResetSt->IdleSt	397	Covered	T1,T2,T3

---

Branch Coverage for Instance : tb.dut.u_otp_ctrl_kdi

	Line No.	Total	Covered	Percent
Branches		45	41	91.11
TERNARY	305	3	3	100.00
IF	262	2	2	100.00
IF	265	2	2	100.00
IF	268	2	2	100.00
CASE	392	30	26	86.67
IF	562	2	2	100.00
IF	573	2	2	100.00
IF	576	2	2	100.00

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv' or '../src/lowrisc_ip_otp_ctrl_1.0/rtl/otp_ctrl_kdi.sv was not found/opened, so annotated branch coverage report could not be generated.

	LineNo.	Expression
-1-:	305	((data_sel == EntropyData)) ? 
-2-:	305	(req_bundle.seed_valid) ? 

Branches:

-1-	-2-	Status	Tests
1	-	Covered	T1,T2,T3
0	1	Covered	T2,T3,T5
0	0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	262	if (key_reg_en)

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	265	if (nonce_reg_en)

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	268	if (seed_valid_reg_en)

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	392	case (state_q)
-2-:	396	if (kdi_en_i)
-3-:	403	if (req_valid)
-4-:	416	if ((scrmbl_mtx_gnt_i && scrmbl_ready_i))
-5-:	426	if (seed_cnt[0])
-6-:	428	if (scrmbl_ready_i)
-7-:	430	if (req_bundle.ingest_entropy)
-8-:	438	if (scrmbl_ready_i)
-9-:	447	if (edn_ack_i)
-10-:	450	if ((entropy_cnt == 2'b1))
-11-:	467	if (entropy_cnt[0])
-12-:	469	if (scrmbl_ready_i)
-13-:	474	if (scrmbl_ready_i)
-14-:	484	if (scrmbl_ready_i)
-15-:	494	if (scrmbl_valid_i)
-16-:	497	if ((seed_cnt == 2'b1))
-17-:	501	if (req_bundle.chained_digest)
-18-:	513	if (req_bundle.fetch_nonce)
-19-:	527	if (edn_ack_i)
-20-:	530	if ((entropy_cnt == req_bundle.nonce_size))

Branches:

-1-	-2-	-3-	-4-	-5-	-6-	-7-	-8-	-9-	-10-	-11-	-12-	-13-	-14-	-15-	-16-	-17-	-18-	-19-	-20-	Status	Tests	Exclude Annotation
ResetSt	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ResetSt	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
IdleSt	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigClrSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigClrSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T5,T7
DigLoadSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigLoadSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigLoadSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
DigLoadSt	-	-	-	0	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigLoadSt	-	-	-	0	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
FetchEntropySt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
FetchEntropySt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
FetchEntropySt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigEntropySt	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigEntropySt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	Not Covered
DigEntropySt	-	-	-	-	-	-	-	-	-	0	-	1	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigEntropySt	-	-	-	-	-	-	-	-	-	0	-	0	-	-	-	-	-	-	-	Covered	T3,T4,T10
DigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T1,T2,T3
DigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T1,T2,T3
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T1,T2,T3
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	1	-	-	Covered	T1,T2,T3
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	0	-	-	Not Covered
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T1,T2,T3
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	Covered	T1,T2,T3
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	Covered	T1,T2,T3
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T1,T2,T3
FinishSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T4,T7,T53
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T18,T19,T20

	LineNo.	Expression
-1-:	562	if (((lc_ctrl_pkg::lc_tx_test_true_loose(escalate_en_i) || seed_cnt_err) || entropy_cnt_err))

Branches:

-1-	Status	Tests
1	Covered	T4,T7,T53
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	573	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

	LineNo.	Expression
-1-:	576	if ((!rst_ni))

Branches:

-1-	Status	Tests
1	Covered	T1,T2,T3
0	Covered	T1,T2,T3

---

Assert Coverage for Instance : tb.dut.u_otp_ctrl_kdi

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	21	21	100.00	21	100.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	21	21	100.00	21	100.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
EdnReqKnown_A	485151582	484271228	0	0
EntropyWidthDividesDigestBlockWidth_A	1152	1152	0	0
FlashOtpKeyRspKnown_A	485151582	484271228	0	0
FsmErrKnown_A	485151582	484271228	0	0
KeyNonceSize0_A	1152	1152	0	0
KeyNonceSize1_A	1152	1152	0	0
KeyNonceSize2_A	1152	1152	0	0
KeyNonceSize3_A	1152	1152	0	0
KeyNonceSize4_A	1152	1152	0	0
KeyNonceSize5_A	1152	1152	0	0
KeyNonceSize6_A	1152	1152	0	0
NonceWidth_A	1152	1152	0	0
OtbnOtpKeyRspKnown_A	485151582	484271228	0	0
ScrmblCmdKnown_A	485151582	484271228	0	0
ScrmblDataKnown_A	485151582	484271228	0	0
ScrmblModeKnown_A	485151582	484271228	0	0
ScrmblMtxReqKnown_A	485151582	484271228	0	0
ScrmblSelKnown_A	485151582	484271228	0	0
ScrmblValidKnown_A	485151582	484271228	0	0
SramOtpKeyRspKnown_A	485151582	484271228	0	0
u_state_regs_A	485151582	484271228	0	0

EdnReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

EntropyWidthDividesDigestBlockWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

FlashOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

FsmErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

KeyNonceSize0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize2_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize3_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize4_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize5_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

KeyNonceSize6_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

NonceWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1152	1152	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
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0

OtbnOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblDataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblModeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblMtxReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

ScrmblValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

SramOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	485151582	484271228	0	0
T1	73189	72922	0	0
T2	18470	18225	0	0
T3	17552	17360	0	0
T4	589526	589502	0	0
T5	823606	819488	0	0
T6	13210	13040	0	0
T7	551165	551140	0	0
T8	15173	14898	0	0
T9	18060	17776	0	0
T10	63680	62775	0	0