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 0066223331900624
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00662233319000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0066223331966207376600
tb.dut.CheckAccuCntDw 0062462400
tb.dut.CheckEscCntDw 0062462400
tb.dut.CheckNAlerts 0062462400
tb.dut.CheckNClasses 0062462400
tb.dut.CheckNEscSev 0062462400
tb.dut.CrashdumpKnownO_A 0066223331966207376600
tb.dut.EdnKnownO_A 0066223331966207376600
tb.dut.EscPKnownO_A 0066223331966207376600
tb.dut.FpvSecCmPingTimerCnterCheck_A 006622333197000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006622333197000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006622333197000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006622333197000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006622333197000
tb.dut.IrqAKnownO_A 0066223331966207376600
tb.dut.IrqBKnownO_A 0066223331966207376600
tb.dut.IrqCKnownO_A 0066223331966207376600
tb.dut.IrqDKnownO_A 0066223331966207376600
tb.dut.TlAReadyKnownO_A 0066223331966207376600
tb.dut.TlDValidKnownO_A 0066223331966207376600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00688696741306412600
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006886967411523200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006886967411505300
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006886967411377800
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006886967411512400
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006886967411607700
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006886967411508600
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006886967411511900
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006886967411454600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006886967411416300
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006886967411472700
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006886967411572000
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006886967411411500
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006886967411506500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006886967411718800
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006886967411522800
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006886967411679100
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006886967411470100
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006886967411390200
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006886967411506400
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006886967411447200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006886967411493900
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006886967411501800
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006886967411536600
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006886967411467300
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006886967411652900
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006886967411631300
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006886967411480900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006886967411561400
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006886967411516800
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006886967411394900
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006886967411403400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006886967411504100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006886967411474000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006886967411551900
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006886967411501700
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006886967411372400
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006886967411392100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006886967411496500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006886967411569500
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006886967411488400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006886967411446700
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006886967411525700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006886967411560000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006886967411527700
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006886967411487800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006886967411467900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006886967411548300
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006886967411564200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006886967411483500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006886967411421400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006886967411443600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006886967411516700
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006886967411577700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006886967411495600
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006886967411378400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006886967411472100
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006886967411416600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006886967411366200
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006886967411471400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006886967411675800
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006886967411528300
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006886967411385200
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006886967411520700
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006886967411496500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006886967411390500
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006886967411522700
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006886967411418900
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006886967411562800
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006886967411577600
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006886967412824600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006886967411570300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006886967411632800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006886967411529400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006886967411451700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006886967411502600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006886967411622300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006886967411393800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006886967411454000
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006622333197000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006622333197000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006622333197000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00662233319330200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0066223331921741900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0066223331933517091500
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0066223331917300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0066223331979600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006622333195600
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0066223331938400
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0066210254025348905300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0066223331990400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0066223331988800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0066223331986700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0066223331984800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00662233319126900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0066223331913920600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00662233319113700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006622333197500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00662233319107200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0066223331986200
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0066210101666203089800
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0066223331966207376600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006622333197000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006622333197000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006622333197000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00662233319331200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0066223331924534600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0066223331933601944200
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0066223331920900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0066223331947400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006622333191600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0066223331919500
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0066210254025591448000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0066223331955400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0066223331954100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0066223331953100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0066223331952400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00662233319168200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0066223331913364000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00662233319159400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006622333197200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00662233319114800
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0066223331993800
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0066210101666203089800
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0066223331966207376600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006622333197000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006622333197000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006622333197000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00662233319354100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0066223331918784600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0066223331938199700600
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0066223331917600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0066223331948200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006622333192400
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0066223331919900
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0066210254028279178800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0066223331955100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0066223331954300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0066223331953200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0066223331952400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00662233319123700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0066223331913195900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00662233319116200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006622333195000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00662233319115300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0066223331994300
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0066210101666203089800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0066223331966207376600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006622333197000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006622333197000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006622333197000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00662233319271300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0066223331923575500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0066223331932417114900
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0066223331922400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0066223331952200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006622333192000
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0066223331922400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0066210254026505630500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0066223331957900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0066223331956800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0066223331955600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0066223331954100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00662233319106700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0066223331911455700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00662233319100200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006622333194500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00662233319118700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0066223331997700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0066210101666203089800
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062462400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0066223331966207376600
tb.dut.tlul_assert_device.aKnown_A 0068869674113861200400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0068869674168798298300
tb.dut.tlul_assert_device.aReadyKnown_A 0068869674168798298300
tb.dut.tlul_assert_device.dKnown_A 0068869674117602128300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0068869674168798298300
tb.dut.tlul_assert_device.dReadyKnown_A 0068869674168798298300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082982900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082982900
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%