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 0057469552500619
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00574695525000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0057469552557453985600
tb.dut.CheckAccuCntDw 0061961900
tb.dut.CheckEscCntDw 0061961900
tb.dut.CheckNAlerts 0061961900
tb.dut.CheckNClasses 0061961900
tb.dut.CheckNEscSev 0061961900
tb.dut.CrashdumpKnownO_A 0057469552557453985600
tb.dut.EdnKnownO_A 0057469552557453985600
tb.dut.EscPKnownO_A 0057469552557453985600
tb.dut.FpvSecCmPingTimerCnterCheck_A 005746955257000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005746955257000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005746955257000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005746955257000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005746955257000
tb.dut.IrqAKnownO_A 0057469552557453985600
tb.dut.IrqBKnownO_A 0057469552557453985600
tb.dut.IrqCKnownO_A 0057469552557453985600
tb.dut.IrqDKnownO_A 0057469552557453985600
tb.dut.TlAReadyKnownO_A 0057469552557453985600
tb.dut.TlDValidKnownO_A 0057469552557453985600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0060100090718752200
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006010009071859800
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006010009071737000
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006010009071736000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006010009071836200
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006010009071713900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006010009071725300
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006010009071721400
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006010009071728200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006010009071728200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006010009071850000
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006010009071734400
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006010009071857500
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006010009071725900
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006010009071712700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006010009071737600
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006010009071712400
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006010009071806100
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006010009071820900
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006010009071740800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006010009071743200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006010009071781200
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006010009071745000
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006010009071750400
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006010009071863200
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006010009071739300
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006010009071758400
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006010009071758500
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006010009071854300
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006010009071731800
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006010009071857400
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006010009071786000
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006010009071854900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006010009071867700
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006010009071740000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006010009071736200
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006010009071704900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006010009071736900
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006010009071763400
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006010009071744600
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006010009071725100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006010009071846500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006010009071707800
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006010009071696600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006010009071745400
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006010009071731000
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006010009071723800
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006010009071836300
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006010009071732000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006010009071751600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006010009071723600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006010009071864200
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006010009071712800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006010009071733000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006010009071762400
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006010009071871800
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006010009071750800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006010009071719100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006010009071737100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006010009071856600
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006010009071767000
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006010009071719500
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006010009071714900
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006010009071820000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006010009071862000
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006010009071726600
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006010009071729200
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006010009071908500
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006010009071749300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006010009071842000
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006010009073727500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006010009071741700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006010009071744200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006010009071699900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006010009071694200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006010009071771800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006010009071746700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006010009071736200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006010009071740900
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005746955257000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005746955257000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005746955257000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00574695525581700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0057469552519308000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0057469552528094700500
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0057469552519900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0057469552580000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005746955254400
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0057469552542600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0057456109021006137500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0057469552586200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0057469552584100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0057469552581500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0057469552580200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00574695525134500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0057469552512992100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00574695525125000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005746955255000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00574695525109100
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0057469552588100
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0057456003457449358100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0057469552557453985600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005746955257000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005746955257000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005746955257000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00574695525388700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0057469552518912400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0057469552528985190800
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0057469552518900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0057469552542200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005746955251800
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0057469552517600
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0057456109020556896600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0057469552546900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0057469552546300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0057469552545300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0057469552543700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00574695525116700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0057469552510497900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00574695525110200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005746955254200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00574695525113400
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0057469552592400
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0057456003457449358100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0057469552557453985600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005746955257000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005746955257000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005746955257000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00574695525391600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0057469552517353600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0057469552529822872900
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0057469552518300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0057469552542900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005746955252100
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0057469552519200
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0057456109022078071800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0057469552548300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0057469552547200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0057469552546100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0057469552545700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00574695525119700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0057469552510108800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00574695525112300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005746955254800
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00574695525110200
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0057469552589200
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0057456003457449358100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0057469552557453985600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005746955257000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005746955257000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005746955257000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00574695525326300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0057469552517751500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0057469552529144364300
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0057469552522100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0057469552547700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005746955251600
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0057469552524900
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0057456109022036285500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0057469552552800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0057469552552000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0057469552550700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0057469552549400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0057469552595000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005746955259019100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0057469552587600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005746955255600
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00574695525117500
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0057469552596500
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0057456003457449358100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0057469552557453985600
tb.dut.tlul_assert_device.aKnown_A 006010009078281029000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0060100090760031668300
tb.dut.tlul_assert_device.aReadyKnown_A 0060100090760031668300
tb.dut.tlul_assert_device.dKnown_A 0060100090715666683700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0060100090760031668300
tb.dut.tlul_assert_device.dReadyKnown_A 0060100090760031668300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082482400
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%