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 0066219078200619
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00662190782000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0066219078266200856500
tb.dut.CheckAccuCntDw 0061961900
tb.dut.CheckEscCntDw 0061961900
tb.dut.CheckNAlerts 0061961900
tb.dut.CheckNClasses 0061961900
tb.dut.CheckNEscSev 0061961900
tb.dut.CrashdumpKnownO_A 0066219078266200856500
tb.dut.EdnKnownO_A 0066219078266200856500
tb.dut.EscPKnownO_A 0066219078266200856500
tb.dut.FpvSecCmPingTimerCnterCheck_A 006621907829000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006621907829000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006621907829000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006621907829000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006621907829000
tb.dut.IrqAKnownO_A 0066219078266200856500
tb.dut.IrqBKnownO_A 0066219078266200856500
tb.dut.IrqCKnownO_A 0066219078266200856500
tb.dut.IrqDKnownO_A 0066219078266200856500
tb.dut.TlAReadyKnownO_A 0066219078266200856500
tb.dut.TlDValidKnownO_A 0066219078266200856500
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00684949674283987900
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006849496741107800
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006849496741138100
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006849496741094700
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006849496741103600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006849496741135400
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006849496741119000
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006849496741193400
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006849496741129200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006849496741221400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006849496741195900
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006849496741125100
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006849496741148500
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006849496741138900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006849496741138700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006849496741146000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006849496741119100
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006849496741109600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006849496741100200
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006849496741186900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006849496741125600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006849496741195800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006849496741103500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006849496741172200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006849496741099000
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006849496741064300
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006849496741164000
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006849496741118000
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006849496741140100
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006849496741200400
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006849496741111700
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006849496741094400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006849496741186800
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006849496741123900
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006849496741117900
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006849496741205000
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006849496741107800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006849496741137700
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006849496741091300
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006849496741122000
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006849496741121400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006849496741138500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006849496741137900
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006849496741153300
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006849496741172400
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006849496741171300
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006849496741137900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006849496741105000
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006849496741206300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006849496741191600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006849496741135200
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006849496741138200
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006849496741211200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006849496741123400
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006849496741116900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006849496741144000
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006849496741126600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006849496741175400
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006849496741110200
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006849496741128200
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006849496741088900
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006849496741189900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006849496741136700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006849496741185900
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006849496741108600
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006849496741177800
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006849496741113600
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006849496741144000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006849496741110100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006849496741156200
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006849496742098800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006849496741137100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006849496741130900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006849496741154400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006849496741129200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006849496741210700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006849496741117200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006849496741183400
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006849496741149800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006621907829000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006621907829000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006621907829000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00662190782291600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0066219078227668500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0066219078232804805700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0066219078233400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0066219078290000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006621907824400
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0066219078248200
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0066182221923104485800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0066219078299300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0066219078297600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0066219078294900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0066219078291900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00662190782200400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0066219078218546800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00662190782189700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006621907826100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00662190782158700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00662190782131700
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0066182063566175223600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0066219078266200856500
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006621907829000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006621907829000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006621907829000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 0066219078299100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0066219078218911900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0066219078238758252900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0066219078233200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0066219078251600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006621907822200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0066219078224500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0066182221930609250200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0066219078259100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0066219078258000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0066219078257100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0066219078256100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00662190782106400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0066219078212543100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0066219078297900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006621907826200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00662190782163000
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00662190782136000
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0066182063566175223600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0066219078266200856500
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006621907829000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006621907829000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006621907829000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00662190782652700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0066219078221356100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0066219078236932479400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0066219078223900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0066219078251800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006621907822200
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0066219078222000
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0066182221926578266600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0066219078258500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0066219078257300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0066219078256500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0066219078255700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00662190782180200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0066219078216804200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00662190782172200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006621907825800
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00662190782165400
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00662190782138400
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0066182063566175223600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0066219078266200856500
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006621907829000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006621907829000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006621907829000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00662190782363500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0066219078216831600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0066219078238048767900
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0066219078228800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0066219078245700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006621907823300
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0066219078219800
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0066182221928924185300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0066219078254300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0066219078253700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0066219078252900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0066219078251800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00662190782182300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0066219078222241600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00662190782172900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006621907826000
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00662190782162500
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00662190782135500
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0066182063566175223600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0066219078266200856500
tb.dut.tlul_assert_device.aKnown_A 0068494967412931937300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0068494967468430838900
tb.dut.tlul_assert_device.aReadyKnown_A 0068494967468430838900
tb.dut.tlul_assert_device.dKnown_A 0068494967417444943900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0068494967468430838900
tb.dut.tlul_assert_device.dReadyKnown_A 0068494967468430838900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082482400
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%