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 0070234245000622
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00702342450000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0070234245070215420200
tb.dut.CheckAccuCntDw 0062262200
tb.dut.CheckEscCntDw 0062262200
tb.dut.CheckNAlerts 0062262200
tb.dut.CheckNClasses 0062262200
tb.dut.CheckNEscSev 0062262200
tb.dut.CrashdumpKnownO_A 0070234245070215420200
tb.dut.EdnKnownO_A 0070234245070215420200
tb.dut.EscPKnownO_A 0070234245070215420200
tb.dut.FpvSecCmPingTimerCnterCheck_A 007023424509000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007023424509000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007023424509000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007023424509000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007023424509000
tb.dut.IrqAKnownO_A 0070234245070215420200
tb.dut.IrqBKnownO_A 0070234245070215420200
tb.dut.IrqCKnownO_A 0070234245070215420200
tb.dut.IrqDKnownO_A 0070234245070215420200
tb.dut.TlAReadyKnownO_A 0070234245070215420200
tb.dut.TlDValidKnownO_A 0070234245070215420200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00728260726307758700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007282607261477000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007282607261505300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007282607261492000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007282607261592100
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007282607261627800
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007282607261643300
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007282607261606300
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007282607261961200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007282607261730400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007282607261369900
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007282607261724800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007282607261494800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007282607261582900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007282607261716000
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007282607261709700
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007282607261351900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007282607261598400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007282607261716600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007282607261913900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007282607261600200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007282607261843700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007282607261511900
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007282607261830900
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007282607261422100
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007282607261636100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007282607261497100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007282607261492700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007282607261467000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007282607261634900
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007282607261517700
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007282607261711800
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007282607261473700
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007282607261522400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007282607261401500
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007282607261521800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007282607261478000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007282607261635700
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007282607261377100
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007282607261635700
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007282607261603500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007282607261749200
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007282607261826700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007282607261594000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007282607261515900
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007282607261741700
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007282607261504100
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007282607261500800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007282607261466600
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007282607261672600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007282607261388000
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007282607261376000
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007282607261737700
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007282607261791600
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007282607261512000
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007282607261368300
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007282607261501800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007282607261815600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007282607261503700
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007282607261686600
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007282607261532000
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007282607261745500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007282607261731800
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007282607261607200
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007282607261518100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007282607261742500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007282607261602100
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007282607261525000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007282607261598000
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007282607261364500
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007282607262846000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007282607261522700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007282607261611000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007282607261398500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007282607261396700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007282607261498600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007282607261867800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007282607261601000
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007282607261684000
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007023424509000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007023424509000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007023424509000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00702342450105700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0070234245020665900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0070234245038050448100
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0070234245033200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0070234245080900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007023424503900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0070234245039800
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0070200334930255751500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0070234245090100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0070234245088100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0070234245086000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0070234245083300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0070234245091400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0070234245010466800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0070234245080400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007023424507000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00702342450170400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00702342450143400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0070234245070215420200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007023424509000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007023424509000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007023424509000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00702342450350200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0070234245017934200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0070234245036096816900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0070234245026400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0070234245050000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007023424501600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0070234245021200
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0070200334926739825300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0070234245056400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0070234245055500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0070234245054600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0070234245054000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0070234245087800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 007023424509454000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0070234245080400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007023424505700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00702342450169600
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00702342450142600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0070234245070215420200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007023424509000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007023424509000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007023424509000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00702342450542600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0070234245016564800
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0070234245040007177700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0070234245036000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0070234245049800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007023424502100
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0070234245022400
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0070200334931804684800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0070234245058300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0070234245057500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0070234245056800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0070234245055900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0070234245094900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0070234245010110800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0070234245085400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007023424507100
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00702342450170300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00702342450143300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0070234245070215420200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007023424509000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007023424509000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007023424509000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00702342450249800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0070234245015848500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0070234245039480726400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0070234245035000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0070234245049500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007023424501600
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0070234245023200
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0070200334932074698700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0070234245056900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0070234245056200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0070234245055300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0070234245054100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00702342450162200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0070234245019340900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00702342450153900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007023424506700
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00702342450167800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00702342450140800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0070234245070215420200
tb.dut.tlul_assert_device.aKnown_A 0072826072612992474700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0072826072672757898400
tb.dut.tlul_assert_device.aReadyKnown_A 0072826072672757898400
tb.dut.tlul_assert_device.dKnown_A 0072826072617892317000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0072826072672757898400
tb.dut.tlul_assert_device.dReadyKnown_A 0072826072672757898400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0082782700
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%