Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1500
Category 01500


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1500
Severity 01500


Summary for Assertions
NUMBERPERCENT
Total Number15100.00
Uncovered213.33
Success1386.67
Failure00.00
Incomplete16.67
Without Attempts00.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_ext_seed_sva.ExtDefaultSeedInputCheck_A 00838865378000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_lockup_mechanism_sva.LfsrLockupCheck_A 00838865378000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.CoeffCheck_A 0083886537883886175000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.DataKnownO_A 0083886537883886175000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.InputWidth_A 00505000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NextStateCheck_A 00838865378838860750050
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NoLockups_A 0083886537883886075000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.OutputKnown_A 0083886537883886175000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.OutputWidth_A 00505000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_gal_xor.DefaultSeedNzCheck_A 00505000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_gal_xor.gen_lut.MaxLfsrWidth_A 00505000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_gal_xor.gen_lut.MinLfsrWidth_A 00505000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck0_A 00838865378105000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_max_len_sva.MaximalLengthCheck1_A 0083886537883886070000
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.gen_perm_check.p_perm_check.PermutationCheck_A 00505000

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_lfsr_tb.gen_duts[24].i_prim_lfsr.NextStateCheck_A 00838865378838860750050

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%