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 0062397761600622
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00623977616000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0062397761662379519900
tb.dut.CheckAccuCntDw 0062262200
tb.dut.CheckEscCntDw 0062262200
tb.dut.CheckNAlerts 0062262200
tb.dut.CheckNClasses 0062262200
tb.dut.CheckNEscSev 0062262200
tb.dut.CrashdumpKnownO_A 0062397761662379519900
tb.dut.EdnKnownO_A 0062397761662379519900
tb.dut.EscPKnownO_A 0062397761662379519900
tb.dut.FpvSecCmPingTimerCnterCheck_A 006239776169000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006239776169000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006239776169000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006239776169000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006239776169000
tb.dut.IrqAKnownO_A 0062397761662379519900
tb.dut.IrqBKnownO_A 0062397761662379519900
tb.dut.IrqCKnownO_A 0062397761662379519900
tb.dut.IrqDKnownO_A 0062397761662379519900
tb.dut.TlAReadyKnownO_A 0062397761662379519900
tb.dut.TlDValidKnownO_A 0062397761662379519900
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00647751018265754500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00647751018647600
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00647751018662000
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00647751018683400
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00647751018679300
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00647751018658500
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00647751018677400
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00647751018659800
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00647751018665900
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00647751018712400
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00647751018738400
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00647751018704800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00647751018653600
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00647751018703500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00647751018716000
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00647751018730600
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00647751018644500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00647751018729000
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00647751018650800
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00647751018666600
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00647751018708600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00647751018727200
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00647751018698500
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00647751018706100
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00647751018712700
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00647751018660400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00647751018711700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00647751018777500
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00647751018750800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00647751018644500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00647751018727200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00647751018717800
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00647751018657200
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00647751018708300
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00647751018775800
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00647751018676800
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00647751018646800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00647751018728300
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00647751018634000
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00647751018724100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00647751018659600
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00647751018728400
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00647751018650800
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00647751018712400
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00647751018654000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00647751018717800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00647751018639400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00647751018628700
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00647751018782400
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00647751018705200
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00647751018648600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00647751018699600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00647751018672700
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00647751018661400
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00647751018674000
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00647751018638800
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00647751018669000
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00647751018811100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00647751018660000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00647751018799900
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00647751018707200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00647751018679900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00647751018715100
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00647751018653000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00647751018646500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00647751018762000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00647751018650000
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00647751018659000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00647751018664900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00647751018687700
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 00647751018996500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00647751018645800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00647751018647800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00647751018733700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00647751018639500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00647751018705300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00647751018634900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00647751018662800
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00647751018642800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006239776169000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006239776169000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006239776169000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00623977616598900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0062397761625088000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0062397761630457723000
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0062397761627300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0062397761680100
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006239776162800
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0062397761635100
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0062360833322286839900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0062397761687600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0062397761685400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0062397761683400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0062397761681700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0062397761698300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0062397761610221200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0062397761688900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006239776166500
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00623977616166200
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00623977616139200
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0062360664262353759500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0062397761662379519900
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006239776169000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006239776169000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006239776169000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00623977616171400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0062397761614118100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0062397761636279034900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0062397761629400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0062397761644200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006239776161700
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0062397761618200
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0062360833329113322400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0062397761651000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0062397761650500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0062397761649800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0062397761649300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00623977616150500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0062397761613096200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00623977616143200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006239776165400
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00623977616159700
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00623977616132700
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0062360664262353759500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0062397761662379519900
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006239776169000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006239776169000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006239776169000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00623977616300000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0062397761618832300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0062397761634701530800
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0062397761631200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0062397761653400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006239776161300
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0062397761627500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0062360833327851045400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0062397761660400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0062397761658900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0062397761656900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0062397761655300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00623977616163500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0062397761612244400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00623977616154900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006239776167100
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00623977616168000
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00623977616141000
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0062360664262353759500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0062397761662379519900
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006239776169000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006239776169000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006239776169000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00623977616333200
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0062397761617292800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0062397761635813043200
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0062397761632900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0062397761646000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006239776162300
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0062397761621100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0062360833330362244200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0062397761653600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0062397761652600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0062397761651900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0062397761650700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00623977616105300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0062397761610196800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0062397761696600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006239776166200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00623977616161800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00623977616134800
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0062360664262353759500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0062397761662379519900
tb.dut.tlul_assert_device.aKnown_A 0064775101812431456600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0064775101864706963000
tb.dut.tlul_assert_device.aReadyKnown_A 0064775101864706963000
tb.dut.tlul_assert_device.dKnown_A 0064775101816786363500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0064775101864706963000
tb.dut.tlul_assert_device.dReadyKnown_A 0064775101864706963000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082782700
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%