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 0074425095600635
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00744250956000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0074425095674407651800
tb.dut.CheckAccuCntDw 0063563500
tb.dut.CheckEscCntDw 0063563500
tb.dut.CheckNAlerts 0063563500
tb.dut.CheckNClasses 0063563500
tb.dut.CheckNEscSev 0063563500
tb.dut.CrashdumpKnownO_A 0074425095674407651800
tb.dut.EdnKnownO_A 0074425095674407651800
tb.dut.EscPKnownO_A 0074425095674407651800
tb.dut.FpvSecCmPingTimerCnterCheck_A 007442509568000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007442509568000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007442509568000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007442509568000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007442509568000
tb.dut.IrqAKnownO_A 0074425095674407651800
tb.dut.IrqBKnownO_A 0074425095674407651800
tb.dut.IrqCKnownO_A 0074425095674407651800
tb.dut.IrqDKnownO_A 0074425095674407651800
tb.dut.TlAReadyKnownO_A 0074425095674407651800
tb.dut.TlDValidKnownO_A 0074425095674407651800
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00766530598470974900
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007665305981234600
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007665305981228200
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007665305981354100
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007665305981112000
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007665305981243100
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007665305981226300
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007665305981462000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007665305981131700
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007665305981364300
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007665305981234800
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007665305981208900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007665305981231100
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007665305981246900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007665305981259700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007665305981269200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007665305981116000
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007665305981233500
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007665305981369800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007665305981337900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007665305981248200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007665305981147000
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007665305981339400
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007665305981346900
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007665305981497700
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007665305981481900
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007665305981151700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007665305981258200
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007665305981248300
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007665305981358200
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007665305981115800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007665305981276900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007665305981115400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007665305981228700
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007665305981211300
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007665305981371200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007665305981116800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007665305981103500
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007665305981233100
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007665305981085800
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007665305981098800
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007665305981151900
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007665305981225200
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007665305981245000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007665305981336500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007665305981238800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007665305981366600
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007665305981231000
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007665305981267100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007665305981252400
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007665305981269700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007665305981195100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007665305981223500
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007665305981482300
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007665305981264600
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007665305981406600
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007665305981274900
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007665305981116300
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007665305981240100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007665305981345900
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007665305981241000
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007665305981474900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007665305981119100
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007665305981350300
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007665305981234700
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007665305981171200
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007665305981324600
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007665305981358600
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007665305981237500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007665305981230000
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007665305982115600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007665305981150800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007665305981109600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007665305981132000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007665305981215400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007665305981232200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007665305981471900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007665305981218100
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007665305981481000
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007442509568000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007442509568000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007442509568000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00744250956315400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0074425095626790600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0074425095635527486400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0074425095625100
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0074425095693700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007442509565500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0074425095646500
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0074408998123752289600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00744250956103500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00744250956100700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0074425095697700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0074425095695300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00744250956189600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0074425095619669400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00744250956176600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007442509567200
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00744250956144800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00744250956120800
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0074408875474401617900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063563500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0074425095674407651800
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007442509568000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007442509568000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007442509568000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00744250956311000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0074425095620971200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0074425095643943008900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0074425095626500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0074425095656900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007442509561900
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0074425095626500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0074408998135878476000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0074425095664500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0074425095663800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0074425095662300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0074425095661000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0074425095690500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0074425095610551200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0074425095682100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007442509566300
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00744250956143800
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00744250956119800
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0074408875474401617900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063563500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0074425095674407651800
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007442509568000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007442509568000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007442509568000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00744250956521100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0074425095620866600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0074425095645719545500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0074425095627100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0074425095650100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007442509562600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0074425095622700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0074408998136447362100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0074425095659200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0074425095658100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0074425095656800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0074425095656200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00744250956188300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0074425095615930900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00744250956178100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007442509567500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00744250956149600
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00744250956125600
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0074408875474401617900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063563500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0074425095674407651800
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007442509568000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007442509568000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007442509568000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00744250956373200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0074425095621076700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0074425095642600213700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0074425095627800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0074425095650900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007442509562100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0074425095620500
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0074408998132671669700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0074425095658700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0074425095658000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0074425095656500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0074425095656000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00744250956138400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0074425095611949400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00744250956129400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007442509566800
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00744250956151800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00744250956127800
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0074408875474401617900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063563500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0074425095674407651800
tb.dut.tlul_assert_device.aKnown_A 0076653059816291517800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0076653059876591562800
tb.dut.tlul_assert_device.aReadyKnown_A 0076653059876591562800
tb.dut.tlul_assert_device.dKnown_A 0076653059820519989300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0076653059876591562800
tb.dut.tlul_assert_device.dReadyKnown_A 0076653059876591562800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084084000
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%