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 0055615968000623
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00556159680000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0055615968055597636400
tb.dut.CheckAccuCntDw 0062362300
tb.dut.CheckEscCntDw 0062362300
tb.dut.CheckNAlerts 0062362300
tb.dut.CheckNClasses 0062362300
tb.dut.CheckNEscSev 0062362300
tb.dut.CrashdumpKnownO_A 0055615968055597636400
tb.dut.EdnKnownO_A 0055615968055597636400
tb.dut.EscPKnownO_A 0055615968055597636400
tb.dut.FpvSecCmPingTimerCnterCheck_A 005561596809000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005561596809000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005561596809000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005561596809000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005561596809000
tb.dut.IrqAKnownO_A 0055615968055597636400
tb.dut.IrqBKnownO_A 0055615968055597636400
tb.dut.IrqCKnownO_A 0055615968055597636400
tb.dut.IrqDKnownO_A 0055615968055597636400
tb.dut.TlAReadyKnownO_A 0055615968055597636400
tb.dut.TlDValidKnownO_A 0055615968055597636400
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0057902193222540600
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005790219321217200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005790219321115600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005790219321119700
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005790219321107500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005790219321205700
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005790219321174100
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005790219321119600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005790219321161500
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005790219321225300
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005790219321100200
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005790219321122500
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005790219321128100
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005790219321256200
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005790219321121100
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005790219321104100
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005790219321158300
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005790219321113600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005790219321175200
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005790219321128300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005790219321170600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005790219321180200
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005790219321121200
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005790219321105300
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005790219321105900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005790219321175000
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005790219321135100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005790219321159000
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005790219321178600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005790219321243300
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005790219321159100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005790219321203000
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005790219321247900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005790219321130000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005790219321117000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005790219321092200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005790219321164800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005790219321087500
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005790219321107700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005790219321174100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005790219321292200
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005790219321115100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005790219321137400
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005790219321196200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005790219321270700
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005790219321102400
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005790219321238500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005790219321126400
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005790219321096100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005790219321245400
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005790219321107600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005790219321286500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005790219321231500
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005790219321181300
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005790219321091300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005790219321102600
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005790219321116700
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005790219321114200
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005790219321122500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005790219321113000
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005790219321232500
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005790219321109200
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005790219321094900
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005790219321111800
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005790219321088400
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005790219321111100
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005790219321213400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005790219321237100
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005790219321252100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005790219321201000
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005790219322232600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005790219321106300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005790219321129000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005790219321237300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005790219321188700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005790219321145300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005790219321171500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005790219321193800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005790219321154100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005561596809000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005561596809000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005561596809000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00556159680221400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0055615968018676700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0055615968031174428900
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0055615968029100
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0055615968079900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005561596803900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0055615968041300
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0055588403123377539000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0055615968088400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0055615968085500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0055615968083300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0055615968081100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0055615968047400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 005561596806430500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0055615968036600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005561596806500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00556159680146300
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00556159680119300
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0055588137855581330100
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 0055615968055597636400
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005561596809000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005561596809000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005561596809000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00556159680131400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0055615968020671200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0055615968028598547100
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0055615968025200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0055615968046900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005561596802200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0055615968021100
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0055588403123279173600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0055615968052700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0055615968050900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0055615968050000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0055615968049800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0055615968048100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005561596806725300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0055615968040700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005561596804800
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00556159680142600
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00556159680115600
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0055588137855581330100
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 0055615968055597636400
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005561596809000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005561596809000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005561596809000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00556159680580700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0055615968015404900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0055615968032661937700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0055615968030500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0055615968046400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005561596803100
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0055615968024200
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0055588403126868220100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0055615968054800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0055615968053800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0055615968052500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0055615968051100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0055615968055300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005561596807757300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0055615968045700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005561596806400
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00556159680146800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00556159680119800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0055588137855581330100
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 0055615968055597636400
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005561596809000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005561596809000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005561596809000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00556159680488700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0055615968011922100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0055615968033221737300
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0055615968022900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0055615968043600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005561596802000
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0055615968018200
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0055588403126956255600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0055615968049800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0055615968048200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0055615968047300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0055615968046400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0055615968048700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005561596806571900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0055615968040900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005561596805500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00556159680148000
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00556159680121000
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0055588137855581330100
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 0055615968055597636400
tb.dut.tlul_assert_device.aKnown_A 005790219328183156500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0057902193257829448100
tb.dut.tlul_assert_device.aReadyKnown_A 0057902193257829448100
tb.dut.tlul_assert_device.dKnown_A 0057902193214256800500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0057902193257829448100
tb.dut.tlul_assert_device.dReadyKnown_A 0057902193257829448100
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
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%