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 0073461733000628
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00734617330000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0073461733073446605500
tb.dut.CheckAccuCntDw 0062862800
tb.dut.CheckEscCntDw 0062862800
tb.dut.CheckNAlerts 0062862800
tb.dut.CheckNClasses 0062862800
tb.dut.CheckNEscSev 0062862800
tb.dut.CrashdumpKnownO_A 0073461733073446605500
tb.dut.EdnKnownO_A 0073461733073446605500
tb.dut.EscPKnownO_A 0073461733073446605500
tb.dut.FpvSecCmPingTimerCnterCheck_A 007346173306000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007346173306000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007346173306000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007346173306000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007346173306000
tb.dut.IrqAKnownO_A 0073461733073446605500
tb.dut.IrqBKnownO_A 0073461733073446605500
tb.dut.IrqCKnownO_A 0073461733073446605500
tb.dut.IrqDKnownO_A 0073461733073446605500
tb.dut.TlAReadyKnownO_A 0073461733073446605500
tb.dut.TlDValidKnownO_A 0073461733073446605500
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00761115399373795800
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007611153991924000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007611153991867100
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007611153991764000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007611153991805400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007611153991795700
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007611153991718700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007611153991810900
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007611153991712600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007611153991828200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007611153991823700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007611153991799700
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007611153991927800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007611153991824800
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007611153991735700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007611153991809200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007611153991828700
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007611153991705600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007611153991713100
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007611153991696800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007611153991831700
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007611153991847200
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007611153991690800
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007611153991937700
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007611153991838300
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007611153991696400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007611153991832900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007611153991712600
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007611153991915300
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007611153991945000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007611153991720400
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007611153991698200
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007611153991919500
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007611153991781500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007611153991667700
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007611153991795700
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007611153991715300
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007611153991818500
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007611153991717700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007611153991831400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007611153991935000
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007611153991841800
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007611153991799700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007611153991684800
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007611153991709900
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007611153991689200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007611153991795600
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007611153991715400
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007611153991797600
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007611153991683600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007611153991717800
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007611153991737100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007611153991674400
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007611153991932400
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007611153991835100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007611153991704300
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007611153991852800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007611153991817500
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007611153991812500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007611153991830700
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007611153991727600
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007611153991726100
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007611153991931800
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007611153991919600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007611153991713200
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007611153992054100
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007611153991731000
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007611153991936000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007611153991822600
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007611153991713100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007611153993411300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007611153991700300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007611153991844800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007611153991713300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007611153991675900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007611153991933700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007611153992031700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007611153991722200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007611153991809900
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007346173306000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007346173306000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007346173306000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00734617330266900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0073461733027786900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0073461733037703770300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0073461733017500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 00734617330100700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007346173304200
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0073461733051500
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0073449154228671003000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00734617330109700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00734617330106500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 00734617330104200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 00734617330102000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00734617330102500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0073461733011560900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0073461733091400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007346173306800
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00734617330101400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0073461733083400
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0073448963673441465600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062862800
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0073461733073446605500
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007346173306000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007346173306000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007346173306000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00734617330803700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0073461733019717500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0073461733043530745300
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0073461733018800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0073461733054900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007346173302500
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0073461733027100
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0073449154234215506600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0073461733063100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0073461733061600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0073461733060200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0073461733059400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0073461733071000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 007346173309085500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0073461733061700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007346173306800
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00734617330104500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0073461733086500
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0073448963673441465600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062862800
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0073461733073446605500
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007346173306000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007346173306000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007346173306000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00734617330103900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0073461733017507900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0073461733045076098200
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0073461733020300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0073461733051400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007346173302400
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0073461733020800
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0073449154235359941600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0073461733058200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0073461733057400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0073461733056100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0073461733055300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0073461733083300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0073461733010318600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0073461733075400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007346173305400
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00734617330107800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0073461733089800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0073448963673441465600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062862800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0073461733073446605500
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007346173306000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007346173306000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007346173306000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00734617330363100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0073461733017597400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0073461733044581925400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0073461733020400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0073461733052300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007346173302600
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0073461733023400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0073449154233544600200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0073461733059400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0073461733058400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0073461733057600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0073461733056600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0073461733073500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 007346173307637600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0073461733065600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007346173305300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00734617330108300
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0073461733090300
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0073448963673441465600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062862800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0073461733073446605500
tb.dut.tlul_assert_device.aKnown_A 0076111539914661999300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0076111539976047039100
tb.dut.tlul_assert_device.aReadyKnown_A 0076111539976047039100
tb.dut.tlul_assert_device.dKnown_A 0076111539920322681900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0076111539976047039100
tb.dut.tlul_assert_device.dReadyKnown_A 0076111539976047039100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083383300
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083383300
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%