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 0070776241300623
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00707762413000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0070776241370760574900
tb.dut.CheckAccuCntDw 0062362300
tb.dut.CheckEscCntDw 0062362300
tb.dut.CheckNAlerts 0062362300
tb.dut.CheckNClasses 0062362300
tb.dut.CheckNEscSev 0062362300
tb.dut.CrashdumpKnownO_A 0070776241370760574900
tb.dut.EdnKnownO_A 0070776241370760574900
tb.dut.EscPKnownO_A 0070776241370760574900
tb.dut.FpvSecCmPingTimerCnterCheck_A 007077624137000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007077624137000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007077624137000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007077624137000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007077624137000
tb.dut.IrqAKnownO_A 0070776241370760574900
tb.dut.IrqBKnownO_A 0070776241370760574900
tb.dut.IrqCKnownO_A 0070776241370760574900
tb.dut.IrqDKnownO_A 0070776241370760574900
tb.dut.TlAReadyKnownO_A 0070776241370760574900
tb.dut.TlDValidKnownO_A 0070776241370760574900
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00733314859338644500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007333148592062200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007333148592028500
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007333148592027900
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007333148592037400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007333148591990400
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007333148592044400
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007333148592035600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007333148592041300
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007333148592037500
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007333148592052100
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007333148592049800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007333148592014600
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007333148592039200
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007333148592043200
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007333148592038500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007333148592038000
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007333148592008800
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007333148592017500
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007333148592026900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007333148592016500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007333148592060600
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007333148592021500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007333148592019400
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007333148592032200
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007333148592056300
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007333148592057800
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007333148592028500
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007333148592098500
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007333148592023500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007333148592044800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007333148592041500
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007333148592048900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007333148592032800
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007333148592051000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007333148592034900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007333148592074700
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007333148592067000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007333148592051200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007333148592042300
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007333148592003700
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007333148592013100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007333148592042100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007333148592070500
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007333148592001800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007333148592029500
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007333148592036500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007333148591996900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007333148592043900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007333148592025500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007333148592068600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007333148592012500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007333148592028800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007333148592044400
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007333148592022500
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007333148591989100
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007333148592047200
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007333148592073100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007333148592044100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007333148592008000
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007333148591995100
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007333148592050900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007333148592060800
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007333148592096300
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007333148592014100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007333148592003100
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007333148592056000
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007333148592048000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007333148592058300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007333148592021900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007333148594137700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007333148592053200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007333148592039500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007333148592048100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007333148592028600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007333148592060500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007333148591995200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007333148592045800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007333148592002600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007077624137000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007077624137000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007077624137000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00707762413331500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0070776241321826000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0070776241333200786100
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0070776241321000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0070776241387200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007077624133800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0070776241343700
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0070763658625104039000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0070776241395700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0070776241394100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0070776241391800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0070776241389800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0070776241375200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 007077624139515200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0070776241364300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007077624136900
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00707762413121600
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00707762413100600
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0070763559770756793700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0070776241370760574900
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007077624137000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007077624137000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007077624137000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00707762413400700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0070776241323312200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0070776241337786767300
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0070776241321700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0070776241349600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007077624132700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0070776241323900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0070763658630347961500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0070776241357100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0070776241355900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0070776241354800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0070776241354200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00707762413131800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0070776241316315000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00707762413122700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007077624136300
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00707762413115500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0070776241394500
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0070763559770756793700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0070776241370760574900
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007077624137000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007077624137000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007077624137000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00707762413390100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0070776241318004700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0070776241343863895400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0070776241316900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0070776241349100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007077624132800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0070776241322700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0070763658635353747400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0070776241356400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0070776241355500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0070776241355000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0070776241353400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00707762413129900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0070776241314670400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00707762413121300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007077624135800
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00707762413110200
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0070776241389200
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0070763559770756793700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0070776241370760574900
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007077624137000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007077624137000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007077624137000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00707762413227200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0070776241322296100
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0070776241341054249600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0070776241321200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0070776241350800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007077624131800
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0070776241322100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0070763658632425196900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0070776241357900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0070776241356100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0070776241355300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0070776241354300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0070776241380900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0070776241312226800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0070776241372500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007077624136500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00707762413109900
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0070776241388900
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0070763559770756793700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062362300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0070776241370760574900
tb.dut.tlul_assert_device.aKnown_A 0073331485914290889600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0073331485973265636900
tb.dut.tlul_assert_device.aReadyKnown_A 0073331485973265636900
tb.dut.tlul_assert_device.dKnown_A 0073331485919343999800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0073331485973265636900
tb.dut.tlul_assert_device.dReadyKnown_A 0073331485973265636900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082882800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082882800
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%