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 0071109377500629
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00711093775000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0071109377571092038200
tb.dut.CheckAccuCntDw 0062962900
tb.dut.CheckEscCntDw 0062962900
tb.dut.CheckNAlerts 0062962900
tb.dut.CheckNClasses 0062962900
tb.dut.CheckNEscSev 0062962900
tb.dut.CrashdumpKnownO_A 0071109377571092038200
tb.dut.EdnKnownO_A 0071109377571092038200
tb.dut.EscPKnownO_A 0071109377571092038200
tb.dut.FpvSecCmPingTimerCnterCheck_A 007110937758000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007110937758000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007110937758000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007110937758000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007110937758000
tb.dut.IrqAKnownO_A 0071109377571092038200
tb.dut.IrqBKnownO_A 0071109377571092038200
tb.dut.IrqCKnownO_A 0071109377571092038200
tb.dut.IrqDKnownO_A 0071109377571092038200
tb.dut.TlAReadyKnownO_A 0071109377571092038200
tb.dut.TlDValidKnownO_A 0071109377571092038200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00738247073343698800
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007382470731944000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007382470731942200
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007382470731934700
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007382470732054200
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007382470732024600
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007382470731967500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007382470731887300
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007382470732006200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007382470732007100
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007382470731962100
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007382470731945700
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007382470732041100
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007382470731958100
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007382470732081600
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007382470731950300
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007382470731992500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007382470731954400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007382470732059700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007382470732014100
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007382470731973900
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007382470731964900
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007382470731968400
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007382470731997000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007382470732015700
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007382470732124100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007382470732017200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007382470731971600
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007382470731935900
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007382470732058300
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007382470731929600
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007382470731918900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007382470731955400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007382470731954200
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007382470731935100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007382470731967600
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007382470731945900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007382470732033600
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007382470731976100
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007382470732070300
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007382470732001200
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007382470731950800
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007382470731964200
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007382470731956300
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007382470732044400
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007382470731993500
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007382470732016400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007382470731921500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007382470732077100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007382470731896200
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007382470731934400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007382470731919500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007382470731949900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007382470732011800
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007382470732025500
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007382470731941900
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007382470731946600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007382470732082400
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007382470731900600
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007382470731945300
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007382470731974200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007382470731989600
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007382470731935500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007382470731987800
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007382470731998100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007382470731903800
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007382470731980700
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007382470731972300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007382470731943300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007382470731975800
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007382470733561500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007382470731957900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007382470731997500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007382470732065300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007382470732059800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007382470732020100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007382470731943000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007382470731935100
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007382470732062700
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007110937758000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007110937758000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007110937758000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00711093775406700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0071109377522568700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0071109377537560587600
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0071109377524800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0071109377589100
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007110937754600
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0071109377543900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0071091565328398734800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0071109377596800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0071109377594700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0071109377592800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0071109377590400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00711093775174000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0071109377515394400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00711093775163000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007110937756200
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00711093775143100
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00711093775119100
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0071091414271084228900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062962900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0071109377571092038200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007110937758000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007110937758000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007110937758000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00711093775565500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0071109377523013800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0071109377541064949800
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0071109377527600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0071109377550100
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007110937752000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0071109377521300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0071091565334278196900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0071109377557500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0071109377556500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0071109377555800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0071109377554800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0071109377585500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 007110937759945600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0071109377577300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007110937756200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00711093775146000
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00711093775122000
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0071091414271084228900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062962900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0071109377571092038200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007110937758000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007110937758000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007110937758000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00711093775310200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0071109377522231200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0071109377535108556800
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0071109377524000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0071109377552600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007110937752800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0071109377526100
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0071091565326417178100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0071109377562400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0071109377560900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0071109377559400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0071109377557800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00711093775157100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0071109377516337700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00711093775146500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007110937757700
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00711093775141000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00711093775117000
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0071091414271084228900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062962900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0071109377571092038200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007110937758000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007110937758000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007110937758000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 0071109377563100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0071109377515961700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0071109377541677253000
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0071109377536400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0071109377551000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007110937752300
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0071109377525600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0071091565332062748100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0071109377561200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0071109377560300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0071109377559200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0071109377557400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00711093775114900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0071109377510774900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00711093775103600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007110937758900
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00711093775151200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00711093775127200
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0071091414271084228900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062962900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0071109377571092038200
tb.dut.tlul_assert_device.aKnown_A 0073824707313846152300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0073824707373759522000
tb.dut.tlul_assert_device.aReadyKnown_A 0073824707373759522000
tb.dut.tlul_assert_device.dKnown_A 0073824707319386574600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0073824707373759522000
tb.dut.tlul_assert_device.dReadyKnown_A 0073824707373759522000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083483400
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%