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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total4300
Category 04300


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total4300
Severity 04300


Summary for Assertions
NUMBERPERCENT
Total Number43100.00
Uncovered613.95
Success3786.05
Failure00.00
Incomplete1023.26
Without Attempts00.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_alert_tb.i_alert_receiver.PingRequest0_A 00156692000
prim_alert_tb.i_alert_sender.gen_recov_assert.AlertState2_A 0041367000
prim_alert_tb.i_alert_sender.gen_sync_assert.InBandInitFsm_A 0073742000
prim_alert_tb.i_alert_sender.gen_sync_assert.InBandInitPing_A 0073742000
prim_alert_tb.i_alert_sender.gen_sync_assert.SigIntAck_A 0073742000
prim_alert_tb.i_alert_sender.gen_sync_assert.SigIntPing_A 0073742000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_alert_tb.i_alert_receiver.AckDiffOk_A 001559861181500160
prim_alert_tb.i_alert_receiver.AlertKnownO_A 0015669211984500
prim_alert_tb.i_alert_receiver.InBandInitRequest_A 00156692431700
prim_alert_tb.i_alert_receiver.InBandInitSequence_A 0015669242800
prim_alert_tb.i_alert_receiver.InitReq_A 0015669279900
prim_alert_tb.i_alert_receiver.IntegFailKnownO_A 0015669211984500
prim_alert_tb.i_alert_receiver.NoSpuriousAlertsDuringInit_A 001566921691500
prim_alert_tb.i_alert_receiver.NoSpuriousPingOksDuringInit_A 001566921646300
prim_alert_tb.i_alert_receiver.PingDiffOk_A 0015583211898500
prim_alert_tb.i_alert_receiver.PingOkBypassDuringInit_A 0015669257040
prim_alert_tb.i_alert_receiver.PingOkKnownO_A 0015669211984500
prim_alert_tb.i_alert_receiver.PingPKnownO_A 0015669211984500
prim_alert_tb.i_alert_receiver.PingPending_A 001566928390120
prim_alert_tb.i_alert_receiver.PingResponse0_A 0015669278000
prim_alert_tb.i_alert_receiver.gen_async_assert.Alert_A 0082950140400
prim_alert_tb.i_alert_receiver.gen_async_assert.PingResponse1_A 008295032900
prim_alert_tb.i_alert_receiver.gen_async_assert.SigInt_A 0082950250088
prim_alert_tb.i_alert_receiver.gen_sync_assert.Alert_A 0073742311700
prim_alert_tb.i_alert_receiver.gen_sync_assert.PingResponse1_A 007374234000
prim_alert_tb.i_alert_receiver.gen_sync_assert.SigInt_A 00737424000
prim_alert_tb.i_alert_sender.AlertHs_A 00156692110100
prim_alert_tb.i_alert_sender.AlertPKnownO_A 0015669211984500
prim_alert_tb.i_alert_sender.AlertState0_A 0015669211984500
prim_alert_tb.i_alert_sender.AlertTest1_A 001566928000
prim_alert_tb.i_alert_sender.AlertTestHs_A 001566928000
prim_alert_tb.i_alert_sender.gen_async_assert.DiffEncoding_A 00829505702703
prim_alert_tb.i_alert_sender.gen_async_assert.InBandInitFsm_A 00829501010156
prim_alert_tb.i_alert_sender.gen_async_assert.InBandInitPing_A 00829501010156
prim_alert_tb.i_alert_sender.gen_async_assert.PingHs_A 008295037701
prim_alert_tb.i_alert_sender.gen_async_assert.SigIntAck_A 00829501010196
prim_alert_tb.i_alert_sender.gen_async_assert.SigIntPing_A 00829501010196
prim_alert_tb.i_alert_sender.gen_fatal_assert.AlertState1_A 00115325656600
prim_alert_tb.i_alert_sender.gen_fatal_assert.AlertState2_A 001153254661700
prim_alert_tb.i_alert_sender.gen_fatal_assert.AlertState3_A 00115325425800
prim_alert_tb.i_alert_sender.gen_recov_assert.AlertState1_A 0041367643100
prim_alert_tb.i_alert_sender.gen_sync_assert.DiffEncoding_A 00737425149800
prim_alert_tb.i_alert_sender.gen_sync_assert.PingHs_A 007374236200

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_alert_tb.i_alert_receiver.AckDiffOk_A 001559861181500160
prim_alert_tb.i_alert_receiver.PingOkBypassDuringInit_A 0015669257040
prim_alert_tb.i_alert_receiver.PingPending_A 001566928390120
prim_alert_tb.i_alert_receiver.gen_async_assert.SigInt_A 0082950250088
prim_alert_tb.i_alert_sender.gen_async_assert.DiffEncoding_A 00829505702703
prim_alert_tb.i_alert_sender.gen_async_assert.InBandInitFsm_A 00829501010156
prim_alert_tb.i_alert_sender.gen_async_assert.InBandInitPing_A 00829501010156
prim_alert_tb.i_alert_sender.gen_async_assert.PingHs_A 008295037701
prim_alert_tb.i_alert_sender.gen_async_assert.SigIntAck_A 00829501010196
prim_alert_tb.i_alert_sender.gen_async_assert.SigIntPing_A 00829501010196

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