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 0052414058700628
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00524140587000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0052414058752398369400
tb.dut.CheckAccuCntDw 0062862800
tb.dut.CheckEscCntDw 0062862800
tb.dut.CheckNAlerts 0062862800
tb.dut.CheckNClasses 0062862800
tb.dut.CheckNEscSev 0062862800
tb.dut.CrashdumpKnownO_A 0052414058752398369400
tb.dut.EdnKnownO_A 0052414058752398369400
tb.dut.EscPKnownO_A 0052414058752398369400
tb.dut.FpvSecCmPingTimerCnterCheck_A 005241405877000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005241405877000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005241405877000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005241405877000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005241405877000
tb.dut.IrqAKnownO_A 0052414058752398369400
tb.dut.IrqBKnownO_A 0052414058752398369400
tb.dut.IrqCKnownO_A 0052414058752398369400
tb.dut.IrqDKnownO_A 0052414058752398369400
tb.dut.TlAReadyKnownO_A 0052414058752398369400
tb.dut.TlDValidKnownO_A 0052414058752398369400
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0054784240128191400
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00547842401904100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00547842401892300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00547842401905000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00547842401994200
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00547842401998200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00547842401884700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005478424011012300
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00547842401932800
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00547842401902200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005478424011094400
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005478424011036000
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00547842401977100
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005478424011126700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00547842401992400
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005478424011031500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00547842401888000
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00547842401917000
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005478424011006400
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00547842401987900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00547842401904200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00547842401930200
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00547842401998900
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00547842401900200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00547842401919400
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00547842401941500
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00547842401890100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00547842401866400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00547842401901800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00547842401923200
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005478424011130800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00547842401884100
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00547842401889500
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00547842401913100
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005478424011013300
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00547842401910000
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00547842401877300
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00547842401900800
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00547842401997300
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00547842401900800
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00547842401912400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005478424011002100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00547842401885200
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005478424011012800
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005478424011012600
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005478424011006100
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005478424011121600
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00547842401877900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005478424011157400
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00547842401909100
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00547842401877300
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00547842401906600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00547842401995000
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00547842401898300
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00547842401894100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005478424011032400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00547842401884300
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00547842401894100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00547842401894000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00547842401983800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00547842401993500
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00547842401881500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005478424011128400
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005478424011133400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00547842401894200
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005478424011016500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00547842401999100
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005478424011018400
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00547842401884300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005478424011035500
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005478424011724000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005478424011002900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00547842401898200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005478424011002500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00547842401911700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00547842401866200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005478424011037500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00547842401893700
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00547842401874600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005241405877000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005241405877000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005241405877000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00524140587319200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0052414058718060700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0052414058728633841300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0052414058719900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0052414058788600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005241405874800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0052414058745200
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0052393940022081068500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0052414058796200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0052414058794000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0052414058791500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0052414058789700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0052414058762100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 005241405877111600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0052414058750100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005241405876800
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00524140587115700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0052414058794700
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0052393747952387019300
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 0052414058752398369400
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005241405877000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005241405877000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005241405877000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00524140587584500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0052414058718539800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0052414058725263961900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0052414058719500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0052414058748900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005241405873200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0052414058720000
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0052393940018757328400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0052414058755500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0052414058754500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0052414058753600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0052414058752600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0052414058798000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0052414058711387100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0052414058788900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005241405875400
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00524140587111800
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0052414058790800
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0052393747952387019300
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 0052414058752398369400
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005241405877000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005241405877000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005241405877000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00524140587197100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0052414058719067000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0052414058726622112400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0052414058716900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0052414058748900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005241405871800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0052414058720700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0052393940019064230600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0052414058754500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0052414058753400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0052414058752500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0052414058751800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00524140587109400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0052414058712123600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00524140587101100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005241405875800
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00524140587106500
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0052414058785500
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0052393747952387019300
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 0052414058752398369400
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005241405877000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005241405877000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005241405877000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00524140587241300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0052414058714034400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0052414058727990074800
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0052414058719300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0052414058747800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005241405872500
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0052414058721500
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0052393940023049220800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0052414058753200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0052414058752300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0052414058751100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0052414058750300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00524140587134500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0052414058714036900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00524140587127000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005241405874700
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00524140587111800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0052414058790800
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0052393747952387019300
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 0052414058752398369400
tb.dut.tlul_assert_device.aKnown_A 005478424018161861600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0054784240154721898400
tb.dut.tlul_assert_device.aReadyKnown_A 0054784240154721898400
tb.dut.tlul_assert_device.dKnown_A 0054784240113694485700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0054784240154721898400
tb.dut.tlul_assert_device.dReadyKnown_A 0054784240154721898400
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
tb.dut.tlul_assert_device.gen_assert_final[199].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%