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 0071161907200632
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00711619072000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0071161907271145775700
tb.dut.CheckAccuCntDw 0063263200
tb.dut.CheckEscCntDw 0063263200
tb.dut.CheckNAlerts 0063263200
tb.dut.CheckNClasses 0063263200
tb.dut.CheckNEscSev 0063263200
tb.dut.CrashdumpKnownO_A 0071161907271145775700
tb.dut.EdnKnownO_A 0071161907271145775700
tb.dut.EscPKnownO_A 0071161907271145775700
tb.dut.FpvSecCmPingTimerCnterCheck_A 007116190727000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007116190727000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007116190727000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007116190727000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007116190727000
tb.dut.IrqAKnownO_A 0071161907271145775700
tb.dut.IrqBKnownO_A 0071161907271145775700
tb.dut.IrqCKnownO_A 0071161907271145775700
tb.dut.IrqDKnownO_A 0071161907271145775700
tb.dut.TlAReadyKnownO_A 0071161907271145775700
tb.dut.TlDValidKnownO_A 0071161907271145775700
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00737200059326272500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007372000591962000
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007372000591710500
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007372000591693600
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007372000591786200
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007372000591805000
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007372000591807400
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007372000591667600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007372000591725800
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007372000591561900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007372000591685900
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007372000591930700
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007372000591768800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007372000591703700
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007372000591914300
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007372000591938800
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007372000591554200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007372000591693300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007372000591811400
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007372000591820600
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007372000591757600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007372000591705000
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007372000591792200
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007372000591665000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007372000591587700
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007372000591902700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007372000591688900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007372000591681700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007372000591832500
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007372000591683500
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007372000591688300
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007372000591705100
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007372000591691500
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007372000591532700
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007372000591719400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007372000591779000
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007372000591777000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007372000591688800
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007372000591809500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007372000591895400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007372000591687400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007372000591824100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007372000591802500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007372000591920200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007372000591884800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007372000591578300
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007372000591852300
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007372000591680600
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007372000591732100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007372000591672600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007372000591789600
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007372000591572700
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007372000591772800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007372000591657700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007372000591550700
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007372000591555400
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007372000591804800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007372000591678300
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007372000591690400
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007372000591589200
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007372000591759400
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007372000591916000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007372000591744700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007372000591683000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007372000591773900
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007372000591722900
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007372000591764300
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007372000591779500
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007372000591693700
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007372000591713900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007372000593373700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007372000591577500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007372000591653400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007372000591793500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007372000591686100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007372000591705400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007372000591809700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007372000591697900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007372000591692500
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007116190727000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007116190727000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007116190727000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00711619072415200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0071161907223400600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0071161907234295977600
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0071161907224400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0071161907287300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007116190724500
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0071161907241800
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0071147982027651531100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0071161907295100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0071161907292600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0071161907290800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0071161907289400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0071161907279100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0071161907210226100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0071161907269400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007116190725100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00711619072122900
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00711619072101900
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0071147839771140721100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063263200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0071161907271145775700
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007116190727000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007116190727000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007116190727000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00711619072436800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0071161907218499900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0071161907241874207200
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0071161907221800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0071161907249600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007116190722300
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0071161907220300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0071147982032351696500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0071161907256000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0071161907254100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0071161907253000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0071161907252500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0071161907252100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 007116190725970200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0071161907244300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007116190725500
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00711619072126900
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00711619072105900
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0071147839771140721100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063263200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0071161907271145775700
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007116190727000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007116190727000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007116190727000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00711619072200400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0071161907217707200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0071161907240150630900
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0071161907225400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0071161907246700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007116190721700
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0071161907218200
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0071147982029822360100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0071161907252900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0071161907252200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0071161907251200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0071161907250600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00711619072110000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0071161907214240400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00711619072103000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007116190725000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00711619072130300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00711619072109300
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0071147839771140721100
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063263200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0071161907271145775700
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007116190727000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007116190727000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007116190727000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00711619072235000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0071161907218568000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0071161907241460366200
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0071161907223600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0071161907251100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007116190721700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0071161907223800
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0071147982034000290300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0071161907258100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0071161907257400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0071161907256700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0071161907255600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0071161907280400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 007116190729721400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0071161907271800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007116190726600
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00711619072122300
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00711619072101300
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0071147839771140721100
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063263200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0071161907271145775700
tb.dut.tlul_assert_device.aKnown_A 0073720005913562449800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0073720005973652633100
tb.dut.tlul_assert_device.aReadyKnown_A 0073720005973652633100
tb.dut.tlul_assert_device.dKnown_A 0073720005919042507200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0073720005973652633100
tb.dut.tlul_assert_device.dReadyKnown_A 0073720005973652633100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083783700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083783700
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%