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 0066224047100622
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00662240471000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0066224047166207042200
tb.dut.CheckAccuCntDw 0062262200
tb.dut.CheckEscCntDw 0062262200
tb.dut.CheckNAlerts 0062262200
tb.dut.CheckNClasses 0062262200
tb.dut.CheckNEscSev 0062262200
tb.dut.CrashdumpKnownO_A 0066224047166207042200
tb.dut.EdnKnownO_A 0066224047166207042200
tb.dut.EscPKnownO_A 0066224047166207042200
tb.dut.FpvSecCmPingTimerCnterCheck_A 006622404718000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006622404718000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006622404718000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006622404718000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006622404718000
tb.dut.IrqAKnownO_A 0066224047166207042200
tb.dut.IrqBKnownO_A 0066224047166207042200
tb.dut.IrqCKnownO_A 0066224047166207042200
tb.dut.IrqDKnownO_A 0066224047166207042200
tb.dut.TlAReadyKnownO_A 0066224047166207042200
tb.dut.TlDValidKnownO_A 0066224047166207042200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00688059111286187400
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006880591111375100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006880591111292100
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006880591111330300
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006880591111382800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006880591111375600
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006880591111351900
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006880591111254400
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006880591111454900
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006880591111359400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006880591111378200
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006880591111223000
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006880591111469400
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006880591111366400
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006880591111554200
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006880591111478100
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006880591111379700
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006880591111369900
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006880591111246800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006880591111396200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006880591111475300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006880591111557800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006880591111258500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006880591111472200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006880591111368500
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006880591111387600
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006880591111398300
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006880591111253600
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006880591111271600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006880591111452200
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006880591111395900
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006880591111259300
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006880591111476400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006880591111351500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006880591111426100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006880591111616200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006880591111499700
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006880591111351300
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006880591111352500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006880591111339700
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006880591111347000
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006880591111461900
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006880591111360600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006880591111211100
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006880591111251200
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006880591111365800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006880591111360700
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006880591111461600
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006880591111373000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006880591111216400
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006880591111485500
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006880591111659300
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006880591111483000
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006880591111352700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006880591111473600
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006880591111269400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006880591111496400
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006880591111261900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006880591111338200
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006880591111499400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006880591111476500
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006880591111698600
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006880591111352800
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006880591111347400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006880591111358600
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006880591111222700
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006880591111241700
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006880591111342300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006880591111499500
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006880591111443400
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006880591112580400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006880591111262200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006880591111615000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006880591111485100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006880591111243600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006880591111363000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006880591111463400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006880591111429800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006880591111358500
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006622404718000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006622404718000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006622404718000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00662240471242500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0066224047121060300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0066224047131980068100
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0066224047132000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0066224047181500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006622404715200
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0066224047138900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0066209808423129596700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0066224047191900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0066224047189700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0066224047188200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0066224047185700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0066224047180000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 006622404718517400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0066224047168200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006622404716500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00662240471147200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00662240471123200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0066224047166207042200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006622404718000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006622404718000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006622404718000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00662240471117600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0066224047120175500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0066224047137076171800
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0066224047130700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0066224047149700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006622404713000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0066224047121600
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0066209808425803248500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0066224047156300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0066224047155700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0066224047154500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0066224047153300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0066224047157500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 006622404718582300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0066224047149400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006622404715000
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00662240471142700
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00662240471118700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0066224047166207042200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006622404718000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006622404718000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006622404718000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00662240471679700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0066224047117083200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0066224047135410895700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0066224047124200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0066224047147300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006622404711700
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0066224047119900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0066209808428188352000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0066224047154000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0066224047153100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0066224047152000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0066224047151100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0066224047165700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006622404718725100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0066224047158400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006622404715500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00662240471142600
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00662240471118600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0066224047166207042200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006622404718000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006622404718000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006622404718000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00662240471457400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0066224047118496800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0066224047137025245300
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0066224047126300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0066224047148900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006622404711900
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0066224047121100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0066209808430260507500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0066224047154800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0066224047154000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0066224047152900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0066224047152400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0066224047188900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0066224047111405100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0066224047182400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006622404714500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00662240471143700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00662240471119700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0066224047166207042200
tb.dut.tlul_assert_device.aKnown_A 0068805911112909422500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0068805911168736296000
tb.dut.tlul_assert_device.aReadyKnown_A 0068805911168736296000
tb.dut.tlul_assert_device.dKnown_A 0068805911118203175100
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0068805911168736296000
tb.dut.tlul_assert_device.dReadyKnown_A 0068805911168736296000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0082782700
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1275010
Category 01275010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1275010
Severity 01275010


Summary for Assertions
NUMBERPERCENT
Total Number1275100.00
Uncovered20.16
Success127399.84
Failure00.00
Incomplete493.84
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%