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

Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.u_edn_req.u_prim_packer_fifo.DataOStableWhenPending_A 0069507714400622
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00695077144000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0069507714469490308300
tb.dut.CheckAccuCntDw 0062262200
tb.dut.CheckEscCntDw 0062262200
tb.dut.CheckNAlerts 0062262200
tb.dut.CheckNClasses 0062262200
tb.dut.CheckNEscSev 0062262200
tb.dut.CrashdumpKnownO_A 0069507714469490308300
tb.dut.EdnKnownO_A 0069507714469490308300
tb.dut.EscPKnownO_A 0069507714469490308300
tb.dut.FpvSecCmPingTimerCnterCheck_A 006950771448000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006950771448000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006950771448000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006950771448000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006950771448000
tb.dut.IrqAKnownO_A 0069507714469490308300
tb.dut.IrqBKnownO_A 0069507714469490308300
tb.dut.IrqCKnownO_A 0069507714469490308300
tb.dut.IrqDKnownO_A 0069507714469490308300
tb.dut.TlAReadyKnownO_A 0069507714469490308300
tb.dut.TlDValidKnownO_A 0069507714469490308300
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00719478468245832900
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007194784681179000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007194784681315300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007194784681175700
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007194784681306400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007194784681294600
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007194784681194300
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007194784681200100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007194784681217600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007194784681272900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007194784681171400
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007194784681283800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007194784681168700
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007194784681168700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007194784681278800
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007194784681203400
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007194784681198100
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007194784681269500
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007194784681164600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007194784681188100
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007194784681285000
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007194784681297100
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007194784681283400
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007194784681199200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007194784681314600
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007194784681283200
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007194784681296100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007194784681137200
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007194784681185700
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007194784681181700
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007194784681290100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007194784681173400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007194784681174300
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007194784681250900
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007194784681182400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007194784681292100
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007194784681171700
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007194784681292900
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007194784681146700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007194784681423200
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007194784681178200
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007194784681191500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007194784681203400
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007194784681212400
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007194784681189200
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007194784681268100
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007194784681168800
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007194784681194400
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007194784681276900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007194784681375300
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007194784681156700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007194784681301600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007194784681313000
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007194784681175000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007194784681182100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007194784681202800
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007194784681386300
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007194784681284700
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007194784681366000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007194784681204000
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007194784681296300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007194784681408500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007194784681313600
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007194784681304500
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007194784681193200
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007194784681283800
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007194784681298400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007194784681250300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007194784681273700
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007194784681309100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007194784682186100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007194784681210300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007194784681299100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007194784681391900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007194784681291300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007194784681205300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007194784681405200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007194784681279800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007194784681264300
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006950771448000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006950771448000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006950771448000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00695077144368800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0069507714423407700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0069507714437479809700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0069507714430400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0069507714487900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006950771444300
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0069507714441100
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0069473563929698225900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0069507714497900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0069507714496100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0069507714494700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0069507714493300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0069507714498700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0069507714410921900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0069507714487200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006950771447000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00695077144142800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00695077144118800
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0069473330369466118100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0069507714469490308300
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006950771448000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006950771448000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006950771448000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00695077144131200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0069507714417668300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0069507714442439813100
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0069507714428300
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0069507714447900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006950771443100
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0069507714423800
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0069473563934693512400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0069507714457000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0069507714455700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0069507714454700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0069507714453500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0069507714480900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 006950771449166500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0069507714470500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006950771447100
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00695077144146000
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00695077144122000
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0069473330369466118100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0069507714469490308300
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006950771448000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006950771448000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006950771448000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00695077144593300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0069507714415387900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0069507714440270741900
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0069507714424900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0069507714449500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006950771441800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0069507714421700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0069473563930335543000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0069507714457000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0069507714455700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0069507714453800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0069507714453200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00695077144137600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0069507714412392600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00695077144129200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006950771446300
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00695077144152000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00695077144128000
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0069473330369466118100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0069507714469490308300
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006950771448000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006950771448000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006950771448000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00695077144296200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0069507714421795500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0069507714438691076400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0069507714426100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0069507714452700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006950771442400
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0069507714427300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0069473563930558591600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0069507714460900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0069507714460100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0069507714458000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0069507714456800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00695077144172800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0069507714418441500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00695077144163100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006950771447200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00695077144139200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00695077144115200
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0069473330369466118100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0069507714469490308300
tb.dut.tlul_assert_device.aKnown_A 0071947846812281640000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0071947846871881245200
tb.dut.tlul_assert_device.aReadyKnown_A 0071947846871881245200
tb.dut.tlul_assert_device.dKnown_A 0071947846819142980000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0071947846871881245200
tb.dut.tlul_assert_device.dReadyKnown_A 0071947846871881245200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082782700
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1279010
Category 01279010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1279010
Severity 01279010


Summary for Assertions
NUMBERPERCENT
Total Number1279100.00
Uncovered20.16
Success127799.84
Failure00.00
Incomplete493.83
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered660.00
All Matches440.00
First Matches440.00
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%