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 0070801783900642
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00708017839000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0070801783970785602000
tb.dut.CheckAccuCntDw 0064264200
tb.dut.CheckEscCntDw 0064264200
tb.dut.CheckNAlerts 0064264200
tb.dut.CheckNClasses 0064264200
tb.dut.CheckNEscSev 0064264200
tb.dut.CrashdumpKnownO_A 0070801783970785602000
tb.dut.EdnKnownO_A 0070801783970785602000
tb.dut.EscPKnownO_A 0070801783970785602000
tb.dut.FpvSecCmPingTimerCnterCheck_A 007080178397000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007080178397000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007080178397000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007080178397000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007080178397000
tb.dut.IrqAKnownO_A 0070801783970785602000
tb.dut.IrqBKnownO_A 0070801783970785602000
tb.dut.IrqCKnownO_A 0070801783970785602000
tb.dut.IrqDKnownO_A 0070801783970785602000
tb.dut.TlAReadyKnownO_A 0070801783970785602000
tb.dut.TlDValidKnownO_A 0070801783970785602000
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00731506101430179700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007315061011753100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007315061011754600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007315061011682200
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007315061011805400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007315061011715900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007315061011892900
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007315061011778100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007315061011811400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007315061011630300
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007315061011931900
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007315061011789100
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007315061011687300
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007315061011844100
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007315061011771300
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007315061011733000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007315061011765100
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007315061011838700
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007315061011747300
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007315061012001900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007315061011658900
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007315061011806600
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007315061011905600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007315061011871200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007315061011784300
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007315061011952400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007315061011783100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007315061011715500
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007315061011853000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007315061011821200
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007315061011835400
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007315061011822500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007315061011844000
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007315061011765400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007315061011687800
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007315061011826500
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007315061011885400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007315061011934800
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007315061011804700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007315061012049700
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007315061011779400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007315061011903700
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007315061011729700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007315061011813500
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007315061011818600
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007315061011821200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007315061011995600
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007315061011820700
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007315061011928200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007315061011653200
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007315061011696300
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007315061011814100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007315061011944800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007315061011643900
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007315061011777000
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007315061011789000
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007315061011900500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007315061011848100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007315061011808100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007315061011861100
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007315061011921900
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007315061011745800
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007315061011923800
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007315061011717800
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007315061011775600
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007315061011783200
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007315061011714900
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007315061011809100
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007315061011733400
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007315061011666500
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007315061013214800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007315061011924700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007315061011866400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007315061011682900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007315061011765900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007315061011727500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007315061011780900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007315061011758400
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007315061011922300
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007080178397000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007080178397000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007080178397000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00708017839187400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0070801783922442400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0070801783933988133100
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0070801783920900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0070801783984600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007080178394800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0070801783938800
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0070785143023316676100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0070801783995300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0070801783994000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0070801783992400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0070801783990800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00708017839134200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0070801783914584900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00708017839122500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007080178396900
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00708017839124100
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00708017839103100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0064264200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0070801783970785602000
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007080178397000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007080178397000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007080178397000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00708017839436800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0070801783920646500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0070801783939588762100
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0070801783925000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0070801783950400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007080178393100
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0070801783921900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0070785143032271676100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0070801783958600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0070801783957500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0070801783956000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0070801783955300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00708017839173000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0070801783917007000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00708017839164100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007080178395800
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00708017839131300
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00708017839110300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0064264200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0070801783970785602000
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007080178397000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007080178397000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007080178397000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00708017839154600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0070801783920562800
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0070801783938822027400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0070801783921300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0070801783950400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007080178391300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0070801783921900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0070785143029370285700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0070801783957900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0070801783957400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0070801783956500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0070801783955400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00708017839163400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0070801783916892600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00708017839154800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007080178397300
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00708017839122200
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00708017839101200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0064264200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0070801783970785602000
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007080178397000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007080178397000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007080178397000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00708017839529400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0070801783920291500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0070801783938935526100
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0070801783923100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0070801783947900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007080178391700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0070801783921200
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0070785143032986300100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0070801783956300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0070801783955300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0070801783954900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0070801783954000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00708017839185600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0070801783917937900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00708017839177100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007080178396800
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00708017839123500
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00708017839102500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0064264200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0070801783970785602000
tb.dut.tlul_assert_device.aKnown_A 0073150610115730393100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0073150610173086881100
tb.dut.tlul_assert_device.aReadyKnown_A 0073150610173086881100
tb.dut.tlul_assert_device.dKnown_A 0073150610119724485600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0073150610173086881100
tb.dut.tlul_assert_device.dReadyKnown_A 0073150610173086881100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084784700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0084784700
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%