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 0063017674100627
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00630176741000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0063017674162998773100
tb.dut.CheckAccuCntDw 0062762700
tb.dut.CheckEscCntDw 0062762700
tb.dut.CheckNAlerts 0062762700
tb.dut.CheckNClasses 0062762700
tb.dut.CheckNEscSev 0062762700
tb.dut.CrashdumpKnownO_A 0063017674162998773100
tb.dut.EdnKnownO_A 0063017674162998773100
tb.dut.EscPKnownO_A 0063017674162998773100
tb.dut.FpvSecCmPingTimerCnterCheck_A 006301767419000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006301767419000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006301767419000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006301767419000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006301767419000
tb.dut.IrqAKnownO_A 0063017674162998773100
tb.dut.IrqBKnownO_A 0063017674162998773100
tb.dut.IrqCKnownO_A 0063017674162998773100
tb.dut.IrqDKnownO_A 0063017674162998773100
tb.dut.TlAReadyKnownO_A 0063017674162998773100
tb.dut.TlDValidKnownO_A 0063017674162998773100
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00652465993254173000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006524659931363900
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006524659931325800
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006524659931374600
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006524659931407600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006524659931403500
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006524659931401900
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006524659931494100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006524659931374400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006524659931447300
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006524659931405700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006524659931473200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006524659931413100
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006524659931436200
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006524659931548400
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006524659931495800
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006524659931428900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006524659931364100
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006524659931418700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006524659931413900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006524659931571300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006524659931565600
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006524659931461400
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006524659931624500
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006524659931456400
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006524659931471700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006524659931429600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006524659931463900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006524659931561700
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006524659931409900
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006524659931422300
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006524659931354500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006524659931369400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006524659931380100
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006524659931548000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006524659931415400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006524659931521000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006524659931375200
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006524659931418100
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006524659931401000
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006524659931414900
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006524659931393300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006524659931369700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006524659931489600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006524659931480500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006524659931508200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006524659931444100
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006524659931362200
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006524659931488900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006524659931436200
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006524659931499900
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006524659931473200
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006524659931434900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006524659931431600
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006524659931368500
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006524659931426700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006524659931457600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006524659931457900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006524659931365600
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006524659931336800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006524659931368200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006524659931432000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006524659931382500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006524659931542700
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006524659931437000
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006524659931423800
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006524659931430500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006524659931331900
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006524659931445500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006524659931522200
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006524659932621400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006524659931470600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006524659931410700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006524659931517900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006524659931483600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006524659931365800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006524659931478300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006524659931476300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006524659931423200
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006301767419000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006301767419000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006301767419000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00630176741425800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0063017674123198500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0063017674132540609300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0063017674128500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0063017674181000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006301767414000
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0063017674134900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0062988336225239658000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0063017674188500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0063017674186000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0063017674184500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0063017674181800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00630176741122000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0063017674110213300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00630176741112800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006301767415000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00630176741159600
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00630176741132600
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0062988214362980874400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0063017674162998773100
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006301767419000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006301767419000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006301767419000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00630176741433200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0063017674119787100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0063017674133414067700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0063017674131400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0063017674152600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006301767411700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0063017674124000
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0062988336226901492100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0063017674160000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0063017674158600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0063017674157800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0063017674156700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00630176741132600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0063017674112911100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00630176741124100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006301767416800
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00630176741158200
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00630176741131200
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0062988214362980874400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0063017674162998773100
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006301767419000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006301767419000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006301767419000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00630176741266200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0063017674118398500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0063017674134952039600
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0063017674133600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0063017674151200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006301767411900
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0063017674121900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0062988336226361384600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0063017674157700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0063017674157000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0063017674156000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0063017674155600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0063017674199300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006301767419819500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0063017674191900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006301767415500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00630176741163400
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00630176741136400
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0062988214362980874400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0063017674162998773100
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006301767419000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006301767419000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006301767419000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00630176741170000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0063017674121388100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0063017674133410734000
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0063017674133400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0063017674150700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006301767412100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0063017674122900
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0062988336228822327300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0063017674156600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0063017674155700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0063017674154100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0063017674153200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0063017674180500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 006301767419447100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0063017674173600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006301767414800
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00630176741161300
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00630176741134300
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0062988214362980874400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0063017674162998773100
tb.dut.tlul_assert_device.aKnown_A 0065246599312475137100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0065246599365182241500
tb.dut.tlul_assert_device.aReadyKnown_A 0065246599365182241500
tb.dut.tlul_assert_device.dKnown_A 0065246599317002338400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0065246599365182241500
tb.dut.tlul_assert_device.dReadyKnown_A 0065246599365182241500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083283200
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%