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 0053851920700619
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00538519207000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0053851920753836590600
tb.dut.CheckAccuCntDw 0061961900
tb.dut.CheckEscCntDw 0061961900
tb.dut.CheckNAlerts 0061961900
tb.dut.CheckNClasses 0061961900
tb.dut.CheckNEscSev 0061961900
tb.dut.CrashdumpKnownO_A 0053851920753836590600
tb.dut.EdnKnownO_A 0053851920753836590600
tb.dut.EscPKnownO_A 0053851920753836590600
tb.dut.FpvSecCmPingTimerCnterCheck_A 005385192077000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005385192077000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005385192077000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005385192077000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005385192077000
tb.dut.IrqAKnownO_A 0053851920753836590600
tb.dut.IrqBKnownO_A 0053851920753836590600
tb.dut.IrqCKnownO_A 0053851920753836590600
tb.dut.IrqDKnownO_A 0053851920753836590600
tb.dut.TlAReadyKnownO_A 0053851920753836590600
tb.dut.TlDValidKnownO_A 0053851920753836590600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0056328869816300800
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005632886981767800
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005632886981695900
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005632886981767600
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005632886981701400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005632886981823600
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005632886981712800
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005632886981684700
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005632886981812000
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005632886981882400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005632886981805200
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005632886981842100
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005632886981915600
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005632886981683700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005632886981716700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005632886981835000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005632886981797900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005632886981839000
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005632886981698000
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005632886981863700
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005632886982028400
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005632886981721100
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005632886981814700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005632886981822800
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005632886981940800
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005632886981827300
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005632886981692400
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005632886981951400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005632886981986200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005632886981811800
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005632886981711400
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005632886981873600
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005632886982055500
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005632886981892600
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005632886981816200
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005632886982062700
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005632886981936900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005632886981828100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005632886981836500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005632886981691000
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005632886981855700
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005632886981897300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005632886981868300
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005632886981784200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005632886982017900
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005632886981835600
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005632886981819500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005632886981693900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005632886981964700
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005632886981757500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005632886981709100
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005632886981939300
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005632886981780200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005632886981707000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005632886981730000
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005632886981882100
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005632886981688000
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005632886981808900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005632886981742500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005632886981807100
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005632886981773200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005632886981876800
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005632886981895700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005632886981836700
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005632886981821700
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005632886981713600
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005632886981666800
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005632886981694700
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005632886981927800
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005632886981695500
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005632886983639700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005632886981878900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005632886981823300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005632886981754300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005632886981745600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005632886981776100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005632886981800200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005632886981697600
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005632886981861400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005385192077000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005385192077000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005385192077000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00538519207508300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0053851920714176500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0053851920729065122200
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0053851920718700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0053851920774400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005385192073700
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0053851920736600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0053830219221885232500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0053851920781500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0053851920779700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0053851920777300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0053851920775300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0053851920764100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 005385192077682700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0053851920754800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005385192075300
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00538519207117400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0053851920796400
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0053830081053823644800
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0053851920753836590600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005385192077000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005385192077000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005385192077000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00538519207445200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0053851920713669900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0053851920726717362800
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0053851920721300
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0053851920741500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005385192071000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0053851920717300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0053830219221268077200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0053851920748200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0053851920746800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0053851920746100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0053851920745700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0053851920735400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005385192075091100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0053851920727900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005385192076400
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00538519207113500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0053851920792500
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0053830081053823644800
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0053851920753836590600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005385192077000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005385192077000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005385192077000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00538519207219700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0053851920719903400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0053851920729147966300
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0053851920722100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0053851920739500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005385192071200
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0053851920714500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0053830219224235823800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0053851920742700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0053851920741900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0053851920741400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0053851920740700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0053851920772100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005385192079070000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0053851920766800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005385192073600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00538519207115900
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0053851920794900
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0053830081053823644800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0053851920753836590600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005385192077000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005385192077000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005385192077000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00538519207190800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0053851920715948000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0053851920732311344700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0053851920722800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0053851920744400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005385192071900
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0053851920719600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0053830219224671192300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0053851920749400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0053851920747600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0053851920747000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0053851920746000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0053851920743400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005385192075205400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0053851920737000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005385192074300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00538519207119200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0053851920798200
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0053830081053823644800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0053851920753836590600
tb.dut.tlul_assert_device.aKnown_A 005632886987970604200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0056328869856264151200
tb.dut.tlul_assert_device.aReadyKnown_A 0056328869856264151200
tb.dut.tlul_assert_device.dKnown_A 0056328869813549160200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0056328869856264151200
tb.dut.tlul_assert_device.dReadyKnown_A 0056328869856264151200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082482400
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%