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 0074547765800631
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00745477658000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0074547765874530517300
tb.dut.CheckAccuCntDw 0063163100
tb.dut.CheckEscCntDw 0063163100
tb.dut.CheckNAlerts 0063163100
tb.dut.CheckNClasses 0063163100
tb.dut.CheckNEscSev 0063163100
tb.dut.CrashdumpKnownO_A 0074547765874530517300
tb.dut.EdnKnownO_A 0074547765874530517300
tb.dut.EscPKnownO_A 0074547765874530517300
tb.dut.FpvSecCmPingTimerCnterCheck_A 007454776588000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007454776588000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007454776588000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007454776588000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007454776588000
tb.dut.IrqAKnownO_A 0074547765874530517300
tb.dut.IrqBKnownO_A 0074547765874530517300
tb.dut.IrqCKnownO_A 0074547765874530517300
tb.dut.IrqDKnownO_A 0074547765874530517300
tb.dut.TlAReadyKnownO_A 0074547765874530517300
tb.dut.TlDValidKnownO_A 0074547765874530517300
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00769142776452304600
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00769142776816200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00769142776894900
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00769142776790200
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00769142776780100
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00769142776800200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00769142776796600
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00769142776781600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00769142776852600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00769142776773000
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00769142776786500
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00769142776801100
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00769142776786500
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00769142776785700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00769142776793700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00769142776779000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00769142776811500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00769142776793700
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00769142776816600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00769142776812600
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00769142776772600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00769142776803800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00769142776799100
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00769142776780600
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00769142776773100
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00769142776784400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00769142776847600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00769142776770900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00769142776802000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00769142776803600
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00769142776792000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00769142776777700
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00769142776875600
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00769142776807800
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00769142776861400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00769142776815200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00769142776788200
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00769142776852500
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00769142776841500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00769142776816100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00769142776793300
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00769142776783400
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00769142776876900
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00769142776755900
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00769142776856500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00769142776819100
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00769142776811600
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00769142776796800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00769142776781200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00769142776824700
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00769142776787700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00769142776802900
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00769142776768800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00769142776844300
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00769142776799300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00769142776786100
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00769142776763600
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00769142776876100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00769142776804000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00769142776824800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00769142776768300
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00769142776862900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00769142776872600
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00769142776767100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00769142776773300
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00769142776792500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00769142776798500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00769142776827000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00769142776818200
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00769142776783800
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007691427761425700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00769142776869400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00769142776867300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00769142776770100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00769142776856800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00769142776862300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00769142776789200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00769142776795000
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00769142776798700
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007454776588000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007454776588000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007454776588000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00745477658302100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0074547765827951900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0074547765836005282700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0074547765825600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0074547765889400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007454776585500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0074547765844500
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0074516146226231816800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0074547765899000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0074547765897100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0074547765894700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0074547765892100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00745477658117400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0074547765810506800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00745477658106000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007454776585900
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00745477658148700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00745477658124700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063163100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0074547765874530517300
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007454776588000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007454776588000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007454776588000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00745477658235000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0074547765824354100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0074547765841871419000
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0074547765827700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0074547765854700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007454776582300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0074547765825900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0074516146232294151300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0074547765862500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0074547765861300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0074547765859800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0074547765858900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00745477658128800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0074547765810955000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00745477658119900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007454776586600
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00745477658145300
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00745477658121300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063163100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0074547765874530517300
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007454776588000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007454776588000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007454776588000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00745477658451800
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0074547765818693200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0074547765844214546400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0074547765828000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0074547765852800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007454776581800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0074547765823500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0074516146236312015300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0074547765859300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0074547765858500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0074547765857100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0074547765856400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00745477658121500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 007454776589829700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00745477658114100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007454776585300
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00745477658137100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00745477658113100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063163100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0074547765874530517300
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007454776588000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007454776588000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007454776588000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00745477658413500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0074547765819052700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0074547765843076797200
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0074547765829200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0074547765853200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007454776582500
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0074547765825600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0074516146236388589600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0074547765859800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0074547765857900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0074547765856700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0074547765855900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0074547765894700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0074547765810077500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0074547765887100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007454776584900
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00745477658138800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00745477658114800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063163100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0074547765874530517300
tb.dut.tlul_assert_device.aKnown_A 0076914277615702515900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0076914277676847695200
tb.dut.tlul_assert_device.aReadyKnown_A 0076914277676847695200
tb.dut.tlul_assert_device.dKnown_A 0076914277620812274400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0076914277676847695200
tb.dut.tlul_assert_device.dReadyKnown_A 0076914277676847695200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0083683600
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0083683600
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%