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 0067548785800623
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00675487858000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0067548785867535296100
tb.dut.CheckAccuCntDw 0062362300
tb.dut.CheckEscCntDw 0062362300
tb.dut.CheckNAlerts 0062362300
tb.dut.CheckNClasses 0062362300
tb.dut.CheckNEscSev 0062362300
tb.dut.CrashdumpKnownO_A 0067548785867535296100
tb.dut.EdnKnownO_A 0067548785867535296100
tb.dut.EscPKnownO_A 0067548785867535296100
tb.dut.FpvSecCmPingTimerCnterCheck_A 006754878585000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006754878585000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006754878585000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006754878585000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006754878585000
tb.dut.IrqAKnownO_A 0067548785867535296100
tb.dut.IrqBKnownO_A 0067548785867535296100
tb.dut.IrqCKnownO_A 0067548785867535296100
tb.dut.IrqDKnownO_A 0067548785867535296100
tb.dut.TlAReadyKnownO_A 0067548785867535296100
tb.dut.TlDValidKnownO_A 0067548785867535296100
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00698354498283030400
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006983544981118000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006983544981107600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006983544981161700
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006983544981311600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006983544981175400
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006983544981150600
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006983544981378000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006983544981242800
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006983544981115400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006983544981164000
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006983544981192800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006983544981286700
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006983544981232200
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006983544981157300
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006983544981236500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006983544981212500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006983544981210900
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006983544981212800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006983544981136300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006983544981208200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006983544981098000
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006983544981096900
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006983544981139800
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006983544981171100
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006983544981108600
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006983544981221700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006983544981101900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006983544981107600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006983544981086000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006983544981181000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006983544981085500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006983544981260200
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006983544981350000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006983544981164500
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006983544981140200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006983544981133400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006983544981252100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006983544981102800
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006983544981172800
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006983544981150600
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006983544981101500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006983544981121700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006983544981105500
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006983544981129700
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006983544981155800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006983544981296900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006983544981109700
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006983544981122000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006983544981115800
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006983544981119800
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006983544981243200
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006983544981110800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006983544981168800
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006983544981269900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006983544981087700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006983544981155100
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006983544981202800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006983544981231800
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006983544981138700
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006983544981202200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006983544981130200
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006983544981302500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006983544981105700
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006983544981145100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006983544981105600
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006983544981125400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006983544981089300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006983544981236500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006983544981113900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006983544981761800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006983544981077700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006983544981166300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006983544981292500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006983544981147300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006983544981106400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006983544981083000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006983544981125100
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006983544981132400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006754878585000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006754878585000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006754878585000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00675487858237700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0067548785824751700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0067548785833807858700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0067548785819200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0067548785881300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006754878584600
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0067548785839900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0067539372926379525000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0067548785889100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0067548785887000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0067548785885500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0067548785883700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00675487858155200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0067548785811587800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00675487858144600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006754878586000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 0067548785889200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0067548785874200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0067548785867535296100
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006754878585000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006754878585000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006754878585000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00675487858159900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0067548785818530300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0067548785839145889700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0067548785816200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0067548785843200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006754878582700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0067548785819000
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0067539372931066132300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0067548785852100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0067548785851000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0067548785850400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0067548785849500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00675487858212300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0067548785818341600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00675487858202500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006754878586900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 0067548785886500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0067548785871500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0067548785867535296100
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006754878585000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006754878585000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006754878585000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00675487858615300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0067548785818808100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0067548785838984958100
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0067548785816500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0067548785845200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006754878582300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0067548785820900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0067539372932778218800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0067548785852100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0067548785851400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0067548785850700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0067548785849900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00675487858190500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0067548785816838400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00675487858182700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006754878585300
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 0067548785889300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0067548785874300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0067548785867535296100
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006754878585000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006754878585000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006754878585000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00675487858354900
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0067548785821273600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0067548785836063702000
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0067548785817700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0067548785851100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006754878581800
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0067548785821900
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0067539372927942276200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0067548785857400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0067548785856500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0067548785855700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0067548785854900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00675487858116200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0067548785811585900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00675487858108500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006754878585800
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 0067548785890300
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0067548785875300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0067548785867535296100
tb.dut.tlul_assert_device.aKnown_A 0069835449813145769800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0069835449869772263900
tb.dut.tlul_assert_device.aReadyKnown_A 0069835449869772263900
tb.dut.tlul_assert_device.dKnown_A 0069835449818382289200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0069835449869772263900
tb.dut.tlul_assert_device.dReadyKnown_A 0069835449869772263900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0082882800
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%