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 0069356244500627
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00693562445000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0069356244569337236600
tb.dut.CheckAccuCntDw 0062762700
tb.dut.CheckEscCntDw 0062762700
tb.dut.CheckNAlerts 0062762700
tb.dut.CheckNClasses 0062762700
tb.dut.CheckNEscSev 0062762700
tb.dut.CrashdumpKnownO_A 0069356244569337236600
tb.dut.EdnKnownO_A 0069356244569337236600
tb.dut.EscPKnownO_A 0069356244569337236600
tb.dut.FpvSecCmPingTimerCnterCheck_A 006935624459000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006935624459000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006935624459000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006935624459000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006935624459000
tb.dut.IrqAKnownO_A 0069356244569337236600
tb.dut.IrqBKnownO_A 0069356244569337236600
tb.dut.IrqCKnownO_A 0069356244569337236600
tb.dut.IrqDKnownO_A 0069356244569337236600
tb.dut.TlAReadyKnownO_A 0069356244569337236600
tb.dut.TlDValidKnownO_A 0069356244569337236600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00718963650281706300
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00718963650887700
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00718963650795900
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00718963650880200
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00718963650778300
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00718963650729500
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00718963650909500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00718963650768300
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00718963650894000
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00718963650748700
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00718963650906800
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00718963650906100
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00718963650880200
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00718963650754200
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00718963650876200
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00718963650889400
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00718963650772200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00718963650883300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00718963650773700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00718963650763200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00718963650745900
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00718963650791600
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00718963650752200
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00718963650766800
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00718963650751200
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00718963650772400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00718963650794000
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00718963650882700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00718963650786400
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00718963650743100
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00718963650770200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00718963650892900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00718963650775800
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00718963650881200
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00718963650864500
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00718963650884400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00718963650772600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00718963650795600
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00718963650909700
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00718963650762900
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00718963650751400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00718963650752700
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00718963650760900
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00718963650761500
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00718963650748700
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00718963650901600
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00718963650775900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00718963650893300
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00718963650872600
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00718963650864000
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00718963650773900
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00718963650748700
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00718963650761300
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00718963650902700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00718963650739100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00718963650768200
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00718963650760900
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00718963650802300
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00718963650775000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00718963650893100
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00718963650871700
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00718963650908500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00718963650783200
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00718963650866400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00718963650878700
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00718963650780900
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00718963650779200
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00718963650931900
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00718963650785500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00718963650778100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007189636501258600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00718963650754600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00718963650757900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00718963650877500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00718963650780600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00718963650745000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00718963650747600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00718963650865800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00718963650762000
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006935624459000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006935624459000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006935624459000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00693562445125700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0069356244527712900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0069356244536044977300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0069356244530700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0069356244594200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006935624455800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0069356244547600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0069331943626138996300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00693562445104000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00693562445101500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0069356244599200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0069356244596200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0069356244584700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 006935624459144600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0069356244572800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006935624456100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00693562445157300
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00693562445130300
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0069331827569324303300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0069356244569337236600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006935624459000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006935624459000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006935624459000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00693562445407300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0069356244518217500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0069356244541193457000
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0069356244533200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0069356244543700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006935624451700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0069356244514600
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0069331943632603898600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0069356244549700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0069356244549000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0069356244548600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0069356244547700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00693562445111900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0069356244511834200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00693562445105400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006935624454700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00693562445164100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00693562445137100
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0069331827569324303300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0069356244569337236600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006935624459000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006935624459000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006935624459000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00693562445271500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0069356244518065200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0069356244542423628500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0069356244534000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0069356244553400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006935624452300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0069356244523500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0069331943633159895200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0069356244560300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0069356244559700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0069356244557900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0069356244557000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0069356244560900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006935624457335200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0069356244553200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006935624455300
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00693562445162800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00693562445135800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0069331827569324303300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0069356244569337236600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006935624459000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006935624459000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006935624459000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00693562445489300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0069356244515050300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0069356244541128458700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0069356244530800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0069356244550900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006935624452100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0069356244523700
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0069331943631754964500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0069356244559100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0069356244558100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0069356244556900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0069356244555400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0069356244586000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 006935624459500000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0069356244576400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006935624457300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00693562445151600
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00693562445124600
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0069331827569324303300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062762700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0069356244569337236600
tb.dut.tlul_assert_device.aKnown_A 0071896365013343795000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0071896365071822547300
tb.dut.tlul_assert_device.aReadyKnown_A 0071896365071822547300
tb.dut.tlul_assert_device.dKnown_A 0071896365019253129300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0071896365071822547300
tb.dut.tlul_assert_device.dReadyKnown_A 0071896365071822547300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083283200
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083283200
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%