Unified Coverage Report :: Module :: otp_ctrl_kdi

Module : otp_ctrl_kdi

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
92.28	98.65	94.44		79.17	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	95.36	99.32	100.00		86.36	91.11	100.00

---

Module Instance : tb.dut.u_otp_ctrl_kdi

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
95.36	99.32	100.00		86.36	91.11	100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
96.45	99.63	99.64	100.00	86.36	95.70	97.37

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
96.86	97.40	96.15	97.12		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	T5,T6,T7

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

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

 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	T5,T6,T39

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

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

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

-1-	-2-	Status	Tests
0	1	Not Covered
1	0	Covered	T28,T29,T30
1	1	Covered	T5,T6,T7

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

-1-	Status	Tests
0	Covered	T5,T6,T7
1	Covered	T5,T6,T7

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

-1-	Status	Tests
0	Covered	T5,T6,T7
1	Covered	T5,T6,T7

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

-1-	Status	Tests
0	Covered	T5,T6,T7
1	Covered	T5,T6,T7

---

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	19	79.17
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests
DigClrSt->DigLoadSt	417	Covered	T5,T6,T7
DigClrSt->ErrorSt	564	Covered	T34,T137,T112
DigEntropySt->DigFinSt	470	Covered	T5,T6,T7
DigEntropySt->ErrorSt	564	Not Covered
DigFinSt->DigWaitSt	485	Covered	T5,T6,T7
DigFinSt->ErrorSt	564	Covered	T88,T188,T228
DigLoadSt->DigFinSt	434	Covered	T5,T6,T7
DigLoadSt->ErrorSt	564	Covered	T6,T34,T184
DigLoadSt->FetchEntropySt	431	Covered	T5,T6,T7
DigWaitSt->DigClrSt	505	Covered	T5,T6,T7
DigWaitSt->DigLoadSt	502	Not Covered
DigWaitSt->ErrorSt	564	Covered	T229,T230,T231
DigWaitSt->FetchNonceSt	514	Covered	T5,T6,T7
DigWaitSt->FinishSt	517	Not Covered
FetchEntropySt->DigEntropySt	451	Covered	T5,T6,T7
FetchEntropySt->ErrorSt	564	Covered	T117,T199,T147
FetchNonceSt->ErrorSt	564	Not Covered
FetchNonceSt->FinishSt	531	Covered	T5,T6,T7
FinishSt->ErrorSt	564	Not Covered
FinishSt->IdleSt	542	Covered	T5,T6,T7
IdleSt->DigClrSt	404	Covered	T5,T6,T7
IdleSt->ErrorSt	564	Covered	T12,T87,T189
ResetSt->ErrorSt	564	Covered	T92,T160,T108
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	T5,T6,T7
0	1	Covered	T5,T6,T39
0	0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T5,T6,T7
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	T5,T6,T7
IdleSt	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigClrSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigClrSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T6,T34,T79
DigLoadSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigLoadSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigLoadSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
DigLoadSt	-	-	-	0	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigLoadSt	-	-	-	0	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
FetchEntropySt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
FetchEntropySt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
FetchEntropySt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigEntropySt	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigEntropySt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	Not Covered
DigEntropySt	-	-	-	-	-	-	-	-	-	0	-	1	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigEntropySt	-	-	-	-	-	-	-	-	-	0	-	0	-	-	-	-	-	-	-	Covered	T5,T6,T89
DigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T5,T6,T7
DigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T5,T6,T7
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Not Covered
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T5,T6,T7
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	1	-	-	Covered	T5,T6,T7
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	0	-	-	Not Covered
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T5,T6,T7
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	Covered	T5,T6,T7
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	Covered	T5,T6,T7
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T5,T6,T7
FinishSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T12,T6,T87
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

	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	T12,T6,T87
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	1308595861	1307730722	0	0
EntropyWidthDividesDigestBlockWidth_A	1118	1118	0	0
FlashOtpKeyRspKnown_A	1308595861	1307730722	0	0
FsmErrKnown_A	1308595861	1307730722	0	0
KeyNonceSize0_A	1118	1118	0	0
KeyNonceSize1_A	1118	1118	0	0
KeyNonceSize2_A	1118	1118	0	0
KeyNonceSize3_A	1118	1118	0	0
KeyNonceSize4_A	1118	1118	0	0
KeyNonceSize5_A	1118	1118	0	0
KeyNonceSize6_A	1118	1118	0	0
NonceWidth_A	1118	1118	0	0
OtbnOtpKeyRspKnown_A	1308595861	1307730722	0	0
ScrmblCmdKnown_A	1308595861	1307730722	0	0
ScrmblDataKnown_A	1308595861	1307730722	0	0
ScrmblModeKnown_A	1308595861	1307730722	0	0
ScrmblMtxReqKnown_A	1308595861	1307730722	0	0
ScrmblSelKnown_A	1308595861	1307730722	0	0
ScrmblValidKnown_A	1308595861	1307730722	0	0
SramOtpKeyRspKnown_A	1308595861	1307730722	0	0
u_state_regs_A	1308595861	1307730722	0	0

EdnReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

EntropyWidthDividesDigestBlockWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

FlashOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

FsmErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

KeyNonceSize0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize2_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize3_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize4_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize5_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize6_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

NonceWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtbnOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblDataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblModeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblMtxReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

SramOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	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	T5,T6,T7

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

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

 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	T5,T6,T39

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

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

 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	T28,T29,T30
1	1	Covered	T5,T6,T7

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

-1-	Status	Tests
0	Covered	T5,T6,T7
1	Covered	T5,T6,T7

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

-1-	Status	Tests
0	Covered	T5,T6,T7
1	Covered	T5,T6,T7

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

-1-	Status	Tests
0	Covered	T5,T6,T7
1	Covered	T5,T6,T7

---

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	19	86.36
Sequences	0	0

State, Transition and Sequence Details for FSM :: state_q

---

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

transitions	Line No.	Covered	Tests	Exclude Annotation
DigClrSt->DigLoadSt	417	Covered	T5,T6,T7
DigClrSt->ErrorSt	564	Covered	T34,T137,T112
DigEntropySt->DigFinSt	470	Covered	T5,T6,T7
DigEntropySt->ErrorSt	564	Not Covered
DigFinSt->DigWaitSt	485	Covered	T5,T6,T7
DigFinSt->ErrorSt	564	Covered	T88,T188,T228
DigLoadSt->DigFinSt	434	Covered	T5,T6,T7
DigLoadSt->ErrorSt	564	Covered	T6,T34,T184
DigLoadSt->FetchEntropySt	431	Covered	T5,T6,T7
DigWaitSt->DigClrSt	505	Covered	T5,T6,T7
DigWaitSt->DigLoadSt	502	Excluded		VC_COV_UNR
DigWaitSt->ErrorSt	564	Covered	T229,T230,T231
DigWaitSt->FetchNonceSt	514	Covered	T5,T6,T7
DigWaitSt->FinishSt	517	Excluded
FetchEntropySt->DigEntropySt	451	Covered	T5,T6,T7
FetchEntropySt->ErrorSt	564	Covered	T117,T199,T147
FetchNonceSt->ErrorSt	564	Not Covered
FetchNonceSt->FinishSt	531	Covered	T5,T6,T7
FinishSt->ErrorSt	564	Not Covered
FinishSt->IdleSt	542	Covered	T5,T6,T7
IdleSt->DigClrSt	404	Covered	T5,T6,T7
IdleSt->ErrorSt	564	Covered	T12,T87,T189
ResetSt->ErrorSt	564	Covered	T92,T160,T108
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	T5,T6,T7
0	1	Covered	T5,T6,T39
0	0	Covered	T1,T2,T3

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

Branches:

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

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

Branches:

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

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

Branches:

-1-	Status	Tests
1	Covered	T5,T6,T7
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	T5,T6,T7
IdleSt	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T1,T2,T3
DigClrSt	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigClrSt	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T6,T34,T79
DigLoadSt	-	-	-	1	1	1	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigLoadSt	-	-	-	1	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigLoadSt	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
DigLoadSt	-	-	-	0	-	-	1	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigLoadSt	-	-	-	0	-	-	0	-	-	-	-	-	-	-	-	-	-	-	-	Not Covered
FetchEntropySt	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
FetchEntropySt	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
FetchEntropySt	-	-	-	-	-	-	-	0	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigEntropySt	-	-	-	-	-	-	-	-	-	1	1	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigEntropySt	-	-	-	-	-	-	-	-	-	1	0	-	-	-	-	-	-	-	-	Not Covered
DigEntropySt	-	-	-	-	-	-	-	-	-	0	-	1	-	-	-	-	-	-	-	Covered	T5,T6,T7
DigEntropySt	-	-	-	-	-	-	-	-	-	0	-	0	-	-	-	-	-	-	-	Covered	T5,T6,T89
DigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	1	-	-	-	-	-	-	Covered	T5,T6,T7
DigFinSt	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	-	Covered	T5,T6,T7
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	1	-	-	-	Excluded		VC_COV_UNR
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	0	-	-	-	Covered	T5,T6,T7
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	1	-	-	Covered	T5,T6,T7
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	-	0	-	-	Not Covered
DigWaitSt	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	-	-	-	-	Covered	T5,T6,T7
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	1	Covered	T5,T6,T7
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	1	0	Covered	T5,T6,T7
FetchNonceSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	0	-	Covered	T5,T6,T7
FinishSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T5,T6,T7
ErrorSt	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T12,T6,T87
default	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	Covered	T28,T29,T30

	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	T12,T6,T87
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	1308595861	1307730722	0	0
EntropyWidthDividesDigestBlockWidth_A	1118	1118	0	0
FlashOtpKeyRspKnown_A	1308595861	1307730722	0	0
FsmErrKnown_A	1308595861	1307730722	0	0
KeyNonceSize0_A	1118	1118	0	0
KeyNonceSize1_A	1118	1118	0	0
KeyNonceSize2_A	1118	1118	0	0
KeyNonceSize3_A	1118	1118	0	0
KeyNonceSize4_A	1118	1118	0	0
KeyNonceSize5_A	1118	1118	0	0
KeyNonceSize6_A	1118	1118	0	0
NonceWidth_A	1118	1118	0	0
OtbnOtpKeyRspKnown_A	1308595861	1307730722	0	0
ScrmblCmdKnown_A	1308595861	1307730722	0	0
ScrmblDataKnown_A	1308595861	1307730722	0	0
ScrmblModeKnown_A	1308595861	1307730722	0	0
ScrmblMtxReqKnown_A	1308595861	1307730722	0	0
ScrmblSelKnown_A	1308595861	1307730722	0	0
ScrmblValidKnown_A	1308595861	1307730722	0	0
SramOtpKeyRspKnown_A	1308595861	1307730722	0	0
u_state_regs_A	1308595861	1307730722	0	0

EdnReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

EntropyWidthDividesDigestBlockWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

FlashOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

FsmErrKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

KeyNonceSize0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize2_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize3_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize4_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize5_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

KeyNonceSize6_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

NonceWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1118	1118	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
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

OtbnOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblCmdKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblDataKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblModeKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblMtxReqKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblSelKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

ScrmblValidKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

SramOtpKeyRspKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0

u_state_regs_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1308595861	1307730722	0	0
T1	11684	11412	0	0
T2	12051	11820	0	0
T3	3909	3839	0	0
T4	20019	19781	0	0
T5	54340	53842	0	0
T6	622322	610518	0	0
T10	15526	15265	0	0
T11	14429	14213	0	0
T12	24006	23758	0	0
T13	4988	4903	0	0