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 0075859515800643
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00758595158000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0075859515875840787200
tb.dut.CheckAccuCntDw 0064364300
tb.dut.CheckEscCntDw 0064364300
tb.dut.CheckNAlerts 0064364300
tb.dut.CheckNClasses 0064364300
tb.dut.CheckNEscSev 0064364300
tb.dut.CrashdumpKnownO_A 0075859515875840787200
tb.dut.EdnKnownO_A 0075859515875840787200
tb.dut.EscPKnownO_A 0075859515875840787200
tb.dut.FpvSecCmPingTimerCnterCheck_A 007585951589000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007585951589000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007585951589000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007585951589000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007585951589000
tb.dut.IrqAKnownO_A 0075859515875840787200
tb.dut.IrqBKnownO_A 0075859515875840787200
tb.dut.IrqCKnownO_A 0075859515875840787200
tb.dut.IrqDKnownO_A 0075859515875840787200
tb.dut.TlAReadyKnownO_A 0075859515875840787200
tb.dut.TlDValidKnownO_A 0075859515875840787200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00786415114375417200
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007864151141939700
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007864151141870500
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007864151141925700
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007864151141920300
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007864151141858800
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007864151141854400
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007864151141932800
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007864151141877500
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007864151141898100
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007864151141874300
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007864151141866800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007864151141891400
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007864151141895700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007864151141898500
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007864151141890500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007864151141882300
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007864151141955800
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007864151141939900
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007864151141876300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007864151141904400
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007864151141889400
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007864151141923400
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007864151141884400
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007864151141951200
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007864151141852200
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007864151141944100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007864151141895700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007864151142014400
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007864151141911000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007864151141909900
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007864151141888600
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007864151141813700
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007864151141859100
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007864151141956200
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007864151141870900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007864151141857500
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007864151141906200
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007864151141842100
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007864151141908400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007864151141887500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007864151141933600
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007864151141882700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007864151141974300
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007864151141922000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007864151141968400
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007864151141891700
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007864151141953500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007864151141906600
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007864151141906600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007864151141873300
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007864151141866300
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007864151141887000
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007864151141975800
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007864151141909600
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007864151141979400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007864151141845800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007864151141821800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007864151141842000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007864151141927800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007864151141888200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007864151141958600
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007864151141890600
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007864151141889100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007864151141883100
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007864151141880700
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007864151141866700
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007864151141926200
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007864151141954600
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007864151141946700
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007864151143656600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007864151141879800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007864151141936800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007864151141883800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007864151141878900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007864151141910300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007864151141939400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007864151141878300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007864151141894700
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007585951589000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007585951589000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007585951589000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00758595158125600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0075859515827603100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0075859515838833839600
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0075859515833600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0075859515893300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007585951584800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0075859515843300
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0075832575729006782500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00758595158102900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 00758595158101200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0075859515899700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0075859515898600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0075859515890900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0075859515810852100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0075859515879500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007585951586600
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00758595158164500
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00758595158137500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0064364300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0075859515875840787200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007585951589000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007585951589000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007585951589000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00758595158111600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0075859515819074700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0075859515845155487400
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0075859515833100
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0075859515852500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007585951582700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0075859515823700
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0075832575735940520000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0075859515862600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0075859515861500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0075859515860700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0075859515859700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00758595158114900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0075859515815403900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00758595158104500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007585951587700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00758595158166100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00758595158139100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0064364300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0075859515875840787200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007585951589000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007585951589000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007585951589000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00758595158556000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0075859515820520800
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0075859515840547169200
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0075859515832200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0075859515854700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007585951582700
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0075859515827100
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0075832575733146019300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0075859515863300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0075859515862300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0075859515861400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0075859515859800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00758595158108300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0075859515811334500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0075859515899000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007585951586600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00758595158161100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00758595158134100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0064364300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0075859515875840787200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007585951589000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007585951589000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007585951589000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00758595158642500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0075859515820464400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0075859515841743547700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0075859515830400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0075859515859200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007585951583200
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0075859515828900
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0075832575733295722000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0075859515870300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0075859515869400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0075859515868000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0075859515867200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00758595158135800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0075859515815712700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00758595158124200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007585951588400
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00758595158160900
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00758595158133900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0064364300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0075859515875840787200
tb.dut.tlul_assert_device.aKnown_A 0078641511414014680300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0078641511478568075800
tb.dut.tlul_assert_device.aReadyKnown_A 0078641511478568075800
tb.dut.tlul_assert_device.dKnown_A 0078641511420952064200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0078641511478568075800
tb.dut.tlul_assert_device.dReadyKnown_A 0078641511478568075800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084884800
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0084884800
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%