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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total2700
Category 02700


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total2700
Severity 02700


Summary for Assertions
NUMBERPERCENT
Total Number27100.00
Uncovered414.81
Success2385.19
Failure00.00
Incomplete518.52
Without Attempts00.00


Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_esc_tb.i_esc_receiver.EscCntWrap_A 009743000
prim_esc_tb.i_esc_sender.PingCheck_A 0097430020
prim_esc_tb.i_esc_sender.SigIntCheck1_A 0097430020
prim_esc_tb.i_esc_sender.SigIntCheck2_A 0097430020

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_esc_tb.i_esc_receiver.DiffEncCheck_A 009743510000
prim_esc_tb.i_esc_receiver.EscCntEsc_A 0097432000
prim_esc_tb.i_esc_receiver.EscEnCheck_A 00974333900
prim_esc_tb.i_esc_receiver.EscEnKnownO_A 009743520000
prim_esc_tb.i_esc_receiver.EscRespCheck_A 009743359020
prim_esc_tb.i_esc_receiver.PingRespCheck_A 00974346020
prim_esc_tb.i_esc_receiver.RespPKnownO_A 009743520000
prim_esc_tb.i_esc_receiver.SigIntCheck0_A 0097434000
prim_esc_tb.i_esc_receiver.SigIntCheck1_A 0097434000
prim_esc_tb.i_esc_receiver.SigIntCheck2_A 0097434000
prim_esc_tb.i_esc_sender.DiffEncCheck_A 009743520000
prim_esc_tb.i_esc_sender.EscCheck_A 00974338400
prim_esc_tb.i_esc_sender.EscPKnownO_A 009743520000
prim_esc_tb.i_esc_sender.EscPingCheck_A 0097432800
prim_esc_tb.i_esc_sender.IntegFailKnownO_A 009743520000
prim_esc_tb.i_esc_sender.PingOkKnownO_A 009743520000
prim_esc_tb.i_esc_sender.SigIntBackCheck_A 00974310000
prim_esc_tb.i_esc_sender.SigIntCheck0_A 0097434400
prim_esc_tb.i_esc_sender.SigIntCheck3_A 0097435600
prim_esc_tb.i_esc_sender.StateEscRespHiBackCheck_A 00974322900
prim_esc_tb.i_esc_sender.StateEscRespHiCheck_A 00974316300
prim_esc_tb.i_esc_sender.StateEscRespLoBackCheck_A 00974319100
prim_esc_tb.i_esc_sender.StateEscRespLoCheck_A 00974317900

Assertions Incomplete:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
prim_esc_tb.i_esc_receiver.EscRespCheck_A 009743359020
prim_esc_tb.i_esc_receiver.PingRespCheck_A 00974346020
prim_esc_tb.i_esc_sender.PingCheck_A 0097430020
prim_esc_tb.i_esc_sender.SigIntCheck1_A 0097430020
prim_esc_tb.i_esc_sender.SigIntCheck2_A 0097430020

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