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 0070137254300626
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00701372543000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0070137254370120097500
tb.dut.CheckAccuCntDw 0062662600
tb.dut.CheckEscCntDw 0062662600
tb.dut.CheckNAlerts 0062662600
tb.dut.CheckNClasses 0062662600
tb.dut.CheckNEscSev 0062662600
tb.dut.CrashdumpKnownO_A 0070137254370120097500
tb.dut.EdnKnownO_A 0070137254370120097500
tb.dut.EscPKnownO_A 0070137254370120097500
tb.dut.FpvSecCmPingTimerCnterCheck_A 007013725438000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007013725438000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007013725438000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007013725438000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007013725438000
tb.dut.IrqAKnownO_A 0070137254370120097500
tb.dut.IrqBKnownO_A 0070137254370120097500
tb.dut.IrqCKnownO_A 0070137254370120097500
tb.dut.IrqDKnownO_A 0070137254370120097500
tb.dut.TlAReadyKnownO_A 0070137254370120097500
tb.dut.TlDValidKnownO_A 0070137254370120097500
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00728844627286019700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007288446271908500
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007288446271958500
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007288446271798000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007288446271959600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007288446272045900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007288446271966900
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007288446271779400
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007288446271810500
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007288446271949700
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007288446271886900
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007288446271854600
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007288446271997700
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007288446271756500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007288446271914100
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007288446271857300
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007288446271886700
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007288446271782200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007288446271874800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007288446271972900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007288446271966400
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007288446271908200
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007288446271830000
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007288446271907900
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007288446271992500
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007288446271901700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007288446271814200
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007288446272065400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007288446271754200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007288446271787000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007288446271998300
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007288446271917900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007288446271814100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007288446271722300
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007288446271792100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007288446271769800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007288446271820500
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007288446271916200
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007288446271796600
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007288446271901500
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007288446271914300
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007288446272032500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007288446272008500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007288446271976300
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007288446271879800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007288446271836200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007288446271901000
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007288446272037500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007288446271906300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007288446272010100
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007288446271786600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007288446272021400
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007288446271894200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007288446271836100
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007288446272074100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007288446271903000
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007288446271773900
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007288446271944300
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007288446271871200
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007288446271921800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007288446272159300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007288446271968800
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007288446271899800
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007288446271893900
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007288446271894500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007288446271889500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007288446271881900
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007288446271985800
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007288446271905300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007288446271958100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007288446273778300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007288446271920800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007288446271906000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007288446271965200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007288446271878900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007288446271855300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007288446271946100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007288446271746900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007288446272071400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007013725438000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007013725438000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007013725438000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00701372543115400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0070137254319407200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0070137254335546580900
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0070137254327700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0070137254373000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007013725434100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0070137254331500
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0070118063824308183700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0070137254382000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0070137254380400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0070137254378200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0070137254377100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00701372543207400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0070137254319428800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00701372543196900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007013725436100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00701372543144800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00701372543120800
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0070137254370120097500
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007013725438000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007013725438000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007013725438000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00701372543556300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0070137254317736800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0070137254341212745900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0070137254328400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0070137254349900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007013725432000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0070137254321800
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0070118063832210099600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0070137254356000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0070137254355100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0070137254353400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0070137254352300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00701372543150100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0070137254313339300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00701372543142200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007013725435700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00701372543149200
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00701372543125200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0070137254370120097500
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007013725438000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007013725438000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007013725438000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00701372543166700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0070137254317807000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0070137254339852449600
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0070137254329600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0070137254346500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007013725431700
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0070137254318700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0070118063832768715000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0070137254352300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0070137254351700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0070137254350700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0070137254349900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0070137254381200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 007013725438732600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0070137254374400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007013725435000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00701372543146400
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00701372543122400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0070137254370120097500
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007013725438000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007013725438000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007013725438000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00701372543309000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0070137254320365600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0070137254341455254300
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0070137254330100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0070137254353500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007013725432300
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0070137254326200
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0070118063831069661000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0070137254360200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0070137254358400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0070137254357200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0070137254356300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0070137254351700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 007013725435952400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0070137254343600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007013725435500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00701372543144200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00701372543120200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0070137254370120097500
tb.dut.tlul_assert_device.aKnown_A 0072884462713424825800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0072884462772819545500
tb.dut.tlul_assert_device.aReadyKnown_A 0072884462772819545500
tb.dut.tlul_assert_device.dKnown_A 0072884462720291800300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0072884462772819545500
tb.dut.tlul_assert_device.dReadyKnown_A 0072884462772819545500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0083183100
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%