---

Detail Report for Assertions

Assertions Success:

ASSERTIONS	CATEGORY	SEVERITY	ATTEMPTS	REAL SUCCESSES	FAILURES	INCOMPLETE	SRC
tb.dut.u_child_handshake.SyncReqAckAckNeedsReq	0	0	8891171	1129866	0	0
tb.dut.u_state_regs.AssertConnected_A	0	0	10	10	0	0
tb.dut.u_state_regs_A	0	0	9713253	9243492	0	0

Assertions Excluded:

ASSERTIONS	CATEGORY	SEVERITY	EXCLUSION	EXCLUDE ANNOTATION	SRC
tb.dut.u_child_handshake.SyncReqAckHoldReq	0	0	Excluded	[UNR] src_req_i and req_chk_i are tied to constants