Unified Coverage Report :: Module :: prim_lfsr

Module : prim_lfsr

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.31	100.00	96.55	100.00		100.00	95.00

Source File(s) :
/workspace/prim_lfsr_dw_8_gal/sim-vcs/../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv

Module self-instances :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
prim_lfsr_tb.gen_duts[8].i_prim_lfsr	98.31	100.00	96.55	100.00		100.00	95.00

---

Module Instance : prim_lfsr_tb.gen_duts[8].i_prim_lfsr

Instance :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.31	100.00	96.55	100.00		100.00	95.00

Instance's subtree :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
98.31	100.00	96.55	100.00		100.00	95.00

Parent :

SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT	NAME
							prim_lfsr_tb

Subtrees :

NAME	SCORE	LINE	COND	TOGGLE	FSM	BRANCH	ASSERT
no children

Line Coverage for Module : prim_lfsr

	Line No.	Total	Covered	Percent
TOTAL		32	32	100.00
CONT_ASSIGN	296	1	1	100.00
CONT_ASSIGN	299	1	1	100.00
CONT_ASSIGN	345	1	1	100.00
CONT_ASSIGN	465	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
ALWAYS	487	3	3	100.00
ROUTINE	510	10	10	100.00
CONT_ASSIGN	610	1	1	100.00
CONT_ASSIGN	615	1	1	100.00
ALWAYS	618	5	5	100.00

WARNING: The source file '/workspace/prim_lfsr_dw_8_gal/sim-vcs/../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv' or '../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv' was not found, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
296	1	1
299	1	1
345	1	1
465	1	1
472	8	8
487	1	1
488	1	1
490	1	1
510	1	1
513	1	1
514	1	1
515	1	1
517	1	1
518	1	1
519	2	2
			MISSING_ELSE
520	1	1
523		unreachable
524		unreachable
525		unreachable
527		unreachable
528		unreachable
529		unreachable
530		unreachable
533		unreachable
536	1	1
610	1	1
615	1	1
618	1	1
619	1	1
620	1	1
622	1	1
623	1	1

---

Cond Coverage for Module : prim_lfsr

	Total	Covered	Percent
Conditions	29	28	96.55
Logical	29	28	96.55
Non-Logical	0	0
Event	0	0

 LINE       345
 EXPRESSION (seed_en_i ? seed_i : ((lfsr_en_i && lockup) ? DefaultSeedLocal : (lfsr_en_i ? next_lfsr_state : lfsr_q)))
             ----1----

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

 LINE       345
 SUB-EXPRESSION ((lfsr_en_i && lockup) ? DefaultSeedLocal : (lfsr_en_i ? next_lfsr_state : lfsr_q))
                 ----------1----------

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

 LINE       345
 SUB-EXPRESSION (lfsr_en_i && lockup)
                 ----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       345
 SUB-EXPRESSION (lfsr_en_i ? next_lfsr_state : lfsr_q)
                 ----1----

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

 LINE       514
 EXPRESSION (next_state == 8'b0)
            ----------1---------

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

 LINE       610
 EXPRESSION 
 Number  Term
      1  (lfsr_en_i && lockup) ? '0 : ((lfsr_en_i && (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val)) ? '0 : (lfsr_en_i ? ((gen_max_len_sva.cnt_q + 1'b1)) : gen_max_len_sva.cnt_q)))

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

 LINE       610
 SUB-EXPRESSION (lfsr_en_i && lockup)
                 ----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       610
 SUB-EXPRESSION ((lfsr_en_i && (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val)) ? '0 : (lfsr_en_i ? ((gen_max_len_sva.cnt_q + 1'b1)) : gen_max_len_sva.cnt_q))
                 --------------------------------1--------------------------------

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

 LINE       610
 SUB-EXPRESSION (lfsr_en_i && (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val))
                 ----1----    -------------------------2------------------------

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

 LINE       610
 SUB-EXPRESSION (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val)
                -------------------------1------------------------

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

 LINE       610
 SUB-EXPRESSION (lfsr_en_i ? ((gen_max_len_sva.cnt_q + 1'b1)) : gen_max_len_sva.cnt_q)
                 ----1----

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

 LINE       615
 EXPRESSION (gen_max_len_sva.perturbed_q | ((|entropy_i)) | seed_en_i)
             -------------1-------------   -------2------   ----3----

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

---

Toggle Coverage for Module : prim_lfsr

	Total	Covered	Percent
Totals	7	7	100.00
Total Bits	56	56	100.00
Total Bits 0->1	28	28	100.00
Total Bits 1->0	28	28	100.00

Ports	7	7	100.00
Port Bits	56	56	100.00
Port Bits 0->1	28	28	100.00
Port Bits 1->0	28	28	100.00

Port Details

Name	Toggle	Toggle 1->0	Tests	Toggle 0->1	Tests	Direction
clk_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
rst_ni	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
seed_en_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
seed_i[7:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
lfsr_en_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
entropy_i[7:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
state_o[7:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT

---

Branch Coverage for Module : prim_lfsr

	Line No.	Total	Covered	Percent
Branches		15	15	100.00
TERNARY	345	4	4	100.00
TERNARY	610	4	4	100.00
IF	487	2	2	100.00
IF	618	2	2	100.00
IF	513	3	3	100.00

WARNING: The source file /workspace/prim_lfsr_dw_8_gal/sim-vcs/../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv' or '../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv was not found/opened, so annotated branch coverage report could not be generated.

	LineNo.	Expression
-1-:	345	(seed_en_i) ? 
-2-:	345	((lfsr_en_i && lockup)) ? 
-3-:	345	(lfsr_en_i) ? 

Branches:

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

	LineNo.	Expression
-1-:	610	((lfsr_en_i && lockup)) ? 
-2-:	610	((lfsr_en_i && (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val))) ? 
-3-:	610	(lfsr_en_i) ? 

Branches:

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

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

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	513	if ((64'(LfsrType) == 64'("GAL_XOR")))
-2-:	514	if ((next_state == 8'b0))
-3-:	519	if (state0)
-4-:	523	if ((64'(LfsrType) == "FIB_XNOR"))
-5-:	524	if ((&next_state))

Branches:

-1-	-2-	-3-	-4-	-5-	Status	Tests
1	1	-	-	-	Covered	T1,T2,T3
1	0	1	-	-	Covered	T1,T2,T3
1	0	0	-	-	Covered	T1,T2,T3
0	-	-	1	1	Unreachable	T4,T5,T6
0	-	-	1	0	Unreachable	T4,T5,T6
0	-	-	0	-	Unreachable

---

Assert Coverage for Module : prim_lfsr

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	20	19	95.00	19	95.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	20	19	95.00	19	95.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
CoeffCheck_A	1678577652	1663247738	0	0
DataKnownO_A	1678577652	1663247738	0	0
InputWidth_A	298	298	0	0
NextStateCheck_A	1678577652	1661457465	0	298
NoLockups_A	1678577652	1660996619	0	0
OutputKnown_A	1678577652	1663247738	0	0
OutputWidth_A	298	298	0	0
gen_ext_seed_sva.ExtDefaultSeedInputCheck_A	1678577652	1017929	0	0
gen_fib_xnor.DefaultSeedNzCheck_A	148	148	0	0
gen_fib_xnor.gen_lut.MaxLfsrWidth_A	148	148	0	0
gen_fib_xnor.gen_lut.MinLfsrWidth_A	148	148	0	0
gen_gal_xor.DefaultSeedNzCheck_A	150	150	0	0
gen_gal_xor.gen_lut.MaxLfsrWidth_A	150	150	0	0
gen_gal_xor.gen_lut.MinLfsrWidth_A	150	150	0	0
gen_lockup_mechanism_sva.LfsrLockupCheck_A	1678577652	1407	0	0
gen_max_len_sva.MaximalLengthCheck0_A	1678577652	6950	0	0
gen_max_len_sva.MaximalLengthCheck1_A	1678577652	1660994732	0	0
gen_perm_check.p_perm_check.PermutationCheck_A	298	298	0	0
p_randomize_default_seed.DefaultSeedLocalRandomizeCheck_A	298	298	0	0
p_randomize_default_seed.UseDefaultSeedRandomizeCheck_A	0	0	0	0

CoeffCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	1663247738	0	0
T1	52552	7639	0	0
T2	74314	10116	0	0
T3	77354	9570	0	0
T7	75693	10032	0	0
T8	48928	6551	0	0
T9	70705	9075	0	0
T10	52840	6877	0	0
T11	41194	5569	0	0
T12	73022	9151	0	0
T13	60747	8364	0	0
T14	168220	167828	0	0
T15	168319	167844	0	0
T16	168461	167862	0	0
T17	168515	167869	0	0
T18	168392	167850	0	0
T19	168265	167834	0	0
T20	168178	167823	0	0
T21	168345	167850	0	0
T22	168329	167843	0	0
T23	168351	167847	0	0

DataKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	1663247738	0	0
T1	52552	7639	0	0
T2	74314	10116	0	0
T3	77354	9570	0	0
T7	75693	10032	0	0
T8	48928	6551	0	0
T9	70705	9075	0	0
T10	52840	6877	0	0
T11	41194	5569	0	0
T12	73022	9151	0	0
T13	60747	8364	0	0
T14	168220	167828	0	0
T15	168319	167844	0	0
T16	168461	167862	0	0
T17	168515	167869	0	0
T18	168392	167850	0	0
T19	168265	167834	0	0
T20	168178	167823	0	0
T21	168345	167850	0	0
T22	168329	167843	0	0
T23	168351	167847	0	0

InputWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	298	298	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0
T21	1	1	0	0
T22	1	1	0	0
T23	1	1	0	0

NextStateCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	1661457465	0	298
T1	52552	1871	0	1
T2	74314	2249	0	1
T3	77354	2165	0	1
T7	75693	2298	0	1
T8	48928	1565	0	1
T9	70705	2073	0	1
T10	52840	1630	0	1
T11	41194	1368	0	1
T12	73022	2068	0	1
T13	60747	1975	0	1
T14	168220	167784	0	1
T15	168319	167786	0	1
T16	168461	167790	0	1
T17	168515	167792	0	1
T18	168392	167788	0	1
T19	168265	167784	0	1
T20	168178	167782	0	1
T21	168345	167788	0	1
T22	168329	167786	0	1
T23	168351	167788	0	1

NoLockups_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	1660996619	0	0
T1	52552	260	0	0
T2	74314	264	0	0
T3	77354	268	0	0
T7	75693	266	0	0
T8	48928	260	0	0
T9	70705	264	0	0
T10	52840	258	0	0
T11	41194	258	0	0
T12	73022	266	0	0
T13	60747	262	0	0
T14	168220	167772	0	0
T15	168319	167772	0	0
T16	168461	167772	0	0
T17	168515	167772	0	0
T18	168392	167772	0	0
T19	168265	167772	0	0
T20	168178	167772	0	0
T21	168345	167772	0	0
T22	168329	167772	0	0
T23	168351	167772	0	0

OutputKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	1663247738	0	0
T1	52552	7639	0	0
T2	74314	10116	0	0
T3	77354	9570	0	0
T7	75693	10032	0	0
T8	48928	6551	0	0
T9	70705	9075	0	0
T10	52840	6877	0	0
T11	41194	5569	0	0
T12	73022	9151	0	0
T13	60747	8364	0	0
T14	168220	167828	0	0
T15	168319	167844	0	0
T16	168461	167862	0	0
T17	168515	167869	0	0
T18	168392	167850	0	0
T19	168265	167834	0	0
T20	168178	167823	0	0
T21	168345	167850	0	0
T22	168329	167843	0	0
T23	168351	167847	0	0

OutputWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	298	298	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0
T21	1	1	0	0
T22	1	1	0	0
T23	1	1	0	0

gen_ext_seed_sva.ExtDefaultSeedInputCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	1017929	0	0
T1	52552	3332	0	0
T2	74314	4528	0	0
T3	77354	4123	0	0
T7	75693	4426	0	0
T8	48928	2869	0	0
T9	70705	3940	0	0
T10	52840	2953	0	0
T11	41194	2353	0	0
T12	73022	4037	0	0
T13	60747	3683	0	0
T14	168220	2572	0	0
T15	168319	3297	0	0
T16	168461	4114	0	0
T17	168515	4412	0	0
T18	168392	3586	0	0
T19	168265	2841	0	0
T20	168178	2306	0	0
T21	168345	3595	0	0
T22	168329	3255	0	0
T23	168351	3465	0	0

gen_fib_xnor.DefaultSeedNzCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	148	148	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0
T21	1	1	0	0
T22	1	1	0	0
T23	1	1	0	0
T24	1	1	0	0
T25	1	1	0	0
T26	1	1	0	0
T27	1	1	0	0
T28	1	1	0	0
T29	1	1	0	0
T30	1	1	0	0

gen_fib_xnor.gen_lut.MaxLfsrWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	148	148	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0
T21	1	1	0	0
T22	1	1	0	0
T23	1	1	0	0
T24	1	1	0	0
T25	1	1	0	0
T26	1	1	0	0
T27	1	1	0	0
T28	1	1	0	0
T29	1	1	0	0
T30	1	1	0	0

gen_fib_xnor.gen_lut.MinLfsrWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	148	148	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0
T21	1	1	0	0
T22	1	1	0	0
T23	1	1	0	0
T24	1	1	0	0
T25	1	1	0	0
T26	1	1	0	0
T27	1	1	0	0
T28	1	1	0	0
T29	1	1	0	0
T30	1	1	0	0

gen_gal_xor.DefaultSeedNzCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	150	150	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T31	1	1	0	0
T32	1	1	0	0
T33	1	1	0	0
T34	1	1	0	0
T35	1	1	0	0
T36	1	1	0	0
T37	1	1	0	0
T38	1	1	0	0
T39	1	1	0	0
T40	1	1	0	0

gen_gal_xor.gen_lut.MaxLfsrWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	150	150	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T31	1	1	0	0
T32	1	1	0	0
T33	1	1	0	0
T34	1	1	0	0
T35	1	1	0	0
T36	1	1	0	0
T37	1	1	0	0
T38	1	1	0	0
T39	1	1	0	0
T40	1	1	0	0

gen_gal_xor.gen_lut.MinLfsrWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	150	150	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T31	1	1	0	0
T32	1	1	0	0
T33	1	1	0	0
T34	1	1	0	0
T35	1	1	0	0
T36	1	1	0	0
T37	1	1	0	0
T38	1	1	0	0
T39	1	1	0	0
T40	1	1	0	0

gen_lockup_mechanism_sva.LfsrLockupCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	1407	0	0
T1	52552	8	0	0
T2	74314	11	0	0
T3	77354	10	0	0
T7	75693	5	0	0
T8	48928	3	0	0
T9	70705	7	0	0
T10	52840	5	0	0
T11	41194	4	0	0
T12	73022	4	0	0
T13	60747	3	0	0
T14	168220	1	0	0
T15	168319	1	0	0
T16	168461	1	0	0
T17	168515	1	0	0
T18	168392	1	0	0
T19	168265	1	0	0
T20	168178	1	0	0
T21	168345	1	0	0
T22	168329	1	0	0
T23	168351	1	0	0

gen_max_len_sva.MaximalLengthCheck0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	6950	0	0
T1	52552	23	0	0
T2	74314	15	0	0
T3	77354	24	0	0
T7	75693	33	0	0
T8	48928	14	0	0
T9	70705	36	0	0
T10	52840	19	0	0
T11	41194	26	0	0
T12	73022	24	0	0
T13	60747	23	0	0
T14	168220	13	0	0
T15	168319	22	0	0
T16	168461	19	0	0
T17	168515	27	0	0
T18	168392	21	0	0
T19	168265	20	0	0
T20	168178	30	0	0
T21	168345	29	0	0
T22	168329	30	0	0
T23	168351	23	0	0

gen_max_len_sva.MaximalLengthCheck1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	1678577652	1660994732	0	0
T1	52552	254	0	0
T2	74314	254	0	0
T3	77354	254	0	0
T7	75693	254	0	0
T8	48928	254	0	0
T9	70705	254	0	0
T10	52840	254	0	0
T11	41194	254	0	0
T12	73022	254	0	0
T13	60747	254	0	0
T14	168220	167772	0	0
T15	168319	167772	0	0
T16	168461	167772	0	0
T17	168515	167772	0	0
T18	168392	167772	0	0
T19	168265	167772	0	0
T20	168178	167772	0	0
T21	168345	167772	0	0
T22	168329	167772	0	0
T23	168351	167772	0	0

gen_perm_check.p_perm_check.PermutationCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	298	298	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0
T21	1	1	0	0
T22	1	1	0	0
T23	1	1	0	0

p_randomize_default_seed.DefaultSeedLocalRandomizeCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	298	298	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0
T14	1	1	0	0
T15	1	1	0	0
T16	1	1	0	0
T17	1	1	0	0
T18	1	1	0	0
T19	1	1	0	0
T20	1	1	0	0
T21	1	1	0	0
T22	1	1	0	0
T23	1	1	0	0

Line Coverage for Instance : prim_lfsr_tb.gen_duts[8].i_prim_lfsr

	Line No.	Total	Covered	Percent
TOTAL		32	32	100.00
CONT_ASSIGN	296	1	1	100.00
CONT_ASSIGN	299	1	1	100.00
CONT_ASSIGN	345	1	1	100.00
CONT_ASSIGN	465	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
CONT_ASSIGN	472	1	1	100.00
ALWAYS	487	3	3	100.00
ROUTINE	510	10	10	100.00
CONT_ASSIGN	610	1	1	100.00
CONT_ASSIGN	615	1	1	100.00
ALWAYS	618	5	5	100.00

WARNING: The source file '/workspace/prim_lfsr_dw_8_gal/sim-vcs/../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv' or '../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv' was not found, so annotated line coverage report could not be generated.

Line No.	Covered	Statements
296	1	1
299	1	1
345	1	1
465	1	1
472	8	8
487	1	1
488	1	1
490	1	1
510	1	1
513	1	1
514	1	1
515	1	1
517	1	1
518	1	1
519	2	2
			MISSING_ELSE
520	1	1
523		unreachable
524		unreachable
525		unreachable
527		unreachable
528		unreachable
529		unreachable
530		unreachable
533		unreachable
536	1	1
610	1	1
615	1	1
618	1	1
619	1	1
620	1	1
622	1	1
623	1	1

---

Cond Coverage for Instance : prim_lfsr_tb.gen_duts[8].i_prim_lfsr

	Total	Covered	Percent
Conditions	29	28	96.55
Logical	29	28	96.55
Non-Logical	0	0
Event	0	0

 LINE       345
 EXPRESSION (seed_en_i ? seed_i : ((lfsr_en_i && lockup) ? DefaultSeedLocal : (lfsr_en_i ? next_lfsr_state : lfsr_q)))
             ----1----

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

 LINE       345
 SUB-EXPRESSION ((lfsr_en_i && lockup) ? DefaultSeedLocal : (lfsr_en_i ? next_lfsr_state : lfsr_q))
                 ----------1----------

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

 LINE       345
 SUB-EXPRESSION (lfsr_en_i && lockup)
                 ----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       345
 SUB-EXPRESSION (lfsr_en_i ? next_lfsr_state : lfsr_q)
                 ----1----

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

 LINE       514
 EXPRESSION (next_state == 8'b0)
            ----------1---------

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

 LINE       610
 EXPRESSION 
 Number  Term
      1  (lfsr_en_i && lockup) ? '0 : ((lfsr_en_i && (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val)) ? '0 : (lfsr_en_i ? ((gen_max_len_sva.cnt_q + 1'b1)) : gen_max_len_sva.cnt_q)))

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

 LINE       610
 SUB-EXPRESSION (lfsr_en_i && lockup)
                 ----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       610
 SUB-EXPRESSION ((lfsr_en_i && (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val)) ? '0 : (lfsr_en_i ? ((gen_max_len_sva.cnt_q + 1'b1)) : gen_max_len_sva.cnt_q))
                 --------------------------------1--------------------------------

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

 LINE       610
 SUB-EXPRESSION (lfsr_en_i && (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val))
                 ----1----    -------------------------2------------------------

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

 LINE       610
 SUB-EXPRESSION (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val)
                -------------------------1------------------------

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

 LINE       610
 SUB-EXPRESSION (lfsr_en_i ? ((gen_max_len_sva.cnt_q + 1'b1)) : gen_max_len_sva.cnt_q)
                 ----1----

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

 LINE       615
 EXPRESSION (gen_max_len_sva.perturbed_q | ((|entropy_i)) | seed_en_i)
             -------------1-------------   -------2------   ----3----

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

---

Toggle Coverage for Instance : prim_lfsr_tb.gen_duts[8].i_prim_lfsr

	Total	Covered	Percent
Totals	7	7	100.00
Total Bits	56	56	100.00
Total Bits 0->1	28	28	100.00
Total Bits 1->0	28	28	100.00

Ports	7	7	100.00
Port Bits	56	56	100.00
Port Bits 0->1	28	28	100.00
Port Bits 1->0	28	28	100.00

Port Details

Name	Toggle	Toggle 1->0	Tests	Toggle 0->1	Tests	Direction
clk_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
rst_ni	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
seed_en_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
seed_i[7:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
lfsr_en_i	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
entropy_i[7:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	INPUT
state_o[7:0]	Yes	Yes	T1,T2,T3	Yes	T1,T2,T3	OUTPUT

---

Branch Coverage for Instance : prim_lfsr_tb.gen_duts[8].i_prim_lfsr

	Line No.	Total	Covered	Percent
Branches		15	15	100.00
TERNARY	345	4	4	100.00
TERNARY	610	4	4	100.00
IF	487	2	2	100.00
IF	618	2	2	100.00
IF	513	3	3	100.00

WARNING: The source file /workspace/prim_lfsr_dw_8_gal/sim-vcs/../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv' or '../src/lowrisc_prim_lfsr_0.1/rtl/prim_lfsr.sv was not found/opened, so annotated branch coverage report could not be generated.

	LineNo.	Expression
-1-:	345	(seed_en_i) ? 
-2-:	345	((lfsr_en_i && lockup)) ? 
-3-:	345	(lfsr_en_i) ? 

Branches:

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

	LineNo.	Expression
-1-:	610	((lfsr_en_i && lockup)) ? 
-2-:	610	((lfsr_en_i && (gen_max_len_sva.cnt_q == gen_max_len_sva.cmp_val))) ? 
-3-:	610	(lfsr_en_i) ? 

Branches:

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

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

Branches:

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

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

Branches:

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

	LineNo.	Expression
-1-:	513	if ((64'(LfsrType) == 64'("GAL_XOR")))
-2-:	514	if ((next_state == 8'b0))
-3-:	519	if (state0)
-4-:	523	if ((64'(LfsrType) == "FIB_XNOR"))
-5-:	524	if ((&next_state))

Branches:

-1-	-2-	-3-	-4-	-5-	Status	Tests
1	1	-	-	-	Covered	T1,T2,T3
1	0	1	-	-	Covered	T1,T2,T3
1	0	0	-	-	Covered	T1,T2,T3
0	-	-	1	1	Unreachable	T4,T5,T6
0	-	-	1	0	Unreachable	T4,T5,T6
0	-	-	0	-	Unreachable

---

Assert Coverage for Instance : prim_lfsr_tb.gen_duts[8].i_prim_lfsr

	Total	Attempted	Percent	Succeeded/Matched	Percent
Assertions	20	19	95.00	19	95.00
Cover properties	0	0		0
Cover sequences	0	0		0
Total	20	19	95.00	19	95.00

---

Assertion Details

Name	Attempts	Real Successes	Failures	Incomplete
CoeffCheck_A	11901053	1568859	0	0
DataKnownO_A	11901053	1568859	0	0
InputWidth_A	199	199	0	0
NextStateCheck_A	11901053	362521	0	199
NoLockups_A	11901053	52235	0	0
OutputKnown_A	11901053	1568859	0	0
OutputWidth_A	199	199	0	0
gen_ext_seed_sva.ExtDefaultSeedInputCheck_A	11901053	685901	0	0
gen_fib_xnor.DefaultSeedNzCheck_A	99	99	0	0
gen_fib_xnor.gen_lut.MaxLfsrWidth_A	99	99	0	0
gen_fib_xnor.gen_lut.MinLfsrWidth_A	99	99	0	0
gen_gal_xor.DefaultSeedNzCheck_A	100	100	0	0
gen_gal_xor.gen_lut.MaxLfsrWidth_A	100	100	0	0
gen_gal_xor.gen_lut.MinLfsrWidth_A	100	100	0	0
gen_lockup_mechanism_sva.LfsrLockupCheck_A	11901053	1308	0	0
gen_max_len_sva.MaximalLengthCheck0_A	11901053	4658	0	0
gen_max_len_sva.MaximalLengthCheck1_A	11901053	50546	0	0
gen_perm_check.p_perm_check.PermutationCheck_A	199	199	0	0
p_randomize_default_seed.DefaultSeedLocalRandomizeCheck_A	199	199	0	0
p_randomize_default_seed.UseDefaultSeedRandomizeCheck_A	0	0	0	0

CoeffCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	1568859	0	0
T1	52552	7639	0	0
T2	74314	10116	0	0
T3	77354	9570	0	0
T7	75693	10032	0	0
T8	48928	6551	0	0
T9	70705	9075	0	0
T10	52840	6877	0	0
T11	41194	5569	0	0
T12	73022	9151	0	0
T13	60747	8364	0	0

DataKnownO_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	1568859	0	0
T1	52552	7639	0	0
T2	74314	10116	0	0
T3	77354	9570	0	0
T7	75693	10032	0	0
T8	48928	6551	0	0
T9	70705	9075	0	0
T10	52840	6877	0	0
T11	41194	5569	0	0
T12	73022	9151	0	0
T13	60747	8364	0	0

InputWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	199	199	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

NextStateCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	362521	0	199
T1	52552	1871	0	1
T2	74314	2249	0	1
T3	77354	2165	0	1
T7	75693	2298	0	1
T8	48928	1565	0	1
T9	70705	2073	0	1
T10	52840	1630	0	1
T11	41194	1368	0	1
T12	73022	2068	0	1
T13	60747	1975	0	1

NoLockups_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	52235	0	0
T1	52552	260	0	0
T2	74314	264	0	0
T3	77354	268	0	0
T7	75693	266	0	0
T8	48928	260	0	0
T9	70705	264	0	0
T10	52840	258	0	0
T11	41194	258	0	0
T12	73022	266	0	0
T13	60747	262	0	0

OutputKnown_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	1568859	0	0
T1	52552	7639	0	0
T2	74314	10116	0	0
T3	77354	9570	0	0
T7	75693	10032	0	0
T8	48928	6551	0	0
T9	70705	9075	0	0
T10	52840	6877	0	0
T11	41194	5569	0	0
T12	73022	9151	0	0
T13	60747	8364	0	0

OutputWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	199	199	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

gen_ext_seed_sva.ExtDefaultSeedInputCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	685901	0	0
T1	52552	3332	0	0
T2	74314	4528	0	0
T3	77354	4123	0	0
T7	75693	4426	0	0
T8	48928	2869	0	0
T9	70705	3940	0	0
T10	52840	2953	0	0
T11	41194	2353	0	0
T12	73022	4037	0	0
T13	60747	3683	0	0

gen_fib_xnor.DefaultSeedNzCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	99	99	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T24	1	1	0	0
T25	1	1	0	0
T26	1	1	0	0
T27	1	1	0	0
T28	1	1	0	0
T29	1	1	0	0
T30	1	1	0	0

gen_fib_xnor.gen_lut.MaxLfsrWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	99	99	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T24	1	1	0	0
T25	1	1	0	0
T26	1	1	0	0
T27	1	1	0	0
T28	1	1	0	0
T29	1	1	0	0
T30	1	1	0	0

gen_fib_xnor.gen_lut.MinLfsrWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	99	99	0	0
T4	1	1	0	0
T5	1	1	0	0
T6	1	1	0	0
T24	1	1	0	0
T25	1	1	0	0
T26	1	1	0	0
T27	1	1	0	0
T28	1	1	0	0
T29	1	1	0	0
T30	1	1	0	0

gen_gal_xor.DefaultSeedNzCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	100	100	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

gen_gal_xor.gen_lut.MaxLfsrWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	100	100	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

gen_gal_xor.gen_lut.MinLfsrWidth_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	100	100	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

gen_lockup_mechanism_sva.LfsrLockupCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	1308	0	0
T1	52552	8	0	0
T2	74314	11	0	0
T3	77354	10	0	0
T7	75693	5	0	0
T8	48928	3	0	0
T9	70705	7	0	0
T10	52840	5	0	0
T11	41194	4	0	0
T12	73022	4	0	0
T13	60747	3	0	0

gen_max_len_sva.MaximalLengthCheck0_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	4658	0	0
T1	52552	23	0	0
T2	74314	15	0	0
T3	77354	24	0	0
T7	75693	33	0	0
T8	48928	14	0	0
T9	70705	36	0	0
T10	52840	19	0	0
T11	41194	26	0	0
T12	73022	24	0	0
T13	60747	23	0	0

gen_max_len_sva.MaximalLengthCheck1_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	11901053	50546	0	0
T1	52552	254	0	0
T2	74314	254	0	0
T3	77354	254	0	0
T7	75693	254	0	0
T8	48928	254	0	0
T9	70705	254	0	0
T10	52840	254	0	0
T11	41194	254	0	0
T12	73022	254	0	0
T13	60747	254	0	0

gen_perm_check.p_perm_check.PermutationCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	199	199	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0

p_randomize_default_seed.DefaultSeedLocalRandomizeCheck_A

Name	Attempts	Real Successes	Failures	Incomplete
Total	199	199	0	0
T1	1	1	0	0
T2	1	1	0	0
T3	1	1	0	0
T7	1	1	0	0
T8	1	1	0	0
T9	1	1	0	0
T10	1	1	0	0
T11	1	1	0	0
T12	1	1	0	0
T13	1	1	0	0