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 0064966672400620
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00649666724000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0064966672464948593900
tb.dut.CheckAccuCntDw 0062062000
tb.dut.CheckEscCntDw 0062062000
tb.dut.CheckNAlerts 0062062000
tb.dut.CheckNClasses 0062062000
tb.dut.CheckNEscSev 0062062000
tb.dut.CrashdumpKnownO_A 0064966672464948593900
tb.dut.EdnKnownO_A 0064966672464948593900
tb.dut.EscPKnownO_A 0064966672464948593900
tb.dut.FpvSecCmPingTimerCnterCheck_A 006496667249000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006496667249000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006496667249000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006496667249000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006496667249000
tb.dut.IrqAKnownO_A 0064966672464948593900
tb.dut.IrqBKnownO_A 0064966672464948593900
tb.dut.IrqCKnownO_A 0064966672464948593900
tb.dut.IrqDKnownO_A 0064966672464948593900
tb.dut.TlAReadyKnownO_A 0064966672464948593900
tb.dut.TlDValidKnownO_A 0064966672464948593900
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00674278252271872000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006742782521024700
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006742782521018400
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006742782521051800
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006742782521022900
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006742782521013200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006742782521009700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006742782521024800
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006742782521036500
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006742782521023400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006742782521016300
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006742782521014500
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00674278252993400
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006742782521064800
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006742782521012400
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006742782521003900
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006742782521006200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00674278252985800
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006742782521025600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006742782521012800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006742782521029000
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006742782521030700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006742782521005400
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006742782521027500
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006742782521016100
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00674278252994300
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006742782521015700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006742782521032100
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006742782521019800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006742782521013400
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006742782521026600
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006742782521038100
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00674278252999900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006742782521011500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006742782521008000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006742782521009700
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006742782521001800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006742782521016000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006742782521000300
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006742782521036100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00674278252996000
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006742782521036800
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006742782521023600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006742782521038200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006742782521005200
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00674278252992300
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006742782521036900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006742782521042600
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006742782521000700
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00674278252990700
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006742782521029300
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006742782521014800
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006742782521014900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006742782521000400
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006742782521022900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006742782521032400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00674278252986100
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006742782521020900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006742782521019400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00674278252998800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00674278252993700
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006742782521026600
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006742782521030600
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006742782521008100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006742782521039900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006742782521018700
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006742782521003900
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006742782521024700
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006742782521037300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006742782521016300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006742782521639700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006742782521030100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006742782521007100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006742782521006400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006742782521038200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006742782521044100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006742782521001600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006742782521003600
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006742782521012800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006496667249000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006496667249000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006496667249000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00649666724246100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0064966672422428500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0064966672432738201800
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0064966672433000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0064966672476500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006496667244400
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0064966672438500
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0064945011025609930400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0064966672484900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0064966672483600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0064966672481400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0064966672480100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00649666724147000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0064966672414954200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00649666724136200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006496667246300
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00649666724159000
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00649666724132000
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0064944835064938263600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0064966672464948593900
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006496667249000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006496667249000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006496667249000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00649666724224900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0064966672416050400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0064966672435205491800
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0064966672431000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0064966672448000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006496667242300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0064966672423600
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0064945011025915981300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0064966672457600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0064966672456600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0064966672455500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0064966672454100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00649666724231300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0064966672422027900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00649666724220500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006496667248400
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00649666724163000
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00649666724136000
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0064944835064938263600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0064966672464948593900
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006496667249000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006496667249000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006496667249000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00649666724195400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0064966672421653500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0064966672433129344500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0064966672429600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0064966672449700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006496667241800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0064966672423700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0064945011026560537600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0064966672454700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0064966672453900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0064966672452900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0064966672451900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0064966672470000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006496667247691100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0064966672464200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006496667244000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00649666724155100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00649666724128100
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0064944835064938263600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0064966672464948593900
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006496667249000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006496667249000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006496667249000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00649666724571400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0064966672418415200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0064966672434111770500
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0064966672435700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0064966672450300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006496667242100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0064966672424500
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0064945011025861382500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0064966672458700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0064966672458200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0064966672456500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0064966672455400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00649666724161600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0064966672416377400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00649666724152200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006496667247200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00649666724160500
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00649666724133500
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0064944835064938263600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0064966672464948593900
tb.dut.tlul_assert_device.aKnown_A 0067427825212513498000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0067427825267358899500
tb.dut.tlul_assert_device.aReadyKnown_A 0067427825267358899500
tb.dut.tlul_assert_device.dKnown_A 0067427825217337439400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0067427825267358899500
tb.dut.tlul_assert_device.dReadyKnown_A 0067427825267358899500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082582500
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%