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 0067268546000625
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00672685460000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0067268546067254024700
tb.dut.CheckAccuCntDw 0062562500
tb.dut.CheckEscCntDw 0062562500
tb.dut.CheckNAlerts 0062562500
tb.dut.CheckNClasses 0062562500
tb.dut.CheckNEscSev 0062562500
tb.dut.CrashdumpKnownO_A 0067268546067254024700
tb.dut.EdnKnownO_A 0067268546067254024700
tb.dut.EscPKnownO_A 0067268546067254024700
tb.dut.FpvSecCmPingTimerCnterCheck_A 006726854606000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006726854606000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006726854606000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006726854606000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006726854606000
tb.dut.IrqAKnownO_A 0067268546067254024700
tb.dut.IrqBKnownO_A 0067268546067254024700
tb.dut.IrqCKnownO_A 0067268546067254024700
tb.dut.IrqDKnownO_A 0067268546067254024700
tb.dut.TlAReadyKnownO_A 0067268546067254024700
tb.dut.TlDValidKnownO_A 0067268546067254024700
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00695317308368728600
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00695317308694900
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00695317308683900
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00695317308692500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00695317308817600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00695317308800100
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00695317308849500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00695317308685200
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00695317308711500
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00695317308694900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00695317308684800
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00695317308847300
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00695317308690800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00695317308713100
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00695317308707100
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00695317308712200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00695317308691600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00695317308691400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00695317308692500
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00695317308722300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00695317308799700
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00695317308806900
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00695317308801700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00695317308716000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00695317308702800
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00695317308671000
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00695317308706300
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00695317308690200
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00695317308821000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00695317308710700
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00695317308806200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00695317308702300
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00695317308839100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00695317308705400
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00695317308678900
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00695317308699200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00695317308666400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00695317308695400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00695317308699500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00695317308822400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00695317308685700
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00695317308670200
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00695317308701100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00695317308698400
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00695317308687800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00695317308822200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00695317308817900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00695317308698600
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00695317308802200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00695317308696000
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00695317308718700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00695317308795700
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00695317308814000
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00695317308670200
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00695317308708400
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00695317308689300
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00695317308660100
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00695317308817200
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00695317308825600
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00695317308717300
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00695317308827200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00695317308803100
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00695317308838700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00695317308694000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00695317308707300
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00695317308684500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00695317308814800
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00695317308707000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00695317308705400
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00695317308809900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006953173081226900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00695317308817600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00695317308699500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00695317308803200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00695317308720800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00695317308690000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00695317308685600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00695317308719200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00695317308702600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006726854606000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006726854606000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006726854606000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00672685460298100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0067268546019761400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0067268546033975738100
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0067268546021800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0067268546085300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006726854604500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0067268546042200
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0067257258229651920800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0067268546093100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0067268546091000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0067268546088800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0067268546087500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00672685460109700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 006726854609563200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0067268546099400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006726854605500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00672685460108200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0067268546090200
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0067257122667250228000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0067268546067254024700
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006726854606000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006726854606000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006726854606000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00672685460636000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0067268546017046300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0067268546040096626000
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0067268546021200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0067268546047100
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006726854602600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0067268546020300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0067257258230225941700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0067268546054200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0067268546053400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0067268546051800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0067268546050400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00672685460124600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0067268546012276300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00672685460116200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006726854605600
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00672685460103800
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0067268546085800
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0067257122667250228000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0067268546067254024700
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006726854606000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006726854606000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006726854606000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 0067268546060600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0067268546019239200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0067268546033975275000
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0067268546020600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0067268546055000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006726854601900
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0067268546023800
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0067257258227163816600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0067268546061000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0067268546060000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0067268546058400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0067268546057100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00672685460109800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0067268546012012200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00672685460102500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006726854605200
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00672685460108800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0067268546090800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0067257122667250228000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0067268546067254024700
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006726854606000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006726854606000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006726854606000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00672685460276500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0067268546016991800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0067268546038899500800
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0067268546018100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0067268546053100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006726854602700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0067268546026100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0067257258229918860700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0067268546060500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0067268546058500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0067268546057300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0067268546056000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0067268546060300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 006726854608069900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0067268546051400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006726854606200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00672685460108500
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0067268546090500
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0067257122667250228000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0067268546067254024700
tb.dut.tlul_assert_device.aKnown_A 0069531730814033820500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0069531730869469574600
tb.dut.tlul_assert_device.aReadyKnown_A 0069531730869469574600
tb.dut.tlul_assert_device.dKnown_A 0069531730817902971600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0069531730869469574600
tb.dut.tlul_assert_device.dReadyKnown_A 0069531730869469574600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083083000
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%