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 0065835081000623
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00658350810000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0065835081065818113900
tb.dut.CheckAccuCntDw 0062362300
tb.dut.CheckEscCntDw 0062362300
tb.dut.CheckNAlerts 0062362300
tb.dut.CheckNClasses 0062362300
tb.dut.CheckNEscSev 0062362300
tb.dut.CrashdumpKnownO_A 0065835081065818113900
tb.dut.EdnKnownO_A 0065835081065818113900
tb.dut.EscPKnownO_A 0065835081065818113900
tb.dut.FpvSecCmPingTimerCnterCheck_A 006583508108000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006583508108000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006583508108000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006583508108000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006583508108000
tb.dut.IrqAKnownO_A 0065835081065818113900
tb.dut.IrqBKnownO_A 0065835081065818113900
tb.dut.IrqCKnownO_A 0065835081065818113900
tb.dut.IrqDKnownO_A 0065835081065818113900
tb.dut.TlAReadyKnownO_A 0065835081065818113900
tb.dut.TlDValidKnownO_A 0065835081065818113900
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00679559132307317800
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00679559132990900
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006795591321005700
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006795591321029500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00679559132974700
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006795591321034900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006795591321122800
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006795591321051100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00679559132987800
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00679559132973100
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006795591321109300
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006795591321042000
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006795591321075200
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006795591321013500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006795591321084900
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006795591321004800
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006795591321020900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006795591321073700
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00679559132994600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006795591321056200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006795591321105200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00679559132986300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006795591321050000
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00679559132982000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006795591321003500
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006795591321177200
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00679559132992800
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006795591321102700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006795591321132400
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006795591321043900
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006795591321023800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006795591321011000
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006795591321118900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00679559132991100
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006795591321014500
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00679559132994900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00679559132981500
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00679559132982000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006795591321163600
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00679559132993300
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006795591321121500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006795591321176300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006795591321064000
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006795591321001100
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006795591321035300
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006795591321023300
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006795591321168800
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006795591321107500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006795591321112200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00679559132983900
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006795591321146100
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00679559132971800
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00679559132999900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00679559132980700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006795591321011500
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00679559132994200
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006795591321112500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006795591321003700
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006795591321169000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006795591321121400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006795591321097600
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006795591321067000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006795591321105900
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00679559132955100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006795591321031200
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006795591321170500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006795591321059500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00679559132990200
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00679559132992800
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006795591321058200
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006795591321974700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006795591321008400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006795591321040500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006795591321160500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006795591321010200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006795591321064300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00679559132991100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00679559132990300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00679559132971400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006583508108000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006583508108000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006583508108000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00658350810471500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0065835081021471900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0065835081033169888800
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0065835081028200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0065835081083900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006583508103400
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0065835081040000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0065816632825208399900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0065835081089000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0065835081087100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0065835081084600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0065835081082200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00658350810144600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0065835081014135300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00658350810136700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006583508104300
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00658350810134900
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00658350810110900
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 0065835081065818113900
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006583508108000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006583508108000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006583508108000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00658350810415300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0065835081020683400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0065835081036662770100
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0065835081019500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0065835081051800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006583508102300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0065835081024300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0065816632825114295500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0065835081057800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0065835081056600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0065835081054900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0065835081053600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00658350810146000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0065835081013979200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00658350810138200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006583508105400
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00658350810141100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00658350810117100
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 0065835081065818113900
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006583508108000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006583508108000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006583508108000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00658350810204400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0065835081019674300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0065835081037017313800
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0065835081027500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0065835081048500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006583508101700
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0065835081022300
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0065816632830799870500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0065835081055800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0065835081053900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0065835081052900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0065835081052400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00658350810142200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0065835081017027200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00658350810134400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006583508106100
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00658350810143700
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00658350810119700
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 0065835081065818113900
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006583508108000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006583508108000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006583508108000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00658350810427500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0065835081016500200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0065835081040410755700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0065835081031300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0065835081049500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006583508102600
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0065835081023700
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0065816632830299306900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0065835081059300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0065835081058000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0065835081057200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0065835081055800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0065835081088300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0065835081010667600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0065835081077200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006583508108300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00658350810142100
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00658350810118100
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 0065835081065818113900
tb.dut.tlul_assert_device.aKnown_A 0067955913213274716400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0067955913267889519200
tb.dut.tlul_assert_device.aReadyKnown_A 0067955913267889519200
tb.dut.tlul_assert_device.dKnown_A 0067955913218467996300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0067955913267889519200
tb.dut.tlul_assert_device.dReadyKnown_A 0067955913267889519200
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%