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 0069020255300621
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00690202553000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0069020255369003076500
tb.dut.CheckAccuCntDw 0062162100
tb.dut.CheckEscCntDw 0062162100
tb.dut.CheckNAlerts 0062162100
tb.dut.CheckNClasses 0062162100
tb.dut.CheckNEscSev 0062162100
tb.dut.CrashdumpKnownO_A 0069020255369003076500
tb.dut.EdnKnownO_A 0069020255369003076500
tb.dut.EscPKnownO_A 0069020255369003076500
tb.dut.FpvSecCmPingTimerCnterCheck_A 006902025538000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006902025538000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006902025538000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006902025538000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006902025538000
tb.dut.IrqAKnownO_A 0069020255369003076500
tb.dut.IrqBKnownO_A 0069020255369003076500
tb.dut.IrqCKnownO_A 0069020255369003076500
tb.dut.IrqDKnownO_A 0069020255369003076500
tb.dut.TlAReadyKnownO_A 0069020255369003076500
tb.dut.TlDValidKnownO_A 0069020255369003076500
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00713113257325886000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00713113257656200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00713113257642200
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00713113257625300
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00713113257536400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00713113257525200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00713113257504700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00713113257481800
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00713113257613100
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00713113257503100
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00713113257510000
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00713113257518700
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00713113257636500
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00713113257635500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00713113257644600
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00713113257626100
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00713113257520100
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00713113257541100
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00713113257528700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00713113257540100
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00713113257597800
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00713113257515400
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00713113257481200
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00713113257656600
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00713113257626100
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00713113257640800
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00713113257503600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00713113257513400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00713113257643000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00713113257503100
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00713113257640800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00713113257488000
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00713113257643600
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00713113257533700
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00713113257651100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00713113257650900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00713113257536000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00713113257528700
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00713113257471200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00713113257538800
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00713113257521800
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00713113257518600
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00713113257501400
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00713113257641900
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00713113257629300
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00713113257734200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00713113257612700
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00713113257499100
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00713113257542300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00713113257509600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00713113257728100
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00713113257748900
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00713113257736000
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00713113257618100
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00713113257501800
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00713113257526100
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00713113257502400
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00713113257643400
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00713113257541900
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00713113257540100
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00713113257516100
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00713113257528900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00713113257732700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00713113257629400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00713113257651100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00713113257526100
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00713113257509200
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00713113257504800
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00713113257522500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00713113257506600
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 00713113257871300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00713113257510500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00713113257524100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00713113257646200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00713113257610100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00713113257520900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00713113257502400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00713113257633200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00713113257503600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006902025538000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006902025538000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006902025538000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00690202553202500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0069020255322556700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0069020255334879118200
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0069020255327400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0069020255382600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006902025535000
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0069020255341900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0068990615026299069400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0069020255391600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0069020255389600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0069020255386800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0069020255384800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00690202553128100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0069020255315216000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00690202553117000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006902025535900
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00690202553145500
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00690202553121500
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0068990489168983517200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062162100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0069020255369003076500
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006902025538000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006902025538000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006902025538000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00690202553304500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0069020255321793600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0069020255335533904400
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0069020255330100
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0069020255351600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006902025533200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0069020255322900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0068990615025329974900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0069020255359000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0069020255358400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0069020255356900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0069020255356200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0069020255365500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 006902025537330100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0069020255357000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006902025535300
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00690202553143300
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00690202553119300
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0068990489168983517200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062162100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0069020255369003076500
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006902025538000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006902025538000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006902025538000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00690202553191200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0069020255319497200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0069020255340490953300
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0069020255328300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0069020255347300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006902025531800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0069020255320100
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0068990615031834434700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0069020255353900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0069020255352700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0069020255352400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0069020255351200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00690202553151300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0069020255317744500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00690202553144400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006902025535100
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00690202553146000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00690202553122000
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0068990489168983517200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062162100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0069020255369003076500
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006902025538000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006902025538000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006902025538000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00690202553685200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0069020255323030700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0069020255335118437500
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0069020255326900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0069020255354300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006902025532000
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0069020255323300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0068990615027758048400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0069020255361100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0069020255359900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0069020255359200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0069020255358200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0069020255381400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0069020255310698200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0069020255373700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006902025535600
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00690202553142800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00690202553118800
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0068990489168983517200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062162100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0069020255369003076500
tb.dut.tlul_assert_device.aKnown_A 0071311325713695981700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0071311325771241551100
tb.dut.tlul_assert_device.aReadyKnown_A 0071311325771241551100
tb.dut.tlul_assert_device.dKnown_A 0071311325719617599100
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0071311325771241551100
tb.dut.tlul_assert_device.dReadyKnown_A 0071311325771241551100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082682600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082682600
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%