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 0074151989600635
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00741519896000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0074151989674133208000
tb.dut.CheckAccuCntDw 0063563500
tb.dut.CheckEscCntDw 0063563500
tb.dut.CheckNAlerts 0063563500
tb.dut.CheckNClasses 0063563500
tb.dut.CheckNEscSev 0063563500
tb.dut.CrashdumpKnownO_A 0074151989674133208000
tb.dut.EdnKnownO_A 0074151989674133208000
tb.dut.EscPKnownO_A 0074151989674133208000
tb.dut.FpvSecCmPingTimerCnterCheck_A 007415198969000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007415198969000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007415198969000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007415198969000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007415198969000
tb.dut.IrqAKnownO_A 0074151989674133208000
tb.dut.IrqBKnownO_A 0074151989674133208000
tb.dut.IrqCKnownO_A 0074151989674133208000
tb.dut.IrqDKnownO_A 0074151989674133208000
tb.dut.TlAReadyKnownO_A 0074151989674133208000
tb.dut.TlDValidKnownO_A 0074151989674133208000
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00766211914405372900
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007662119141855100
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007662119141702900
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007662119141786400
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007662119141713500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007662119141693000
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007662119141819100
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007662119141826600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007662119141951000
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007662119141890000
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007662119141703500
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007662119141671700
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007662119141681000
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007662119141778100
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007662119141694300
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007662119141687900
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007662119141667200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007662119141721300
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007662119141704700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007662119141832800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007662119141793600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007662119141838200
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007662119141696700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007662119141714400
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007662119141816800
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007662119141840000
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007662119141787500
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007662119141767500
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007662119141769900
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007662119141697400
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007662119141793000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007662119141642400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007662119141701400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007662119141817500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007662119141768800
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007662119141708400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007662119141685900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007662119141688600
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007662119141945500
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007662119141681500
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007662119141804200
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007662119141707500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007662119141656300
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007662119141681800
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007662119141803700
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007662119141681900
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007662119141725900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007662119141662800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007662119141842300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007662119141800400
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007662119141801200
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007662119141725800
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007662119141752300
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007662119141657800
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007662119141710200
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007662119141637800
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007662119141832300
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007662119141692100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007662119141934000
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007662119141833500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007662119141640600
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007662119141701300
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007662119141821300
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007662119141808400
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007662119141934300
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007662119141715800
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007662119141832700
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007662119141937900
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007662119141809400
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007662119141785900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007662119143375000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007662119141686500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007662119141688800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007662119141812000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007662119141838700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007662119141800100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007662119141819300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007662119141736900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007662119141718600
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007415198969000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007415198969000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007415198969000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00741519896425400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0074151989625983200
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0074151989633960364200
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0074151989629300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0074151989687900
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007415198965100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0074151989641000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0074134397725543021200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 00741519896100000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0074151989697900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0074151989696300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0074151989694900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00741519896122600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0074151989612012600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00741519896108300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007415198969200
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00741519896161600
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00741519896134600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0063563500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0074151989674133208000
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007415198969000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007415198969000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007415198969000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00741519896157300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0074151989616603700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0074151989643502188600
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0074151989634900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0074151989654600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007415198962200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0074151989625700
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0074134397733289193300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0074151989662300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0074151989661100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0074151989660200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0074151989658700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0074151989649500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 007415198967015000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0074151989640700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007415198966600
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00741519896164400
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00741519896137400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0063563500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0074151989674133208000
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007415198969000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007415198969000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007415198969000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00741519896337000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0074151989618142000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0074151989643043015800
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0074151989632300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0074151989654700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007415198962400
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0074151989623200
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0074134397734223953200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0074151989661200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0074151989659500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0074151989658400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0074151989657500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0074151989678800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0074151989610038200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0074151989671900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007415198964500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00741519896160800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00741519896133800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0063563500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0074151989674133208000
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007415198969000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007415198969000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007415198969000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00741519896475700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0074151989618390800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0074151989641429118700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0074151989630900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0074151989649100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007415198961800
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0074151989620200
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0074134397734132397000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0074151989656500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0074151989655300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0074151989653900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0074151989653000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00741519896121600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0074151989612800900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00741519896113600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007415198966200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00741519896156700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00741519896129700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0063563500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0074151989674133208000
tb.dut.tlul_assert_device.aKnown_A 0076621191414589084500
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0076621191476553231200
tb.dut.tlul_assert_device.aReadyKnown_A 0076621191476553231200
tb.dut.tlul_assert_device.dKnown_A 0076621191420505360500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0076621191476553231200
tb.dut.tlul_assert_device.dReadyKnown_A 0076621191476553231200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084084000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0084084000
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1275010
Category 01275010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1275010
Severity 01275010


Summary for Assertions
NUMBERPERCENT
Total Number1275100.00
Uncovered20.16
Success127399.84
Failure00.00
Incomplete493.84
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%