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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total400
Category 0400


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total400
Severity 0400


Summary for Assertions
NUMBERPERCENT
Total Number4100.00
Uncovered00.00
Success375.00
Failure00.00
Incomplete00.00
Without Attempts00.00
Excluded125.00


Detail Report for Assertions

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_child_handshake.SyncReqAckAckNeedsReq 008860630112728900
tb.dut.u_state_regs.AssertConnected_A 00101000
tb.dut.u_state_regs_A 009646064920710700

Assertions Excluded:
ASSERTIONSCATEGORYSEVERITYEXCLUSIONEXCLUDE ANNOTATIONSRC
tb.dut.u_child_handshake.SyncReqAckHoldReq 00Excluded[UNR] src_req_i and req_chk_i are tied to constants

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