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 0066901095200620
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00669010952000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0066901095266883681500
tb.dut.CheckAccuCntDw 0062062000
tb.dut.CheckEscCntDw 0062062000
tb.dut.CheckNAlerts 0062062000
tb.dut.CheckNClasses 0062062000
tb.dut.CheckNEscSev 0062062000
tb.dut.CrashdumpKnownO_A 0066901095266883681500
tb.dut.EdnKnownO_A 0066901095266883681500
tb.dut.EscPKnownO_A 0066901095266883681500
tb.dut.FpvSecCmPingTimerCnterCheck_A 006690109528000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006690109528000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006690109528000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006690109528000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006690109528000
tb.dut.IrqAKnownO_A 0066901095266883681500
tb.dut.IrqBKnownO_A 0066901095266883681500
tb.dut.IrqCKnownO_A 0066901095266883681500
tb.dut.IrqDKnownO_A 0066901095266883681500
tb.dut.TlAReadyKnownO_A 0066901095266883681500
tb.dut.TlDValidKnownO_A 0066901095266883681500
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00694866744227147500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006948667442094000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006948667442115100
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006948667442025900
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006948667442070400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006948667442147700
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006948667442108800
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006948667442118100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006948667442031200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006948667442086000
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006948667442124300
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006948667442070600
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006948667442082300
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006948667442175100
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006948667442074200
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006948667442179000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006948667442145600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006948667442155700
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006948667442081900
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006948667441982200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006948667442026500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006948667442113800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006948667442178600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006948667442067800
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006948667441985000
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006948667442095100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006948667442100900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006948667442050100
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006948667442104800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006948667442145900
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006948667442077100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006948667442054600
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006948667442099800
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006948667442129400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006948667442150600
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006948667442116800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006948667442026400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006948667442153400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006948667441994800
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006948667442085100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006948667442033900
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006948667442098900
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006948667442050500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006948667442074900
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006948667442114200
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006948667442186500
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006948667442085500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006948667442114800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006948667442013700
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006948667442101000
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006948667442084000
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006948667442033800
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006948667442036200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006948667442120700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006948667442095700
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006948667442062400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006948667442059500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006948667442013600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006948667442142500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006948667442010900
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006948667442070800
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006948667442046300
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006948667442111100
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006948667442015200
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006948667442044900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006948667442092400
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006948667442039600
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006948667442162300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006948667442006900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006948667442126000
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006948667444209200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006948667442069700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006948667442017600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006948667442151300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006948667442135400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006948667442168600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006948667442058000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006948667442063500
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006948667442061600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006690109528000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006690109528000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006690109528000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00669010952384700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0066901095222825300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0066901095235913925500
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0066901095229400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0066901095281500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006690109524500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0066901095237800
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0066847411627741542100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0066901095289900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0066901095288200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0066901095286400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0066901095285000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0066901095292800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 006690109529889400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0066901095282000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006690109526200
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00669010952145800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00669010952121800
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0066847268166839995300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0066901095266883681500
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006690109528000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006690109528000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006690109528000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00669010952199600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0066901095219357200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0066901095238432802700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0066901095229200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0066901095249900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006690109521900
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0066901095224300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0066847411629522277000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0066901095257900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0066901095256600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0066901095255700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0066901095254400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00669010952127900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0066901095212384800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00669010952118600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006690109526900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00669010952138700
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00669010952114700
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0066847268166839995300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0066901095266883681500
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006690109528000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006690109528000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006690109528000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00669010952212000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0066901095218034500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0066901095237970378500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0066901095225800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0066901095247100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006690109521200
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0066901095219900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0066847411629614221000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0066901095255200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0066901095254400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0066901095253900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0066901095253300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0066901095264300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006690109528867700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0066901095255200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006690109527900
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00669010952141700
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00669010952117700
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0066847268166839995300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0066901095266883681500
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006690109528000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006690109528000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006690109528000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00669010952430500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0066901095223081400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0066901095234782563700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0066901095230300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0066901095253900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006690109523000
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0066901095224900
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0066847411626994666500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0066901095261000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0066901095260200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0066901095259800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0066901095258900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0066901095253900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 006690109526595800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0066901095246300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006690109524400
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00669010952140600
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00669010952116600
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0066847268166839995300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0066901095266883681500
tb.dut.tlul_assert_device.aKnown_A 0069486674412582185100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0069486674469419219700
tb.dut.tlul_assert_device.aReadyKnown_A 0069486674469419219700
tb.dut.tlul_assert_device.dKnown_A 0069486674418140290800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0069486674469419219700
tb.dut.tlul_assert_device.dReadyKnown_A 0069486674469419219700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082582500
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%