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 0052257515000626
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00522575150000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0052257515052239198700
tb.dut.CheckAccuCntDw 0062662600
tb.dut.CheckEscCntDw 0062662600
tb.dut.CheckNAlerts 0062662600
tb.dut.CheckNClasses 0062662600
tb.dut.CheckNEscSev 0062662600
tb.dut.CrashdumpKnownO_A 0052257515052239198700
tb.dut.EdnKnownO_A 0052257515052239198700
tb.dut.EscPKnownO_A 0052257515052239198700
tb.dut.FpvSecCmPingTimerCnterCheck_A 005225751509000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005225751509000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005225751509000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005225751509000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005225751509000
tb.dut.IrqAKnownO_A 0052257515052239198700
tb.dut.IrqBKnownO_A 0052257515052239198700
tb.dut.IrqCKnownO_A 0052257515052239198700
tb.dut.IrqDKnownO_A 0052257515052239198700
tb.dut.TlAReadyKnownO_A 0052257515052239198700
tb.dut.TlDValidKnownO_A 0052257515052239198700
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0054983393622171500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005498339361745400
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005498339361872800
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005498339361653300
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005498339361648000
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005498339361649200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 005498339361818700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 005498339361861500
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005498339361886200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005498339361781100
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 005498339361638000
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005498339361642800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 005498339361634000
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005498339361868500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005498339361837600
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005498339361674500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005498339361759000
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005498339361761900
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 005498339361995600
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005498339361639500
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 005498339361849700
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005498339361646500
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005498339361657800
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005498339361619500
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005498339361748300
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005498339361864400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005498339361869600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005498339361750600
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005498339361625800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005498339361644600
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005498339361749200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005498339361632600
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005498339361775400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005498339361980100
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005498339361716600
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005498339361743800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005498339361687200
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005498339361627400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005498339361878800
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 005498339361759300
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005498339361630300
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 005498339361743600
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005498339361918600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005498339361631300
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005498339361888500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 005498339361747700
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005498339361637200
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005498339361662800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005498339361815600
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005498339361654400
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 005498339361743900
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005498339361866500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005498339361762900
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005498339361652400
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 005498339361640800
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005498339361640600
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005498339361641900
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005498339361662800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 005498339361628100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005498339361640800
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005498339361859800
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005498339361644000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 005498339361644900
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005498339361865500
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 005498339361763400
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 005498339361771600
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005498339361889500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 005498339361771700
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005498339361652100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005498339361662900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005498339363358000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005498339361648700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005498339361764500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005498339361794000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005498339361725000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 005498339361778700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 005498339361731600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005498339361663100
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005498339361677400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005225751509000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005225751509000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005225751509000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00522575150471600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0052257515017628100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0052257515026071509300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0052257515031100
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0052257515079800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005225751503900
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0052257515038300
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0052225964622088042000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0052257515087600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0052257515084100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0052257515081700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0052257515080100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00522575150159000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0052257515014556500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00522575150148200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005225751506500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00522575150142700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00522575150115700
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0052225728952218843500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0052257515052239198700
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005225751509000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005225751509000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005225751509000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00522575150417000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0052257515014004000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0052257515030382795400
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0052257515029000
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0052257515047400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005225751502400
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0052257515020100
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0052225964622805458200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0052257515053300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0052257515052300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0052257515051400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0052257515050500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0052257515092600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005225751508903800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0052257515083900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005225751505300
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00522575150147500
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00522575150120500
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0052225728952218843500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0052257515052239198700
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005225751509000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005225751509000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005225751509000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00522575150321100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0052257515014907100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0052257515030032796500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0052257515027300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0052257515048600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005225751501800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0052257515020200
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0052225964623605973600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0052257515052500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0052257515051400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0052257515050800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0052257515049900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00522575150119800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0052257515010315000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00522575150114300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005225751503500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00522575150148800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00522575150121800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0052225728952218843500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0052257515052239198700
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005225751509000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005225751509000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005225751509000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00522575150267600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0052257515014977400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0052257515030096532400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0052257515028400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0052257515045800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005225751502600
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0052257515021100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0052225964623997332400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0052257515051200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0052257515050000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0052257515048700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0052257515047900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00522575150108200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0052257515011258200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00522575150100500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005225751504500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00522575150147200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00522575150120200
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0052225728952218843500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062662600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0052257515052239198700
tb.dut.tlul_assert_device.aKnown_A 005498339368284608900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0054983393654912668500
tb.dut.tlul_assert_device.aReadyKnown_A 0054983393654912668500
tb.dut.tlul_assert_device.dKnown_A 0054983393614182508200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0054983393654912668500
tb.dut.tlul_assert_device.dReadyKnown_A 0054983393654912668500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083183100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083183100
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%