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
Incomplete818.60
Without Attempts00.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   SRC   
prim_alert_tb.i_alert_receiver.PingRequest0_A 00155910000
prim_alert_tb.i_alert_sender.gen_recov_assert.AlertState2_A 0040088000
prim_alert_tb.i_alert_sender.gen_sync_assert.InBandInitFsm_A 0074015000
prim_alert_tb.i_alert_sender.gen_sync_assert.InBandInitPing_A 0074015000
prim_alert_tb.i_alert_sender.gen_sync_assert.SigIntAck_A 0074015000
prim_alert_tb.i_alert_sender.gen_sync_assert.SigIntPing_A 0074015000

Assertions Success:
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   SRC   
prim_alert_tb.i_alert_receiver.AckDiffOk_A 001552191167370158
prim_alert_tb.i_alert_receiver.AlertKnownO_A 0015591011841100
prim_alert_tb.i_alert_receiver.InBandInitRequest_A 00155910418700
prim_alert_tb.i_alert_receiver.InBandInitSequence_A 0015591041900
prim_alert_tb.i_alert_receiver.InitReq_A 0015591076700
prim_alert_tb.i_alert_receiver.IntegFailKnownO_A 0015591011841100
prim_alert_tb.i_alert_receiver.NoSpuriousAlertsDuringInit_A 001559101648500
prim_alert_tb.i_alert_receiver.NoSpuriousPingOksDuringInit_A 001559101614200
prim_alert_tb.i_alert_receiver.PingDiffOk_A 0015500211750300
prim_alert_tb.i_alert_receiver.PingOkBypassDuringInit_A 0015591043040
prim_alert_tb.i_alert_receiver.PingOkKnownO_A 0015591011841100
prim_alert_tb.i_alert_receiver.PingPKnownO_A 0015591011841100
prim_alert_tb.i_alert_receiver.PingPending_A 001559108290119
prim_alert_tb.i_alert_receiver.PingResponse0_A 0015591077500
prim_alert_tb.i_alert_receiver.gen_async_assert.Alert_A 0081895137800
prim_alert_tb.i_alert_receiver.gen_async_assert.PingResponse1_A 008189533000
prim_alert_tb.i_alert_receiver.gen_async_assert.SigInt_A 0081895238099
prim_alert_tb.i_alert_receiver.gen_sync_assert.Alert_A 0074015314400
prim_alert_tb.i_alert_receiver.gen_sync_assert.PingResponse1_A 007401535500
prim_alert_tb.i_alert_receiver.gen_sync_assert.SigInt_A 00740154000
prim_alert_tb.i_alert_sender.AlertHs_A 00155910110000
prim_alert_tb.i_alert_sender.AlertPKnownO_A 0015591011841100
prim_alert_tb.i_alert_sender.AlertState0_A 0015591011841100
prim_alert_tb.i_alert_sender.AlertTest1_A 001559107900
prim_alert_tb.i_alert_sender.AlertTestHs_A 001559107900
prim_alert_tb.i_alert_sender.gen_async_assert.DiffEncoding_A 00818955593900
prim_alert_tb.i_alert_sender.gen_async_assert.InBandInitFsm_A 00818951180156
prim_alert_tb.i_alert_sender.gen_async_assert.InBandInitPing_A 00818951180156
prim_alert_tb.i_alert_sender.gen_async_assert.PingHs_A 008189537000
prim_alert_tb.i_alert_sender.gen_async_assert.SigIntAck_A 00818951180195
prim_alert_tb.i_alert_sender.gen_async_assert.SigIntPing_A 00818951180195
prim_alert_tb.i_alert_sender.gen_fatal_assert.AlertState1_A 00115822657000
prim_alert_tb.i_alert_sender.gen_fatal_assert.AlertState2_A 001158224664900
prim_alert_tb.i_alert_sender.gen_fatal_assert.AlertState3_A 00115822427600
prim_alert_tb.i_alert_sender.gen_recov_assert.AlertState1_A 0040088643500
prim_alert_tb.i_alert_sender.gen_sync_assert.DiffEncoding_A 00740155139000
prim_alert_tb.i_alert_sender.gen_sync_assert.PingHs_A 007401537300

Assertions Incomplete:
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   SRC   
prim_alert_tb.i_alert_receiver.AckDiffOk_A 001552191167370158
prim_alert_tb.i_alert_receiver.PingOkBypassDuringInit_A 0015591043040
prim_alert_tb.i_alert_receiver.PingPending_A 001559108290119
prim_alert_tb.i_alert_receiver.gen_async_assert.SigInt_A 0081895238099
prim_alert_tb.i_alert_sender.gen_async_assert.InBandInitFsm_A 00818951180156
prim_alert_tb.i_alert_sender.gen_async_assert.InBandInitPing_A 00818951180156
prim_alert_tb.i_alert_sender.gen_async_assert.SigIntAck_A 00818951180195
prim_alert_tb.i_alert_sender.gen_async_assert.SigIntPing_A 00818951180195