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 0073170771600632
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00731707716000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0073170771673153480600
tb.dut.CheckAccuCntDw 0063263200
tb.dut.CheckEscCntDw 0063263200
tb.dut.CheckNAlerts 0063263200
tb.dut.CheckNClasses 0063263200
tb.dut.CheckNEscSev 0063263200
tb.dut.CrashdumpKnownO_A 0073170771673153480600
tb.dut.EdnKnownO_A 0073170771673153480600
tb.dut.EscPKnownO_A 0073170771673153480600
tb.dut.FpvSecCmPingTimerCnterCheck_A 007317077168000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007317077168000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007317077168000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007317077168000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007317077168000
tb.dut.IrqAKnownO_A 0073170771673153480600
tb.dut.IrqBKnownO_A 0073170771673153480600
tb.dut.IrqCKnownO_A 0073170771673153480600
tb.dut.IrqDKnownO_A 0073170771673153480600
tb.dut.TlAReadyKnownO_A 0073170771673153480600
tb.dut.TlDValidKnownO_A 0073170771673153480600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00755494992424902500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007554949921633600
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007554949921515300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007554949921515000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007554949921667500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007554949921546500
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007554949921515800
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007554949921532000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007554949921516400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007554949921482100
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007554949921502100
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007554949921491700
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007554949921506800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007554949921641500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007554949921624600
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007554949921528900
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007554949921540500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007554949921642200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007554949921525500
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007554949921550300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007554949921637300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007554949921526800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007554949921511300
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007554949921669100
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007554949921630600
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007554949921523500
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007554949921650700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007554949921653000
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007554949921552900
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007554949921506100
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007554949921632600
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007554949921523400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007554949921543400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007554949921516900
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007554949921585100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007554949921638200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007554949921507300
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007554949921533400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007554949921501500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007554949921624800
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007554949921506600
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007554949921536200
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007554949921611000
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007554949921521600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007554949921539600
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007554949921669100
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007554949921534400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007554949921549300
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007554949921501200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007554949921624700
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007554949921612400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007554949921599500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007554949921500500
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007554949921619900
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007554949921476200
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007554949921488600
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007554949921512500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007554949921641300
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007554949921488100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007554949921520000
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007554949921507600
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007554949921654200
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007554949921509000
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007554949921522900
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007554949921561300
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007554949921533300
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007554949921552400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007554949921567500
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007554949921531400
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007554949921521000
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007554949923021700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007554949921492400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007554949921540900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007554949921523100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007554949921633600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007554949921568800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007554949921617100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007554949921646800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007554949921518800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007317077168000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007317077168000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007317077168000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00731707716651800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0073170771623054400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0073170771637859052700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0073170771628300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0073170771685700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007317077163600
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0073170771639300
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0073146237429174075100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0073170771693400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0073170771691000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0073170771688800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0073170771687400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00731707716176600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0073170771618664400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00731707716166000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007317077166500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00731707716119200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0073170771695200
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0073146079973139032000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063263200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0073170771673153480600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007317077168000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007317077168000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007317077168000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 0073170771638700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0073170771619622300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0073170771643465891800
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0073170771628600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0073170771653000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007317077161900
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0073170771623400
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0073146237434953061400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0073170771660200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0073170771659400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0073170771658700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0073170771657600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0073170771692600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0073170771610468300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0073170771684600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007317077166100
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00731707716128700
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00731707716104700
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0073146079973139032000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063263200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0073170771673153480600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007317077168000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007317077168000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007317077168000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00731707716583200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0073170771622553700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0073170771642470243200
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0073170771623800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0073170771653100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007317077162500
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0073170771624700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0073146237434328268800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0073170771662600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0073170771660800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0073170771659800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0073170771659000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00731707716122200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0073170771614387900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00731707716111600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007317077167900
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00731707716128700
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00731707716104700
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0073146079973139032000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063263200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0073170771673153480600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007317077168000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007317077168000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007317077168000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00731707716257900
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0073170771616296400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0073170771641589330400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0073170771626700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0073170771655000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007317077161900
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0073170771625100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0073146237432038045300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0073170771661700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0073170771660000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0073170771658800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0073170771657900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00731707716199100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0073170771621263600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00731707716190700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007317077166300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00731707716126200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00731707716102200
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0073146079973139032000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063263200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0073170771673153480600
tb.dut.tlul_assert_device.aKnown_A 0075549499215716626200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0075549499275485504200
tb.dut.tlul_assert_device.aReadyKnown_A 0075549499275485504200
tb.dut.tlul_assert_device.dKnown_A 0075549499220955606300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0075549499275485504200
tb.dut.tlul_assert_device.dReadyKnown_A 0075549499275485504200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083783700
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%