Unified Coverage Report :: Module :: keymgr_csr_assert_fpv

Module : keymgr_csr_assert_fpv

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00						100.00

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_fpv_keymgr_csr_assert_0/keymgr_csr_assert_fpv.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
tb.dut.keymgr_csr_assert	100.00						100.00

---

Module Instance : tb.dut.keymgr_csr_assert

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00						100.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
100.00						100.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
98.04	95.95	98.39	99.96		95.92	100.00	dut

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

---

Since this is the module's only instance, the coverage report is the same as for the module.

Assert Coverage for Module : keymgr_csr_assert_fpv

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

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
TlulOOBAddrErr_A	28749837	12557	0	0
attest_sw_binding_0_rd_A	28749837	1882	0	0
attest_sw_binding_1_rd_A	28749837	1667	0	0
attest_sw_binding_2_rd_A	28749837	1739	0	0
attest_sw_binding_3_rd_A	28749837	1750	0	0
attest_sw_binding_4_rd_A	28749837	1768	0	0
attest_sw_binding_5_rd_A	28749837	1745	0	0
attest_sw_binding_6_rd_A	28749837	1861	0	0
attest_sw_binding_7_rd_A	28749837	1871	0	0
intr_enable_rd_A	28749837	2840	0	0
key_version_rd_A	28749837	1793	0	0
max_creator_key_ver_regwen_rd_A	28749837	1764	0	0
max_owner_int_key_ver_regwen_rd_A	28749837	1720	0	0
max_owner_key_ver_regwen_rd_A	28749837	1733	0	0
reseed_interval_regwen_rd_A	28749837	1732	0	0
salt_0_rd_A	28749837	1790	0	0
salt_1_rd_A	28749837	1765	0	0
salt_2_rd_A	28749837	1850	0	0
salt_3_rd_A	28749837	1848	0	0
salt_4_rd_A	28749837	1752	0	0
salt_5_rd_A	28749837	1691	0	0
salt_6_rd_A	28749837	1775	0	0
salt_7_rd_A	28749837	1810	0	0
sealing_sw_binding_0_rd_A	28749837	1689	0	0
sealing_sw_binding_1_rd_A	28749837	1821	0	0
sealing_sw_binding_2_rd_A	28749837	1705	0	0
sealing_sw_binding_3_rd_A	28749837	1783	0	0
sealing_sw_binding_4_rd_A	28749837	1772	0	0
sealing_sw_binding_5_rd_A	28749837	1746	0	0
sealing_sw_binding_6_rd_A	28749837	1722	0	0
sealing_sw_binding_7_rd_A	28749837	1648	0	0
sideload_clear_rd_A	28749837	1792	0	0

TlulOOBAddrErr_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	12557	0	0
T5	983429	0	0	0
T24	38259	0	0	0
T26	45956	0	0	0
T27	13714	0	0	0
T54	12136	0	0	0
T59	0	285	0	0
T100	28210	109	0	0
T113	0	266	0	0
T125	0	214	0	0
T126	0	607	0	0
T127	0	271	0	0
T128	0	65	0	0
T129	0	243	0	0
T130	0	91	0	0
T131	22447	0	0	0
T132	26400	0	0	0
T133	2484	0	0	0
T134	57817	0	0	0
T178	0	861	0	0

attest_sw_binding_0_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1882	0	0
T29	219106	0	0	0
T116	0	85	0	0
T125	67299	40	0	0
T128	0	11	0	0
T185	0	2	0	0
T186	0	42	0	0
T187	0	19	0	0
T188	0	48	0	0
T189	0	15	0	0
T190	0	17	0	0
T191	0	6	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

attest_sw_binding_1_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1667	0	0
T29	219106	0	0	0
T116	0	72	0	0
T117	0	93	0	0
T125	67299	32	0	0
T128	0	8	0	0
T186	0	16	0	0
T187	0	16	0	0
T188	0	65	0	0
T189	0	17	0	0
T190	0	12	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	6	0	0

attest_sw_binding_2_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1739	0	0
T29	219106	0	0	0
T116	0	87	0	0
T117	0	100	0	0
T125	67299	25	0	0
T128	0	25	0	0
T149	0	15	0	0
T186	0	32	0	0
T187	0	11	0	0
T188	0	50	0	0
T189	0	3	0	0
T190	0	11	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

attest_sw_binding_3_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1750	0	0
T29	219106	0	0	0
T116	0	69	0	0
T117	0	97	0	0
T125	67299	29	0	0
T128	0	11	0	0
T186	0	26	0	0
T187	0	24	0	0
T188	0	63	0	0
T189	0	18	0	0
T190	0	23	0	0
T191	0	1	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

attest_sw_binding_4_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1768	0	0
T29	219106	0	0	0
T116	0	77	0	0
T117	0	92	0	0
T125	67299	28	0	0
T128	0	12	0	0
T186	0	43	0	0
T187	0	40	0	0
T188	0	50	0	0
T189	0	22	0	0
T190	0	17	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	6	0	0

attest_sw_binding_5_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1745	0	0
T29	219106	0	0	0
T116	0	88	0	0
T117	0	137	0	0
T125	67299	38	0	0
T128	0	4	0	0
T186	0	27	0	0
T187	0	6	0	0
T188	0	89	0	0
T189	0	11	0	0
T190	0	5	0	0
T191	0	6	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

attest_sw_binding_6_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1861	0	0
T29	219106	0	0	0
T116	0	96	0	0
T117	0	124	0	0
T125	67299	41	0	0
T128	0	8	0	0
T186	0	29	0	0
T187	0	7	0	0
T188	0	72	0	0
T189	0	23	0	0
T190	0	19	0	0
T191	0	5	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

attest_sw_binding_7_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1871	0	0
T29	219106	0	0	0
T116	0	86	0	0
T117	0	108	0	0
T125	67299	27	0	0
T128	0	15	0	0
T186	0	57	0	0
T187	0	18	0	0
T188	0	71	0	0
T189	0	12	0	0
T190	0	10	0	0
T191	0	2	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

intr_enable_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	2840	0	0
T5	0	14	0	0
T18	154645	36	0	0
T19	3261	0	0	0
T25	41400	0	0	0
T30	2927	0	0	0
T32	12571	0	0	0
T37	0	9	0	0
T42	0	40	0	0
T53	0	71	0	0
T62	0	38	0	0
T74	12563	0	0	0
T75	18327	0	0	0
T76	13903	0	0	0
T97	1082	0	0	0
T101	4428	0	0	0
T125	0	63	0	0
T128	0	27	0	0
T201	0	29	0	0
T202	0	97	0	0

key_version_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1793	0	0
T29	219106	0	0	0
T116	0	66	0	0
T117	0	104	0	0
T125	67299	34	0	0
T128	0	22	0	0
T186	0	33	0	0
T187	0	18	0	0
T188	0	65	0	0
T189	0	11	0	0
T190	0	7	0	0
T191	0	5	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

max_creator_key_ver_regwen_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1764	0	0
T29	219106	0	0	0
T116	0	98	0	0
T117	0	124	0	0
T125	67299	14	0	0
T128	0	7	0	0
T186	0	33	0	0
T187	0	22	0	0
T188	0	52	0	0
T189	0	28	0	0
T190	0	15	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	9	0	0

max_owner_int_key_ver_regwen_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1720	0	0
T29	219106	0	0	0
T116	0	68	0	0
T125	67299	30	0	0
T128	0	13	0	0
T186	0	37	0	0
T187	0	7	0	0
T188	0	54	0	0
T189	0	9	0	0
T190	0	22	0	0
T191	0	16	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T203	0	9	0	0

max_owner_key_ver_regwen_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1733	0	0
T29	219106	0	0	0
T116	0	62	0	0
T117	0	85	0	0
T125	67299	16	0	0
T128	0	16	0	0
T186	0	31	0	0
T187	0	22	0	0
T188	0	54	0	0
T189	0	2	0	0
T190	0	13	0	0
T191	0	2	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

reseed_interval_regwen_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1732	0	0
T29	219106	0	0	0
T116	0	88	0	0
T117	0	106	0	0
T125	67299	42	0	0
T128	0	36	0	0
T186	0	20	0	0
T187	0	33	0	0
T188	0	47	0	0
T189	0	12	0	0
T190	0	9	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	7	0	0

salt_0_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1790	0	0
T29	219106	0	0	0
T116	0	96	0	0
T117	0	135	0	0
T125	67299	54	0	0
T128	0	23	0	0
T186	0	28	0	0
T187	0	9	0	0
T188	0	55	0	0
T189	0	7	0	0
T190	0	10	0	0
T191	0	4	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

salt_1_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1765	0	0
T29	219106	0	0	0
T116	0	101	0	0
T117	0	88	0	0
T125	67299	28	0	0
T128	0	13	0	0
T186	0	12	0	0
T187	0	25	0	0
T188	0	49	0	0
T189	0	11	0	0
T190	0	11	0	0
T191	0	7	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

salt_2_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1850	0	0
T29	219106	0	0	0
T116	0	94	0	0
T117	0	96	0	0
T125	67299	38	0	0
T128	0	34	0	0
T149	0	13	0	0
T186	0	34	0	0
T187	0	21	0	0
T188	0	53	0	0
T189	0	12	0	0
T190	0	15	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

salt_3_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1848	0	0
T29	219106	0	0	0
T116	0	78	0	0
T117	0	125	0	0
T125	67299	49	0	0
T128	0	21	0	0
T186	0	38	0	0
T187	0	10	0	0
T188	0	56	0	0
T189	0	23	0	0
T190	0	11	0	0
T191	0	6	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

salt_4_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1752	0	0
T29	219106	0	0	0
T116	0	92	0	0
T117	0	92	0	0
T125	67299	53	0	0
T186	0	35	0	0
T187	0	22	0	0
T188	0	67	0	0
T189	0	8	0	0
T190	0	10	0	0
T191	0	2	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	5	0	0

salt_5_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1691	0	0
T29	219106	0	0	0
T116	0	84	0	0
T117	0	103	0	0
T125	67299	38	0	0
T128	0	23	0	0
T186	0	33	0	0
T187	0	11	0	0
T188	0	53	0	0
T189	0	21	0	0
T190	0	15	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	15	0	0

salt_6_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1775	0	0
T29	219106	0	0	0
T116	0	78	0	0
T117	0	126	0	0
T125	67299	22	0	0
T128	0	4	0	0
T186	0	19	0	0
T187	0	13	0	0
T188	0	66	0	0
T189	0	29	0	0
T190	0	27	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	6	0	0

salt_7_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1810	0	0
T29	219106	0	0	0
T116	0	87	0	0
T117	0	97	0	0
T125	67299	22	0	0
T128	0	14	0	0
T186	0	28	0	0
T187	0	47	0	0
T188	0	55	0	0
T189	0	7	0	0
T190	0	22	0	0
T191	0	5	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

sealing_sw_binding_0_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1689	0	0
T29	219106	0	0	0
T116	0	81	0	0
T117	0	74	0	0
T125	67299	40	0	0
T128	0	5	0	0
T186	0	33	0	0
T187	0	17	0	0
T188	0	69	0	0
T189	0	6	0	0
T190	0	14	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	2	0	0

sealing_sw_binding_1_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1821	0	0
T29	219106	0	0	0
T116	0	71	0	0
T117	0	118	0	0
T125	67299	48	0	0
T128	0	26	0	0
T149	0	9	0	0
T186	0	41	0	0
T187	0	14	0	0
T188	0	47	0	0
T189	0	15	0	0
T190	0	9	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

sealing_sw_binding_2_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1705	0	0
T29	219106	0	0	0
T116	0	76	0	0
T117	0	101	0	0
T125	67299	46	0	0
T128	0	25	0	0
T186	0	24	0	0
T187	0	14	0	0
T188	0	60	0	0
T189	0	5	0	0
T190	0	21	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	1	0	0

sealing_sw_binding_3_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1783	0	0
T29	219106	0	0	0
T116	0	74	0	0
T117	0	107	0	0
T125	67299	35	0	0
T128	0	3	0	0
T186	0	28	0	0
T187	0	25	0	0
T188	0	55	0	0
T189	0	20	0	0
T190	0	17	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	9	0	0

sealing_sw_binding_4_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1772	0	0
T29	219106	0	0	0
T116	0	91	0	0
T117	0	125	0	0
T125	67299	21	0	0
T128	0	20	0	0
T186	0	28	0	0
T187	0	10	0	0
T188	0	64	0	0
T189	0	16	0	0
T190	0	17	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	9	0	0

sealing_sw_binding_5_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1746	0	0
T29	219106	0	0	0
T116	0	88	0	0
T117	0	95	0	0
T125	67299	49	0	0
T128	0	13	0	0
T186	0	27	0	0
T187	0	30	0	0
T188	0	39	0	0
T189	0	2	0	0
T190	0	15	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0
T200	0	1	0	0

sealing_sw_binding_6_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1722	0	0
T29	219106	0	0	0
T116	0	85	0	0
T117	0	124	0	0
T125	67299	26	0	0
T128	0	21	0	0
T186	0	17	0	0
T187	0	32	0	0
T188	0	43	0	0
T189	0	11	0	0
T190	0	10	0	0
T191	0	8	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

sealing_sw_binding_7_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1648	0	0
T29	219106	0	0	0
T116	0	95	0	0
T117	0	115	0	0
T125	67299	35	0	0
T128	0	2	0	0
T186	0	13	0	0
T187	0	25	0	0
T188	0	37	0	0
T189	0	15	0	0
T190	0	21	0	0
T191	0	1	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0

sideload_clear_rd_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	28749837	1792	0	0
T29	219106	0	0	0
T116	0	89	0	0
T117	0	99	0	0
T125	67299	29	0	0
T128	0	8	0	0
T186	0	23	0	0
T187	0	21	0	0
T188	0	71	0	0
T189	0	22	0	0
T190	0	16	0	0
T191	0	4	0	0
T192	1822	0	0	0
T193	10857	0	0	0
T194	1020	0	0	0
T195	9032	0	0	0
T196	1012	0	0	0
T197	26997	0	0	0
T198	16660	0	0	0
T199	30945	0	0	0