---

Detail Report for Assertions

Assertions Uncovered:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_ext_seed_sva.ExtDefaultSeedInputCheck_A	0	0	838865610	0	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_lockup_mechanism_sva.LfsrLockupCheck_A	0	0	838865610	0	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.p_randomize_default_seed.UseDefaultSeedRandomizeCheck_A	0	0	0	0	0	0

Assertions Success:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.CoeffCheck_A	0	0	838865610	838861782	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.DataKnownO_A	0	0	838865610	838861782	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.InputWidth_A	0	0	50	50	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NextStateCheck_A	0	0	838865610	838860750	0	50
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NoLockups_A	0	0	838865610	838860750	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.OutputKnown_A	0	0	838865610	838861782	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.OutputWidth_A	0	0	50	50	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_gal_xor.DefaultSeedNzCheck_A	0	0	50	50	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_gal_xor.gen_lut.MaxLfsrWidth_A	0	0	50	50	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_gal_xor.gen_lut.MinLfsrWidth_A	0	0	50	50	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck0_A	0	0	838865610	1082	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck1_A	0	0	838865610	838860700	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_perm_check.p_perm_check.PermutationCheck_A	0	0	50	50	0	0
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.p_randomize_default_seed.DefaultSeedLocalRandomizeCheck_A	0	0	50	50	0	0

Assertions Incomplete:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NextStateCheck_A	0	0	838865610	838860750	0	50

Assertions Without Attempts:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.p_randomize_default_seed.UseDefaultSeedRandomizeCheck_A	0	0	0	0	0	0