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 0056126044100624
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00561260441000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0056126044156110435800
tb.dut.CheckAccuCntDw 0062462400
tb.dut.CheckEscCntDw 0062462400
tb.dut.CheckNAlerts 0062462400
tb.dut.CheckNClasses 0062462400
tb.dut.CheckNEscSev 0062462400
tb.dut.CrashdumpKnownO_A 0056126044156110435800
tb.dut.EdnKnownO_A 0056126044156110435800
tb.dut.EscPKnownO_A 0056126044156110435800
tb.dut.FpvSecCmPingTimerCnterCheck_A 005612604417000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005612604417000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005612604417000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005612604417000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005612604417000
tb.dut.IrqAKnownO_A 0056126044156110435800
tb.dut.IrqBKnownO_A 0056126044156110435800
tb.dut.IrqCKnownO_A 0056126044156110435800
tb.dut.IrqDKnownO_A 0056126044156110435800
tb.dut.TlAReadyKnownO_A 0056126044156110435800
tb.dut.TlDValidKnownO_A 0056126044156110435800
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0058490984619077100
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005849098461015000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005849098461018900
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005849098461144200
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005849098461123500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00584909846920700
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00584909846890800
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005849098461004800
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005849098461003800
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005849098461057700
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005849098461024700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005849098461138500
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00584909846997100
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00584909846978600
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00584909846999000
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00584909846998600
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005849098461008600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005849098461252300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00584909846913400
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005849098461123000
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00584909846909900
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00584909846875300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005849098461001900
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00584909846894100
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005849098461016500
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005849098461108700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005849098461003200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00584909846919000
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005849098461013300
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005849098461024000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005849098461257300
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005849098461102500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005849098461000300
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00584909846989400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00584909846918100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00584909846896800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005849098461001900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005849098461027000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00584909846993700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005849098461126500
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00584909846879600
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00584909846914100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005849098461022200
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00584909846880500
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00584909846877700
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005849098461037900
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00584909846894400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005849098461002500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00584909846995300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00584909846898700
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005849098461108900
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005849098461032100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005849098461004400
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005849098461001600
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005849098461046200
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00584909846890800
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005849098461237600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005849098461010600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005849098461012400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005849098461022500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005849098461021800
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005849098461035000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00584909846893500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005849098461107800
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00584909846923800
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005849098461004200
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00584909846898800
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005849098461113000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005849098461012900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005849098461143300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005849098461706200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005849098461006400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005849098461033100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005849098461118700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005849098461136800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005849098461010400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005849098461003800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00584909846891300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005849098461030200
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005612604417000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005612604417000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005612604417000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00561260441409000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0056126044116287800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0056126044130212558100
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0056126044120600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0056126044174900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005612604415700
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0056126044137800
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0056097592525586566700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0056126044183400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0056126044180100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0056126044179000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0056126044177700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00561260441153100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0056126044118375800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00561260441141400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005612604415400
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00561260441114400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0056126044193400
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0056097031756090432600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0056126044156110435800
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005612604417000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005612604417000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005612604417000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00561260441576500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0056126044116435100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0056126044131414557400
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0056126044118100
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0056126044143200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005612604412600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0056126044117900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0056097592523095492200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0056126044151100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0056126044149600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0056126044149200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0056126044148600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00561260441189100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0056126044122890100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00561260441179500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005612604416500
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00561260441113000
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0056126044192000
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0056097031756090432600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0056126044156110435800
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005612604417000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005612604417000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005612604417000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00561260441155700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0056126044118718700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0056126044129932032400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0056126044117700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0056126044144200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005612604412600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0056126044119200
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0056097592523797576400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0056126044149800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0056126044148500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0056126044147800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0056126044147400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0056126044145500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005612604415767500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0056126044138000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005612604414600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00561260441107700
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0056126044186700
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0056097031756090432600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0056126044156110435800
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005612604417000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005612604417000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005612604417000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00561260441565900
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0056126044114741300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0056126044131519292900
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0056126044116800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0056126044142800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005612604411300
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0056126044116800
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0056097592524039577700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0056126044148500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0056126044147900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0056126044147400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0056126044146800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0056126044194100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0056126044111942800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0056126044186200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005612604415900
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00561260441112900
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0056126044191900
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0056097031756090432600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0056126044156110435800
tb.dut.tlul_assert_device.aKnown_A 005849098468116253300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0058490984658427161000
tb.dut.tlul_assert_device.aReadyKnown_A 0058490984658427161000
tb.dut.tlul_assert_device.dKnown_A 0058490984613988067900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0058490984658427161000
tb.dut.tlul_assert_device.dReadyKnown_A 0058490984658427161000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082982900
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%