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 0053088923700627
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00530889237000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0053088923753071667200
tb.dut.CheckAccuCntDw 0062762700
tb.dut.CheckEscCntDw 0062762700
tb.dut.CheckNAlerts 0062762700
tb.dut.CheckNClasses 0062762700
tb.dut.CheckNEscSev 0062762700
tb.dut.CrashdumpKnownO_A 0053088923753071667200
tb.dut.EdnKnownO_A 0053088923753071667200
tb.dut.EscPKnownO_A 0053088923753071667200
tb.dut.FpvSecCmPingTimerCnterCheck_A 005308892378000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005308892378000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005308892378000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005308892378000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005308892378000
tb.dut.IrqAKnownO_A 0053088923753071667200
tb.dut.IrqBKnownO_A 0053088923753071667200
tb.dut.IrqCKnownO_A 0053088923753071667200
tb.dut.IrqDKnownO_A 0053088923753071667200
tb.dut.TlAReadyKnownO_A 0053088923753071667200
tb.dut.TlDValidKnownO_A 0053088923753071667200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0055931318121889700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005593131811480600
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005593131811387300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005593131811378600
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005593131811436900
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005593131811391000
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005593131811424400
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005593131811390500
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005593131811393100
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005593131811434900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005593131811434200
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005593131811431200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005593131811407000
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005593131811426900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005593131811413900
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005593131811443600
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005593131811432400
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005593131811433500
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005593131811422300
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005593131811406200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005593131811417800
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005593131811419900
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005593131811439500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005593131811402400
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005593131811451000
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005593131811399000
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005593131811423600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005593131811379800
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005593131811423600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005593131811463500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005593131811417100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005593131811433800
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005593131811445100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005593131811431500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005593131811392700
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005593131811412200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005593131811431300
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005593131811464100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005593131811428200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005593131811398500
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005593131811400500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005593131811439700
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005593131811424800
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005593131811422000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005593131811429600
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005593131811412100
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005593131811387000
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005593131811431000
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005593131811459400
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005593131811425600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005593131811436200
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005593131811406500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005593131811397900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005593131811414200
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005593131811400400
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005593131811422700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005593131811395600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005593131811429100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005593131811410000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005593131811438400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005593131811443100
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005593131811430700
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005593131811413200
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005593131811440300
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005593131811416100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005593131811430200
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005593131811427000
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005593131811413400
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005593131811426900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005593131811422500
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005593131812686400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005593131811421900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005593131811428600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005593131811431400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005593131811386800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005593131811447500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005593131811453200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005593131811414400
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005593131811421100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005308892378000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005308892378000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005308892378000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00530889237217000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0053088923716134100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0053088923726921404900
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0053088923724900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0053088923779700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005308892374700
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0053088923741200
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0053051071621288494100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0053088923787900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0053088923784900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0053088923782500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0053088923780600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00530889237103500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0053088923712703500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0053088923792500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005308892376200
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00530889237126000
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00530889237102000
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0053050870753043785200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0053088923753071667200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005308892378000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005308892378000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005308892378000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00530889237256500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0053088923713086200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0053088923730086384500
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0053088923725000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0053088923747000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005308892371600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0053088923719500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0053051071623789810400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0053088923751600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0053088923750200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0053088923749300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0053088923748300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00530889237137700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0053088923717161600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00530889237131300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005308892374500
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00530889237131400
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00530889237107400
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0053050870753043785200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0053088923753071667200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005308892378000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005308892378000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005308892378000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00530889237691100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0053088923721798300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0053088923727179399500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0053088923722900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0053088923751100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005308892372100
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0053088923724000
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0053051071621916273800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0053088923757300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0053088923755600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0053088923754200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0053088923753700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00530889237124500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0053088923714040700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00530889237116200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005308892375900
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00530889237126800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00530889237102800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0053050870753043785200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0053088923753071667200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005308892378000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005308892378000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005308892378000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00530889237215100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0053088923715521500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0053088923729514473600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0053088923724200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0053088923751700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005308892372000
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0053088923723500
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0053051071621593644400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0053088923756200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0053088923755300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0053088923754000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0053088923753100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0053088923743200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005308892375486200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0053088923736300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005308892374500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00530889237130800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00530889237106800
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0053050870753043785200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0053088923753071667200
tb.dut.tlul_assert_device.aKnown_A 005593131818069746400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0055931318155863135900
tb.dut.tlul_assert_device.aReadyKnown_A 0055931318155863135900
tb.dut.tlul_assert_device.dKnown_A 0055931318114031228600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0055931318155863135900
tb.dut.tlul_assert_device.dReadyKnown_A 0055931318155863135900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083283200
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1279010
Category 01279010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1279010
Severity 01279010


Summary for Assertions
NUMBERPERCENT
Total Number1279100.00
Uncovered20.16
Success127799.84
Failure00.00
Incomplete493.83
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered660.00
All Matches440.00
First Matches440.00
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%