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 0054449905400630
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00544499054000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0054449905454431186700
tb.dut.CheckAccuCntDw 0063063000
tb.dut.CheckEscCntDw 0063063000
tb.dut.CheckNAlerts 0063063000
tb.dut.CheckNClasses 0063063000
tb.dut.CheckNEscSev 0063063000
tb.dut.CrashdumpKnownO_A 0054449905454431186700
tb.dut.EdnKnownO_A 0054449905454431186700
tb.dut.EscPKnownO_A 0054449905454431186700
tb.dut.FpvSecCmPingTimerCnterCheck_A 005444990549000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005444990549000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005444990549000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005444990549000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005444990549000
tb.dut.IrqAKnownO_A 0054449905454431186700
tb.dut.IrqBKnownO_A 0054449905454431186700
tb.dut.IrqCKnownO_A 0054449905454431186700
tb.dut.IrqDKnownO_A 0054449905454431186700
tb.dut.TlAReadyKnownO_A 0054449905454431186700
tb.dut.TlDValidKnownO_A 0054449905454431186700
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0056924814021544700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005692481401753100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005692481401763600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005692481401712000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005692481401741500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005692481401763000
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005692481401716800
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005692481401719100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005692481401760900
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005692481401742700
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005692481401753300
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005692481401727900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005692481401733200
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005692481401726300
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005692481401722800
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005692481401709500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005692481401726900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005692481401721200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005692481401723000
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005692481401726200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005692481401752300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005692481401735300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005692481401696800
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005692481401706600
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005692481401712100
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005692481401771100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005692481401709100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005692481401736800
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005692481401734200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005692481401717400
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005692481401728200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005692481401743300
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005692481401744500
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005692481401734200
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005692481401755400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005692481401772100
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005692481401744900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005692481401693700
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005692481401748500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005692481401717600
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005692481401749100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005692481401746300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005692481401717500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005692481401728500
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005692481401712000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005692481401710800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005692481401734800
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005692481401726900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005692481401755200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005692481401706700
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005692481401719400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005692481401737800
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005692481401697100
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005692481401724500
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005692481401695300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005692481401720400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005692481401718500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005692481401723600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005692481401736000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005692481401736300
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005692481401739200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005692481401737500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005692481401741500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005692481401724500
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005692481401742400
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005692481401722000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005692481401713900
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005692481401735600
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005692481401737300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005692481401735100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005692481403114200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005692481401722100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005692481401732100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005692481401744700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005692481401776400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005692481401738600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005692481401721700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005692481401730200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005692481401743500
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005444990549000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005444990549000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005444990549000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00544499054468200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0054449905418407600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0054449905425671569300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0054449905425400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0054449905489300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005444990544500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0054449905445400
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0054426174619416914600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0054449905498700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0054449905496300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0054449905494600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0054449905492100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0054449905445100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 005444990545381800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0054449905432600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005444990547800
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00544499054142900
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00544499054115900
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0054425724854418427400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063063000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0054449905454431186700
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005444990549000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005444990549000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005444990549000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00544499054415100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0054449905417318800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0054449905429983419500
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0054449905423000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0054449905444200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005444990542800
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0054449905417800
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0054426174621896279100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0054449905451200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0054449905450000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0054449905449400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0054449905448800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0054449905450100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005444990547707000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0054449905441500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005444990545500
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00544499054145200
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00544499054118200
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0054425724854418427400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063063000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0054449905454431186700
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005444990549000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005444990549000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005444990549000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00544499054296900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0054449905419209000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0054449905427788391900
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0054449905427000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0054449905446900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005444990542300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0054449905419500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0054426174621611301400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0054449905454700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0054449905453700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0054449905453300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0054449905452600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0054449905472800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005444990548877400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0054449905464100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005444990546100
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00544499054139700
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00544499054112700
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0054425724854418427400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063063000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0054449905454431186700
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005444990549000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005444990549000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005444990549000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00544499054374500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0054449905415520900
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0054449905431561293500
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0054449905428200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0054449905448800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005444990541900
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0054449905420300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0054426174623132992100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0054449905454500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0054449905453400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0054449905452800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0054449905452100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0054449905460500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005444990547226500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0054449905452900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005444990545300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00544499054145700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00544499054118700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0054425724854418427400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063063000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0054449905454431186700
tb.dut.tlul_assert_device.aKnown_A 005692481408615341200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0056924814056848371600
tb.dut.tlul_assert_device.aReadyKnown_A 0056924814056848371600
tb.dut.tlul_assert_device.dKnown_A 0056924814014803091200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0056924814056848371600
tb.dut.tlul_assert_device.dReadyKnown_A 0056924814056848371600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083583500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083583500
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%