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 0069630439600625
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00696304396000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0069630439669615892200
tb.dut.CheckAccuCntDw 0062562500
tb.dut.CheckEscCntDw 0062562500
tb.dut.CheckNAlerts 0062562500
tb.dut.CheckNClasses 0062562500
tb.dut.CheckNEscSev 0062562500
tb.dut.CrashdumpKnownO_A 0069630439669615892200
tb.dut.EdnKnownO_A 0069630439669615892200
tb.dut.EscPKnownO_A 0069630439669615892200
tb.dut.FpvSecCmPingTimerCnterCheck_A 006963043966000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006963043966000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006963043966000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006963043966000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006963043966000
tb.dut.IrqAKnownO_A 0069630439669615892200
tb.dut.IrqBKnownO_A 0069630439669615892200
tb.dut.IrqCKnownO_A 0069630439669615892200
tb.dut.IrqDKnownO_A 0069630439669615892200
tb.dut.TlAReadyKnownO_A 0069630439669615892200
tb.dut.TlDValidKnownO_A 0069630439669615892200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00722071950379361600
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00722071950975700
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00722071950968600
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00722071950963300
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007220719501192300
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007220719501151500
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00722071950970800
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007220719501072000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00722071950845500
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007220719501102900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00722071950866600
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007220719501098200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00722071950966900
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00722071950861400
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00722071950854800
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00722071950849700
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00722071950887200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00722071950967200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00722071950905400
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007220719501072600
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00722071950959200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00722071950971500
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00722071950845500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00722071950963500
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00722071950924000
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007220719501022600
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00722071950909700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007220719501093900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007220719501001900
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007220719501029100
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007220719501048800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00722071950837900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007220719501160700
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00722071950979400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00722071950833800
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007220719501103500
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00722071950990000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007220719501148000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007220719501040100
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00722071950957700
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00722071950850800
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007220719501021100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007220719501189300
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00722071950970200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00722071950853000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007220719501098800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00722071950931400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00722071950952800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00722071950884400
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00722071950840000
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00722071950987600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00722071950920700
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00722071950868500
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00722071950895000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00722071950939500
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00722071950971000
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00722071950999400
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00722071950839000
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00722071950948800
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00722071950835900
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007220719501193900
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007220719501056900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00722071950907900
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00722071950938400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00722071950841900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00722071950856800
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007220719501171000
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007220719501026400
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00722071950971100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007220719501062800
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007220719501628800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007220719501051300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00722071950951400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00722071950852500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007220719501133000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007220719501070100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007220719501201200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00722071950972400
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00722071950980400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006963043966000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006963043966000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006963043966000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00696304396210700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0069630439622207600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0069630439637025938500
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0069630439618500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0069630439684000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006963043964700
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0069630439639200
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0069618567226703321300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0069630439691300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0069630439689200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0069630439687400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0069630439686300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00696304396192100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0069630439617409800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00696304396183100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006963043964300
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00696304396104800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0069630439686800
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0069618475369611529900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0069630439669615892200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006963043966000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006963043966000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006963043966000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00696304396819000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0069630439616369400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0069630439640050528400
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0069630439621500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0069630439650400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006963043961800
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0069630439622500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0069618567230183943900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0069630439656100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0069630439655300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0069630439654600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0069630439653600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00696304396158300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0069630439611841800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00696304396151700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006963043964800
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00696304396106800
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0069630439688800
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0069618475369611529900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0069630439669615892200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006963043966000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006963043966000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006963043966000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00696304396137000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0069630439619909500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0069630439637894752800
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0069630439622000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0069630439648600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006963043962100
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0069630439621500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0069618567231227037900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0069630439655300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0069630439654200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0069630439653400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0069630439652500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00696304396169300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0069630439613109600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00696304396162100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006963043965000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00696304396109900
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0069630439691900
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0069618475369611529900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0069630439669615892200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006963043966000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006963043966000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006963043966000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00696304396275600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0069630439619920600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0069630439642325091600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0069630439622200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0069630439645900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006963043963000
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0069630439619400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0069618567231873285700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0069630439653100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0069630439652200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0069630439651700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0069630439651100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00696304396149400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0069630439612701300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00696304396141500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006963043964700
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00696304396107000
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0069630439689000
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0069618475369611529900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0069630439669615892200
tb.dut.tlul_assert_device.aKnown_A 0072207195014969007000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0072207195072139036000
tb.dut.tlul_assert_device.aReadyKnown_A 0072207195072139036000
tb.dut.tlul_assert_device.dKnown_A 0072207195018706423300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0072207195072139036000
tb.dut.tlul_assert_device.dReadyKnown_A 0072207195072139036000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083083000
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%