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 0064054041300617
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00640540413000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0064054041364039456500
tb.dut.CheckAccuCntDw 0061761700
tb.dut.CheckEscCntDw 0061761700
tb.dut.CheckNAlerts 0061761700
tb.dut.CheckNClasses 0061761700
tb.dut.CheckNEscSev 0061761700
tb.dut.CrashdumpKnownO_A 0064054041364039456500
tb.dut.EdnKnownO_A 0064054041364039456500
tb.dut.EscPKnownO_A 0064054041364039456500
tb.dut.FpvSecCmPingTimerCnterCheck_A 006405404136000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006405404136000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006405404136000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006405404136000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006405404136000
tb.dut.IrqAKnownO_A 0064054041364039456500
tb.dut.IrqBKnownO_A 0064054041364039456500
tb.dut.IrqCKnownO_A 0064054041364039456500
tb.dut.IrqDKnownO_A 0064054041364039456500
tb.dut.TlAReadyKnownO_A 0064054041364039456500
tb.dut.TlDValidKnownO_A 0064054041364039456500
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00661143033255535500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00661143033795600
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00661143033800000
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00661143033860900
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00661143033763000
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00661143033805100
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00661143033822500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00661143033809400
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00661143033871400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00661143033799200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00661143033805500
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00661143033795700
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00661143033803400
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00661143033799200
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00661143033798900
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00661143033816300
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00661143033793600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00661143033890200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00661143033878600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00661143033824900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00661143033799300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00661143033808700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00661143033787800
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00661143033781900
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00661143033866900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00661143033795600
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00661143033865500
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00661143033808100
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00661143033858900
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00661143033856100
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00661143033843100
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00661143033803900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00661143033797400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00661143033783500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00661143033773300
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00661143033849100
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00661143033851100
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00661143033807000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00661143033804000
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00661143033802000
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00661143033793200
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00661143033850000
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00661143033799500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00661143033858800
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00661143033793500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00661143033803000
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00661143033781500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00661143033856900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00661143033813700
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00661143033817800
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00661143033787000
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00661143033796400
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00661143033799700
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00661143033836800
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00661143033781700
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00661143033863000
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00661143033795400
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00661143033836400
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00661143033811400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00661143033807700
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00661143033791100
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00661143033870900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00661143033815500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00661143033804600
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00661143033809200
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00661143033856000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00661143033814500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00661143033827200
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00661143033856000
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00661143033799000
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006611430331458200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00661143033813000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00661143033869100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00661143033844600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00661143033786200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00661143033803100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00661143033789400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00661143033835200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00661143033792800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006405404136000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006405404136000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006405404136000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00640540413350200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0064054041328350300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0064054041330814798700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0064054041320700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0064054041390800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006405404134500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0064054041349000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0064035929421955727400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0064054041398500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0064054041396300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0064054041393800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0064054041391200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00640540413150900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0064054041315569700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00640540413141200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006405404135100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00640540413110100
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0064054041392100
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0064035774364028873400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0064054041364039456500
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006405404136000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006405404136000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006405404136000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00640540413303900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0064054041314947100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0064054041333687324700
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0064054041320200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0064054041347800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006405404131300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0064054041319700
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0064035929426099349900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0064054041353700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0064054041352700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0064054041352400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0064054041351500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00640540413156300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0064054041316754000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00640540413148800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006405404135700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00640540413108500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0064054041390500
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0064035774364028873400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0064054041364039456500
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006405404136000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006405404136000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006405404136000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00640540413293200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0064054041317390000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0064054041339632133700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0064054041315700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0064054041344500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006405404132900
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0064054041319900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0064035929431743919300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0064054041353300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0064054041352500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0064054041351200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0064054041350500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00640540413115400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0064054041312674500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00640540413105900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006405404136500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00640540413108900
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0064054041390900
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0064035774364028873400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0064054041364039456500
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006405404136000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006405404136000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006405404136000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00640540413241400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0064054041319209500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0064054041335942426100
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0064054041323400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0064054041351000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006405404131700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0064054041325000
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0064035929427587575400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0064054041356500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0064054041355500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0064054041354700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0064054041353200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00640540413101400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0064054041311023100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0064054041393700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006405404135900
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00640540413108700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0064054041390700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0064035774364028873400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0064054041364039456500
tb.dut.tlul_assert_device.aKnown_A 0066114303312281140300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0066114303366052391400
tb.dut.tlul_assert_device.aReadyKnown_A 0066114303366052391400
tb.dut.tlul_assert_device.dKnown_A 0066114303316991566500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0066114303366052391400
tb.dut.tlul_assert_device.dReadyKnown_A 0066114303366052391400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082282200
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%