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 0069937816000626
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00699378160000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0069937816069920654800
tb.dut.CheckAccuCntDw 0062662600
tb.dut.CheckEscCntDw 0062662600
tb.dut.CheckNAlerts 0062662600
tb.dut.CheckNClasses 0062662600
tb.dut.CheckNEscSev 0062662600
tb.dut.CrashdumpKnownO_A 0069937816069920654800
tb.dut.EdnKnownO_A 0069937816069920654800
tb.dut.EscPKnownO_A 0069937816069920654800
tb.dut.FpvSecCmPingTimerCnterCheck_A 006993781608000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006993781608000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006993781608000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006993781608000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006993781608000
tb.dut.IrqAKnownO_A 0069937816069920654800
tb.dut.IrqBKnownO_A 0069937816069920654800
tb.dut.IrqCKnownO_A 0069937816069920654800
tb.dut.IrqDKnownO_A 0069937816069920654800
tb.dut.TlAReadyKnownO_A 0069937816069920654800
tb.dut.TlDValidKnownO_A 0069937816069920654800
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00724964780288861700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007249647801453100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007249647801566500
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007249647801446800
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007249647801435600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007249647801455200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007249647801557400
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007249647801434400
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007249647801451100
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007249647801409600
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007249647801433700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007249647801453400
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007249647801432200
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007249647801443000
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007249647801471200
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007249647801430500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007249647801559200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007249647801450600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007249647801486300
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007249647801443200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007249647801453500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007249647801572500
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007249647801574600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007249647801442800
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007249647801425500
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007249647801454500
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007249647801442200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007249647801439400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007249647801457300
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007249647801488700
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007249647801453200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007249647801416300
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007249647801424900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007249647801443900
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007249647801563700
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007249647801565900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007249647801468600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007249647801404800
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007249647801413500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007249647801578300
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007249647801582200
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007249647801553800
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007249647801431900
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007249647801442700
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007249647801440800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007249647801449800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007249647801423100
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007249647801521700
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007249647801558000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007249647801456100
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007249647801451500
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007249647801553100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007249647801466700
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007249647801465000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007249647801448100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007249647801483400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007249647801426500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007249647801556800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007249647801441600
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007249647801409500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007249647801473800
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007249647801434800
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007249647801585600
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007249647801569600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007249647801442900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007249647801439900
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007249647801463000
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007249647801416100
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007249647801438700
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007249647801421500
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007249647802753800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007249647801396700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007249647801454700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007249647801570100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007249647801436700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007249647801458500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007249647801436500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007249647801451000
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007249647801445300
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006993781608000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006993781608000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006993781608000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00699378160300700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0069937816027128600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0069937816033095994000
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0069937816027900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0069937816089600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006993781604100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0069937816044100
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0069906694225876565500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0069937816099600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0069937816097500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0069937816095100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0069937816093300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00699378160102000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0069937816011883200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0069937816090400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006993781607100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00699378160143500
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00699378160119500
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0069906423569899422300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0069937816069920654800
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006993781608000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006993781608000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006993781608000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00699378160371000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0069937816017427300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0069937816039589098500
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0069937816031200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0069937816050300
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006993781601700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0069937816025300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0069906694232524346800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0069937816058100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0069937816057300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0069937816056400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0069937816055100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00699378160121400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0069937816012711100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00699378160112700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006993781606900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00699378160147700
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00699378160123700
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0069906423569899422300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0069937816069920654800
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006993781608000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006993781608000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006993781608000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00699378160594400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0069937816015567700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0069937816044130808900
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0069937816028400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0069937816049500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006993781602100
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0069937816022300
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0069906694233332604700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0069937816056300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0069937816055400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0069937816054700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0069937816053600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00699378160132100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0069937816014771200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00699378160124400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006993781605500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00699378160145200
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00699378160121200
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0069906423569899422300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0069937816069920654800
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006993781608000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006993781608000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006993781608000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00699378160160800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0069937816019863600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0069937816040666548100
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0069937816025000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0069937816052900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006993781601600
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0069937816026000
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0069906694230938787900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0069937816059800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0069937816059000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0069937816057500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0069937816056300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0069937816083000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0069937816010469700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0069937816075400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006993781606000
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00699378160137900
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00699378160113900
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0069906423569899422300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0069937816069920654800
tb.dut.tlul_assert_device.aKnown_A 0072496478013160626200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0072496478072430042800
tb.dut.tlul_assert_device.aReadyKnown_A 0072496478072430042800
tb.dut.tlul_assert_device.dKnown_A 0072496478019796716700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0072496478072430042800
tb.dut.tlul_assert_device.dReadyKnown_A 0072496478072430042800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083183100
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%