Unified Coverage Report :: Group :: keymgr_env_pkg::keymgr_env_cov::reseed_interval_cg

Group : keymgr_env_pkg::keymgr_env_cov::reseed_interval_cg

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

Source File(s) :
/workspaces/lowrisc/opentitan/scratch/earlgrey_1_0_0_2024_08_20_RC0/keymgr-sim-vcs/default/sim-vcs/../src/lowrisc_dv_keymgr_env_0.1/keymgr_env_cov.sv

---

Summary for Group keymgr_env_pkg::keymgr_env_cov::reseed_interval_cg

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	37	0	37	100.00

Variables for Group keymgr_env_pkg::keymgr_env_cov::reseed_interval_cg

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
reseed_interval_cp	37	0	37	100.00	100	1	1	0

Summary for Variable reseed_interval_cp

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	37	0	37	100.00

User Defined Bins for reseed_interval_cp

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
large_values[0]	1833	1			T1	2		T2	2		T4	1
large_values[1]	8	1			T24	1		T415	1		T249	1
large_values[2]	11	1			T8	1		T295	1		T203	1
large_values[3]	11	1			T268	1		T108	1		T416	1
large_values[4]	13	1			T215	1		T352	1		T417	1
large_values[5]	19	1			T4	1		T8	1		T192	1
large_values[6]	16	1			T101	1		T340	1		T118	1
large_values[7]	15	1			T69	1		T89	1		T26	1
large_values[8]	9	1			T418	1		T125	1		T9	2
large_values[9]	14	1			T100	1		T77	1		T290	1
large_values[10]	11	1			T83	1		T70	1		T8	1
large_values[11]	12	1			T393	1		T419	1		T420	1
large_values[12]	13	1			T130	1		T421	1		T124	1
large_values[13]	14	1			T410	1		T400	1		T422	1
large_values[14]	19	1			T34	1		T423	1		T176	1
large_values[15]	17	1			T75	1		T217	1		T212	1
large_values[16]	17	1			T70	1		T127	1		T130	1
large_values[17]	13	1			T333	1		T118	1		T50	1
large_values[18]	10	1			T18	1		T424	1		T425	1
large_values[19]	16	1			T38	1		T103	1		T143	1
large_values[20]	10	1			T69	1		T118	1		T90	1
large_values[21]	14	1			T40	1		T9	1		T426	1
large_values[22]	17	1			T211	1		T78	1		T427	1
large_values[23]	21	1			T64	1		T194	1		T55	1
large_values[24]	18	1			T79	1		T264	1		T108	1
large_values[25]	14	1			T117	1		T69	1		T79	1
large_values[26]	13	1			T76	1		T96	1		T105	1
large_values[27]	24	1			T104	1		T120	1		T8	1
large_values[28]	20	1			T31	1		T145	1		T129	1
large_values[29]	19	1			T39	1		T306	1		T262	1
large_values[30]	15	1			T210	1		T51	1		T33	1
large_values[31]	11	1			T69	1		T108	1		T91	1
small_values[0]	87	1			T6	1		T213	1		T220	1
small_values[1]	107	1			T6	1		T74	1		T65	1
small_values[2]	86	1			T68	1		T20	1		T209	1
small_values[3]	80	1			T19	1		T68	1		T29	1
small_values[4]	106	1			T219	1		T45	1		T142	1