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 0070995144400626
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00709951444000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0070995144470977872200
tb.dut.CheckAccuCntDw 0062662600
tb.dut.CheckEscCntDw 0062662600
tb.dut.CheckNAlerts 0062662600
tb.dut.CheckNClasses 0062662600
tb.dut.CheckNEscSev 0062662600
tb.dut.CrashdumpKnownO_A 0070995144470977872200
tb.dut.EdnKnownO_A 0070995144470977872200
tb.dut.EscPKnownO_A 0070995144470977872200
tb.dut.FpvSecCmPingTimerCnterCheck_A 007099514448000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007099514448000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007099514448000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007099514448000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007099514448000
tb.dut.IrqAKnownO_A 0070995144470977872200
tb.dut.IrqBKnownO_A 0070995144470977872200
tb.dut.IrqCKnownO_A 0070995144470977872200
tb.dut.IrqDKnownO_A 0070995144470977872200
tb.dut.TlAReadyKnownO_A 0070995144470977872200
tb.dut.TlDValidKnownO_A 0070995144470977872200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00735491130341270200
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007354911301053100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007354911301053300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007354911301031000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007354911301000800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007354911301076800
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007354911301140100
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007354911301047500
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007354911301049200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007354911301062400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007354911301055600
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007354911301058100
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007354911301069900
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007354911301062800
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007354911301016700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007354911301165000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007354911301073200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007354911301050600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007354911301045700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007354911301053800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007354911301066500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007354911301187900
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007354911301042900
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007354911301039300
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007354911301070900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007354911301039700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007354911301040100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007354911301142400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007354911301213700
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007354911301046100
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007354911301183200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007354911301035100
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007354911301038300
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007354911301138400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007354911301046000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007354911301032400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007354911301055700
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007354911301160700
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007354911301175300
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007354911301148400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007354911301059000
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007354911301035300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007354911301053100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007354911301039200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007354911301044800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007354911301069000
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007354911301048900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007354911301052300
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007354911301058300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007354911301199500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007354911301012600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007354911301044100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007354911301063400
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007354911301032000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007354911301082700
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007354911301094100
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007354911301100400
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007354911301062700
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007354911301052500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007354911301158900
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007354911301029300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007354911301196500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007354911301167900
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007354911301162400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007354911301060700
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007354911301026400
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007354911301054500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007354911301044400
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007354911301034900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007354911301065700
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007354911302020800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007354911301092300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007354911301052100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007354911301181800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007354911301051100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007354911301064200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007354911301042600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007354911301013200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007354911301166400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007099514448000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007099514448000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007099514448000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00709951444498200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0070995144426421400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0070995144434634798400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0070995144427800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0070995144483400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007099514445100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0070995144440900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0070974678827233209100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0070995144492600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0070995144489900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0070995144488400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0070995144486800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00709951444159600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0070995144414060100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00709951444147400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007099514447100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00709951444152800
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00709951444128800
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0070974510670967437600
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 0070995144470977872200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007099514448000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007099514448000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007099514448000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00709951444280100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0070995144419176700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0070995144442116886600
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0070995144425500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0070995144450800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007099514441500
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0070995144423700
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0070974678830574228600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0070995144458900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0070995144457600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0070995144456600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0070995144455600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00709951444110500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0070995144413348100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00709951444102000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007099514446900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00709951444141500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00709951444117500
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0070974510670967437600
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 0070995144470977872200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007099514448000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007099514448000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007099514448000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00709951444241500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0070995144418731100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0070995144444789986900
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0070995144430600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0070995144449000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007099514442200
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0070995144421600
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0070974678835039348800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0070995144456000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0070995144455000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0070995144453900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0070995144453600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00709951444102900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0070995144412136300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0070995144494700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007099514446000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00709951444142800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00709951444118800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0070974510670967437600
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 0070995144470977872200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007099514448000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007099514448000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007099514448000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00709951444250800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0070995144417767600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0070995144443714386600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0070995144428000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0070995144448900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007099514441800
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0070995144421400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0070974678834792862700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0070995144457400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0070995144456000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0070995144455200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0070995144454200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00709951444213100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0070995144419697500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00709951444203900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007099514447100
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00709951444144400
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00709951444120400
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0070974510670967437600
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 0070995144470977872200
tb.dut.tlul_assert_device.aKnown_A 0073549113013872620200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0073549113073478643100
tb.dut.tlul_assert_device.aReadyKnown_A 0073549113073478643100
tb.dut.tlul_assert_device.dKnown_A 0073549113018718395500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0073549113073478643100
tb.dut.tlul_assert_device.dReadyKnown_A 0073549113073478643100
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
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%