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 0080247856500644
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00802478565000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0080247856580231696700
tb.dut.CheckAccuCntDw 0064464400
tb.dut.CheckEscCntDw 0064464400
tb.dut.CheckNAlerts 0064464400
tb.dut.CheckNClasses 0064464400
tb.dut.CheckNEscSev 0064464400
tb.dut.CrashdumpKnownO_A 0080247856580231696700
tb.dut.EdnKnownO_A 0080247856580231696700
tb.dut.EscPKnownO_A 0080247856580231696700
tb.dut.FpvSecCmPingTimerCnterCheck_A 008024785657000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 008024785657000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 008024785657000
tb.dut.FpvSecCmPingTimerFsmCheck_A 008024785657000
tb.dut.FpvSecCmRegWeOnehotCheck_A 008024785657000
tb.dut.IrqAKnownO_A 0080247856580231696700
tb.dut.IrqBKnownO_A 0080247856580231696700
tb.dut.IrqCKnownO_A 0080247856580231696700
tb.dut.IrqDKnownO_A 0080247856580231696700
tb.dut.TlAReadyKnownO_A 0080247856580231696700
tb.dut.TlDValidKnownO_A 0080247856580231696700
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00826835224373424500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 008268352242109000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 008268352242100400
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 008268352242115100
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 008268352242159800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 008268352242085400
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 008268352242114600
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 008268352242032000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 008268352242109400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 008268352242061200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 008268352242133700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 008268352242100900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 008268352242097000
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 008268352242112600
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 008268352242050300
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 008268352242134300
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 008268352242093100
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 008268352242116600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 008268352242113800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 008268352242106800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 008268352242086400
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 008268352242100400
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 008268352242090700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 008268352242129600
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 008268352242121900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 008268352242061100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 008268352242134400
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 008268352242116200
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 008268352242128100
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 008268352242073500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 008268352242150400
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 008268352242101200
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 008268352242098000
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 008268352242047000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 008268352242103800
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 008268352242171900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 008268352242091900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 008268352242073100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 008268352242078800
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 008268352242123800
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 008268352242063900
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 008268352242107100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 008268352242057600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 008268352242096600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 008268352242109000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 008268352242126000
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 008268352242112800
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 008268352242126900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 008268352242102200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 008268352242078700
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 008268352242123600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 008268352242055500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 008268352242110700
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 008268352242057200
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 008268352242120700
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 008268352242072600
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 008268352242053600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 008268352242121800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 008268352242050000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 008268352242163300
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 008268352242105000
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 008268352242075700
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 008268352242101500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 008268352242079200
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 008268352242127500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 008268352242088700
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 008268352242123800
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 008268352242114600
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 008268352242088900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 008268352242116100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 008268352243986500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 008268352242090400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 008268352242092200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 008268352242127400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 008268352242060300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 008268352242104800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 008268352242084000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 008268352242099800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 008268352242072600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 008024785657000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 008024785657000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 008024785657000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00802478565202400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0080247856521241400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0080247856541260581700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0080247856517300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0080247856588600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 008024785655900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0080247856542300
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0080231940130453710000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00802478565101700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00802478565100300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0080247856598000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0080247856595900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00802478565168700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0080247856520922900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00802478565154400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 008024785658400
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00802478565128000
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00802478565107000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0064464400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0080247856580231696700
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 008024785657000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 008024785657000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 008024785657000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00802478565465100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0080247856518661300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0080247856547355116700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0080247856523400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0080247856556700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 008024785652200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0080247856528900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0080231940137656564500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0080247856566200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0080247856564700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0080247856563500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0080247856562100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0080247856587100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0080247856511766500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0080247856576200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 008024785658700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00802478565130200
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00802478565109200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0064464400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0080247856580231696700
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 008024785657000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 008024785657000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 008024785657000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00802478565236500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0080247856516754700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0080247856544892731200
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0080247856522200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0080247856555800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 008024785653300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0080247856525000
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0080231940137064908900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0080247856565200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0080247856564000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0080247856563000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0080247856561400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00802478565128900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0080247856517656600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00802478565119000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 008024785656600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00802478565123000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00802478565102000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0064464400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0080247856580231696700
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 008024785657000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 008024785657000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 008024785657000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00802478565258700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0080247856516781700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0080247856549576948500
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0080247856522800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0080247856549900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 008024785651700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0080247856522200
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0080231940141823926600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0080247856558600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0080247856558100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0080247856556800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0080247856556200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00802478565139500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0080247856516776300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00802478565130200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 008024785657600
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00802478565122600
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00802478565101600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0064464400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0080247856580231696700
tb.dut.tlul_assert_device.aKnown_A 0082683522414453897000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0082683522482619243400
tb.dut.tlul_assert_device.aReadyKnown_A 0082683522482619243400
tb.dut.tlul_assert_device.dKnown_A 0082683522423449821900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0082683522482619243400
tb.dut.tlul_assert_device.dReadyKnown_A 0082683522482619243400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0084984900
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1275010
Category 01275010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1275010
Severity 01275010


Summary for Assertions
NUMBERPERCENT
Total Number1275100.00
Uncovered20.16
Success127399.84
Failure00.00
Incomplete493.84
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%