Unified Coverage Report :: Group Instance : mubi8_cov_of_mubi8_cov_of_tb.dut.dai_secret0_read_lock_mubi_cov_if

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	9	1	10.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
others[0]	0	1	1
others[1]	0	1	1
others[2]	0	1	1
others[3]	0	1	1
others[4]	0	1	1
others[5]	0	1	1
others[6]	0	1	1
others[7]	0	1	1
true	0	1	1

Covered bins

NAME

COUNT

AT LEAST

STATUS

TEST

COUNT

TEST

COUNT

TEST

COUNT

false

13788

1

T1

1

T2

4

T3

7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	9	1	10.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
others[0]	0	1	1
others[1]	0	1	1
others[2]	0	1	1
others[3]	0	1	1
others[4]	0	1	1
others[5]	0	1	1
others[6]	0	1	1
others[7]	0	1	1
true	0	1	1

Covered bins

NAME

COUNT

AT LEAST

STATUS

TEST

COUNT

TEST

COUNT

TEST

COUNT

false

13788

1

T1

1

T2

4

T3

7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	8	2	20.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
others[0]	0	1	1
others[1]	0	1	1
others[2]	0	1	1
others[3]	0	1	1
others[4]	0	1	1
others[5]	0	1	1
others[6]	0	1	1
others[7]	0	1	1

Covered bins

NAME

COUNT

AT LEAST

STATUS

TEST

COUNT

TEST

COUNT

TEST

COUNT

false

9825

1

T1

1

T2

1

T3

4

true

16101

1

T1

1

T2

4

T3

7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	8	2	20.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
others[0]	0	1	1
others[1]	0	1	1
others[2]	0	1	1
others[3]	0	1	1
others[4]	0	1	1
others[5]	0	1	1
others[6]	0	1	1
others[7]	0	1	1

Covered bins

NAME

COUNT

AT LEAST

STATUS

TEST

COUNT

TEST

COUNT

TEST

COUNT

false

10710

1

T1

1

T2

2

T3

5

true

16160

1

T1

1

T2

5

T3

7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	106	1			T118	2		T120	2		T230	2
others[1]	70	1			T266	2		T409	2		T263	2
others[2]	84	1			T18	2		T106	2		T117	2
others[3]	78	1			T260	2		T319	2		T139	2
others[4]	88	1			T101	2		T55	2		T121	2
others[5]	102	1			T202	2		T259	2		T260	2
others[6]	78	1			T55	2		T232	2		T239	4
others[7]	86	1			T116	2		T118	2		T202	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	100	1			T120	2		T229	2		T410	2
others[1]	114	1			T114	2		T96	2		T120	2
others[2]	88	1			T18	2		T115	2		T118	2
others[3]	106	1			T101	2		T117	2		T232	2
others[4]	82	1			T18	2		T121	2		T202	2
others[5]	90	1			T259	2		T266	2		T74	4
others[6]	82	1			T19	2		T411	2		T260	2
others[7]	122	1			T118	2		T122	2		T202	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	112	1			T7	2		T115	2		T117	2
others[1]	100	1			T6	2		T111	2		T101	2
others[2]	82	1			T410	2		T74	2		T211	2
others[3]	114	1			T7	2		T19	2		T118	2
others[4]	122	1			T114	2		T118	2		T119	2
others[5]	70	1			T6	2		T7	2		T114	2
others[6]	118	1			T18	2		T19	2		T118	4
others[7]	106	1			T18	2		T118	2		T145	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	50	1			T121	2		T233	2		T206	2
others[1]	62	1			T117	2		T141	2		T120	2
others[2]	72	1			T142	2		T202	2		T239	2
others[3]	70	1			T19	2		T141	2		T120	2
others[4]	68	1			T117	2		T142	2		T233	2
others[5]	72	1			T121	2		T233	2		T209	2
others[6]	44	1			T120	4		T202	2		T263	2
others[7]	56	1			T115	2		T209	2		T279	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	66	1			T111	2		T260	2		T261	2
others[1]	86	1			T202	2		T260	2		T410	2
others[2]	108	1			T92	2		T111	2		T118	2
others[3]	86	1			T141	2		T196	2		T207	2
others[4]	100	1			T142	2		T239	2		T410	4
others[5]	94	1			T120	2		T121	2		T410	2
others[6]	90	1			T119	2		T372	2		T263	2
others[7]	80	1			T18	2		T118	2		T239	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	44	1			T412	2		T413	2		T157	6
others[1]	18	1			T7	2		T414	2		T157	2
others[2]	36	1			T122	2		T356	2		T274	2
others[3]	44	1			T230	2		T212	2		T140	2
others[4]	44	1			T55	2		T263	2		T139	2
others[5]	54	1			T230	2		T320	2		T355	2
others[6]	32	1			T118	2		T260	2		T261	2
others[7]	36	1			T118	2		T168	2		T259	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	92	1			T117	2		T118	2		T56	2
others[1]	98	1			T19	2		T117	2		T118	2
others[2]	100	1			T17	2		T259	2		T239	2
others[3]	84	1			T55	2		T232	2		T240	2
others[4]	66	1			T106	2		T117	2		T55	2
others[5]	102	1			T7	2		T117	2		T119	2
others[6]	62	1			T56	2		T319	2		T415	2
others[7]	118	1			T117	2		T121	2		T56	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	82	1			T120	2		T121	2		T56	2
others[1]	73	1			T230	2		T261	2		T212	2
others[2]	86	1			T117	4		T259	2		T77	2
others[3]	102	1			T239	2		T410	2		T372	4
others[4]	104	1			T7	2		T19	2		T117	2
others[5]	88	1			T118	4		T121	2		T77	2
others[6]	100	1			T18	2		T117	2		T411	2
others[7]	104	1			T7	2		T115	2		T117	2
false	13787	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	90	1			T142	2		T239	2		T230	2
others[1]	90	1			T18	2		T259	2		T207	2
others[2]	72	1			T230	2		T261	2		T207	2
others[3]	128	1			T117	2		T118	2		T119	2
others[4]	100	1			T97	2		T118	2		T261	4
others[5]	114	1			T117	2		T141	2		T119	2
others[6]	92	1			T6	2		T121	2		T74	4
others[7]	144	1			T118	2		T121	2		T259	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	90	1			T7	2		T18	2		T111	2
others[1]	84	1			T101	2		T119	2		T206	2
others[2]	94	1			T55	2		T232	2		T142	2
others[3]	96	1			T114	2		T121	2		T240	2
others[4]	90	1			T117	2		T141	2		T202	2
others[5]	86	1			T19	2		T111	2		T55	2
others[6]	106	1			T120	2		T121	2		T202	2
others[7]	110	1			T101	2		T114	2		T120	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
User Defined Bins	10	1	9	90.00

User Defined Bins for cp_value

Uncovered bins

NAME	COUNT	AT LEAST	NUMBER	STATUS
true	0	1	1

Covered bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	92	1			T117	2		T118	2		T141	2
others[1]	86	1			T141	2		T119	2		T233	2
others[2]	70	1			T7	2		T125	2		T119	2
others[3]	112	1			T259	2		T411	2		T239	2
others[4]	52	1			T416	2		T320	2		T263	2
others[5]	96	1			T92	2		T114	2		T55	2
others[6]	86	1			T141	2		T74	2		T209	2
others[7]	134	1			T141	2		T121	2		T259	2
false	13788	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	20	1			T153	2		T89	1		T417	2
others[1]	12	1			T14	1		T418	2		T419	2
others[2]	10	1			T148	1		T149	1		T420	1
others[3]	15	1			T92	2		T114	2		T16	1
others[4]	13	1			T323	2		T90	1		T370	2
others[5]	24	1			T168	2		T14	1		T421	2
others[6]	13	1			T74	2		T422	1		T149	1
others[7]	14	1			T117	2		T142	2		T89	1
false	13788	1			T1	1		T2	4		T3	7
true	2155	1			T12	1		T94	1		T129	2

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	15	1			T421	2		T323	2		T153	2
others[1]	16	1			T92	2		T114	2		T90	1
others[2]	9	1			T423	1		T424	3		T425	3
others[3]	15	1			T142	2		T274	2		T45	2
others[4]	12	1			T89	1		T419	2		T426	2
others[5]	19	1			T117	2		T74	2		T89	1
others[6]	19	1			T168	2		T14	1		T16	1
others[7]	16	1			T14	1		T148	1		T369	2
false	11164	1			T1	1		T2	3		T3	5
true	18288	1			T1	1		T2	5		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	74	1			T101	2		T120	2		T232	2
others[1]	98	1			T55	2		T202	2		T260	2
others[2]	84	1			T117	2		T118	4		T202	2
others[3]	82	1			T239	2		T260	2		T230	2
others[4]	96	1			T18	2		T260	2		T207	2
others[5]	82	1			T106	2		T55	2		T239	2
others[6]	98	1			T116	2		T121	2		T229	4
others[7]	78	1			T372	2		T427	2		T364	2
false	7555	1			T1	1		T2	3		T3	5
true	16218	1			T1	1		T2	5		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	112	1			T115	2		T117	2		T120	2
others[1]	82	1			T19	2		T122	2		T410	2
others[2]	92	1			T18	2		T118	2		T202	2
others[3]	120	1			T240	2		T202	4		T411	2
others[4]	96	1			T120	2		T416	2		T259	2
others[5]	104	1			T18	2		T101	2		T202	2
others[6]	92	1			T114	2		T96	2		T118	2
others[7]	86	1			T232	2		T409	2		T152	6
false	6543	1			T1	1		T2	1		T3	2
true	15982	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	112	1			T7	2		T18	2		T114	2
others[1]	96	1			T6	2		T7	2		T118	2
others[2]	96	1			T19	2		T120	2		T232	2
others[3]	100	1			T18	2		T115	2		T122	2
others[4]	94	1			T7	2		T101	2		T114	2
others[5]	110	1			T117	2		T118	2		T142	2
others[6]	94	1			T141	2		T119	4		T121	2
others[7]	122	1			T6	2		T19	2		T111	2
false	7009	1			T1	1		T2	1		T3	3
true	16005	1			T1	1		T2	4		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	17	1			T428	2		T429	2		T430	2
others[1]	18	1			T92	2		T431	2		T432	2
others[2]	15	1			T414	2		T21	1		T148	1
others[3]	11	1			T16	1		T197	2		T148	1
others[4]	13	1			T152	2		T433	2		T370	2
others[5]	18	1			T21	1		T382	2		T434	1
others[6]	6	1			T148	1		T291	1		T435	1
others[7]	18	1			T14	1		T16	1		T378	2
false	11099	1			T1	1		T2	3		T3	5
true	18269	1			T1	1		T2	5		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	58	1			T120	2		T436	2		T437	2
others[1]	62	1			T115	2		T117	2		T142	2
others[2]	62	1			T233	2		T209	4		T211	2
others[3]	58	1			T141	2		T120	2		T233	4
others[4]	60	1			T120	2		T121	2		T142	2
others[5]	54	1			T141	2		T120	2		T438	2
others[6]	66	1			T121	4		T202	2		T239	2
others[7]	74	1			T19	2		T117	2		T239	4
false	8640	1			T1	1		T2	3		T3	5
true	16211	1			T1	1		T2	5		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	16	1			T439	2		T440	2		T441	2
others[1]	22	1			T207	2		T442	2		T21	1
others[2]	19	1			T15	1		T443	2		T45	2
others[3]	18	1			T129	2		T45	2		T21	2
others[4]	12	1			T197	2		T271	1		T237	2
others[5]	11	1			T426	2		T444	2		T420	2
others[6]	11	1			T21	1		T423	1		T163	1
others[7]	13	1			T74	2		T370	2		T445	2
false	11060	1			T1	1		T2	3		T3	5
true	18227	1			T1	1		T2	5		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	110	1			T119	2		T121	2		T142	2
others[1]	84	1			T410	2		T261	2		T207	2
others[2]	94	1			T410	4		T207	2		T319	2
others[3]	82	1			T111	4		T118	2		T141	2
others[4]	74	1			T202	2		T259	2		T260	2
others[5]	90	1			T211	2		T31	2		T446	2
others[6]	74	1			T92	2		T118	2		T120	2
others[7]	102	1			T18	2		T119	2		T142	2
false	7497	1			T1	1		T2	3		T3	5
true	16172	1			T1	1		T2	5		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	15	1			T90	1		T370	2		T426	2
others[1]	26	1			T111	2		T14	1		T140	2
others[2]	21	1			T95	2		T16	1		T21	1
others[3]	15	1			T114	2		T271	1		T433	2
others[4]	9	1			T230	2		T152	2		T21	1
others[5]	16	1			T117	2		T447	2		T448	2
others[6]	14	1			T14	1		T90	1		T148	1
others[7]	20	1			T74	2		T211	2		T89	1
false	11002	1			T1	1		T2	3		T3	5
true	18210	1			T1	1		T2	5		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	42	1			T122	2		T259	2		T356	2
others[1]	32	1			T55	2		T157	2		T86	2
others[2]	40	1			T140	2		T274	2		T413	2
others[3]	38	1			T230	2		T449	2		T153	2
others[4]	30	1			T261	2		T263	2		T157	6
others[5]	28	1			T168	2		T260	2		T46	4
others[6]	42	1			T118	2		T355	2		T152	2
others[7]	56	1			T7	2		T118	2		T230	2
false	9568	1			T1	1		T2	3		T3	5
true	16173	1			T1	1		T2	5		T3	7

Summary for Variable cp_value

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

User Defined Bins for cp_value

Bins

NAME	COUNT	AT LEAST	STATUS		TEST	COUNT		TEST	COUNT		TEST	COUNT
others[0]	88	1			T117	2		T232	2		T239	2
others[1]	116	1			T17	2		T106	2		T55	2
others[2]	96	1			T55	2		T118	2		T206	2
others[3]	90	1			T117	4		T259	2		T230	2
others[4]	86	1			T7	2		T119	2		T121	2
others[5]	104	1			T121	2		T259	2		T74	2
others[6]	74	1			T19	2		T117	2		T207	2
others[7]	68	1			T117	2		T118	2		T56	2
false	6639	1			T1	1		T2	1		T3	2
true	15987	1			T1	1		T2	4		T3	7