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
Uncovered518.52
Success2281.48
Failure00.00
Incomplete518.52
Without Attempts00.00

Detail Report for Assertions

Assertions Uncovered:
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   SRC   
prim_esc_tb.i_esc_receiver.EscCntEsc_A 009458000
prim_esc_tb.i_esc_receiver.EscCntWrap_A 009458000
prim_esc_tb.i_esc_sender.PingCheck_A 0094580020
prim_esc_tb.i_esc_sender.SigIntCheck1_A 0094580020
prim_esc_tb.i_esc_sender.SigIntCheck2_A 0094580020

Assertions Success:
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   SRC   
prim_esc_tb.i_esc_receiver.DiffEncCheck_A 009458492000
prim_esc_tb.i_esc_receiver.EscEnCheck_A 00945827300
prim_esc_tb.i_esc_receiver.EscEnKnownO_A 009458502000
prim_esc_tb.i_esc_receiver.EscRespCheck_A 009458273020
prim_esc_tb.i_esc_receiver.PingRespCheck_A 00945853020
prim_esc_tb.i_esc_receiver.RespPKnownO_A 009458502000
prim_esc_tb.i_esc_receiver.SigIntCheck0_A 0094584000
prim_esc_tb.i_esc_receiver.SigIntCheck1_A 0094584000
prim_esc_tb.i_esc_receiver.SigIntCheck2_A 0094584000
prim_esc_tb.i_esc_sender.DiffEncCheck_A 009458502000
prim_esc_tb.i_esc_sender.EscCheck_A 00945830700
prim_esc_tb.i_esc_sender.EscPKnownO_A 009458502000
prim_esc_tb.i_esc_sender.EscPingCheck_A 0094582000
prim_esc_tb.i_esc_sender.IntegFailKnownO_A 009458502000
prim_esc_tb.i_esc_sender.PingOkKnownO_A 009458502000
prim_esc_tb.i_esc_sender.SigIntBackCheck_A 0094586000
prim_esc_tb.i_esc_sender.SigIntCheck0_A 0094584000
prim_esc_tb.i_esc_sender.SigIntCheck3_A 0094582000
prim_esc_tb.i_esc_sender.StateEscRespHiBackCheck_A 00945819300
prim_esc_tb.i_esc_sender.StateEscRespHiCheck_A 00945811900
prim_esc_tb.i_esc_sender.StateEscRespLoBackCheck_A 00945817500
prim_esc_tb.i_esc_sender.StateEscRespLoCheck_A 00945817000

Assertions Incomplete:
ASSERTIONS   CATEGORY   SEVERITY   ATTEMPTS   REAL SUCCESSES   FAILURES   INCOMPLETE   SRC   
prim_esc_tb.i_esc_receiver.EscRespCheck_A 009458273020
prim_esc_tb.i_esc_receiver.PingRespCheck_A 00945853020
prim_esc_tb.i_esc_sender.PingCheck_A 0094580020
prim_esc_tb.i_esc_sender.SigIntCheck1_A 0094580020
prim_esc_tb.i_esc_sender.SigIntCheck2_A 0094580020