Detail Report for Assertions
Assertions Uncovered:
| 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 | |
| prim_lfsr_tb.gen_duts[8].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 | 1683453435 | 1678458815 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.DataKnownO_A | 0 | 0 | 1683453435 | 1678458815 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.InputWidth_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NextStateCheck_A | 0 | 0 | 1683453435 | 1677873175 | 0 | 100 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NoLockups_A | 0 | 0 | 1683453435 | 1677721600 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.OutputKnown_A | 0 | 0 | 1683453435 | 1678458815 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.OutputWidth_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_ext_seed_sva.ExtDefaultSeedInputCheck_A | 0 | 0 | 1683453435 | 333168 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_fib_xnor.DefaultSeedNzCheck_A | 0 | 0 | 50 | 50 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_fib_xnor.gen_lut.MaxLfsrWidth_A | 0 | 0 | 50 | 50 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_fib_xnor.gen_lut.MinLfsrWidth_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_lockup_mechanism_sva.LfsrLockupCheck_A | 0 | 0 | 1683453435 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck0_A | 0 | 0 | 1683453435 | 2144 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck1_A | 0 | 0 | 1683453435 | 1677721400 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_perm_check.p_perm_check.PermutationCheck_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.p_randomize_default_seed.DefaultSeedLocalRandomizeCheck_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.CoeffCheck_A | 0 | 0 | 11735000 | 1545043 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.DataKnownO_A | 0 | 0 | 11735000 | 1545043 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.InputWidth_A | 0 | 0 | 200 | 200 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.NextStateCheck_A | 0 | 0 | 11735000 | 357123 | 0 | 200 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.NoLockups_A | 0 | 0 | 11735000 | 52504 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.OutputKnown_A | 0 | 0 | 11735000 | 1545043 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.OutputWidth_A | 0 | 0 | 200 | 200 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_ext_seed_sva.ExtDefaultSeedInputCheck_A | 0 | 0 | 11735000 | 675694 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_fib_xnor.DefaultSeedNzCheck_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_fib_xnor.gen_lut.MaxLfsrWidth_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_fib_xnor.gen_lut.MinLfsrWidth_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_gal_xor.DefaultSeedNzCheck_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_gal_xor.gen_lut.MaxLfsrWidth_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_gal_xor.gen_lut.MinLfsrWidth_A | 0 | 0 | 100 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_lockup_mechanism_sva.LfsrLockupCheck_A | 0 | 0 | 11735000 | 1374 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck0_A | 0 | 0 | 11735000 | 4573 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck1_A | 0 | 0 | 11735000 | 50800 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_perm_check.p_perm_check.PermutationCheck_A | 0 | 0 | 200 | 200 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.p_randomize_default_seed.DefaultSeedLocalRandomizeCheck_A | 0 | 0 | 200 | 200 | 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 | 1683453435 | 1677873175 | 0 | 100 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.NextStateCheck_A | 0 | 0 | 11735000 | 357123 | 0 | 200 |
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 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.p_randomize_default_seed.UseDefaultSeedRandomizeCheck_A | 0 | 0 | 0 | 0 | 0 | 0 |