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 | 1683541415 | 1678470369 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.DataKnownO_A | 0 | 0 | 1683541415 | 1678470369 | 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 | 1683541415 | 1677875307 | 0 | 100 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NoLockups_A | 0 | 0 | 1683541415 | 1677721600 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.OutputKnown_A | 0 | 0 | 1683541415 | 1678470369 | 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 | 1683541415 | 338903 | 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 | 1683541415 | 100 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck0_A | 0 | 0 | 1683541415 | 2326 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck1_A | 0 | 0 | 1683541415 | 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 | 11892166 | 1569487 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.DataKnownO_A | 0 | 0 | 11892166 | 1569487 | 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 | 11892166 | 362618 | 0 | 200 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.NoLockups_A | 0 | 0 | 11892166 | 52541 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.OutputKnown_A | 0 | 0 | 11892166 | 1569487 | 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 | 11892166 | 686258 | 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 | 11892166 | 1375 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck0_A | 0 | 0 | 11892166 | 4438 | 0 | 0 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck1_A | 0 | 0 | 11892166 | 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 | 1683541415 | 1677875307 | 0 | 100 | |
| prim_lfsr_tb.gen_duts[8].i_prim_lfsr.NextStateCheck_A | 0 | 0 | 11892166 | 362618 | 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 |