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 0067387560800624
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00673875608000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0067387560867370050300
tb.dut.CheckAccuCntDw 0062462400
tb.dut.CheckEscCntDw 0062462400
tb.dut.CheckNAlerts 0062462400
tb.dut.CheckNClasses 0062462400
tb.dut.CheckNEscSev 0062462400
tb.dut.CrashdumpKnownO_A 0067387560867370050300
tb.dut.EdnKnownO_A 0067387560867370050300
tb.dut.EscPKnownO_A 0067387560867370050300
tb.dut.FpvSecCmPingTimerCnterCheck_A 006738756088000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006738756088000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006738756088000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006738756088000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006738756088000
tb.dut.IrqAKnownO_A 0067387560867370050300
tb.dut.IrqBKnownO_A 0067387560867370050300
tb.dut.IrqCKnownO_A 0067387560867370050300
tb.dut.IrqDKnownO_A 0067387560867370050300
tb.dut.TlAReadyKnownO_A 0067387560867370050300
tb.dut.TlDValidKnownO_A 0067387560867370050300
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00698973289263574200
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006989732891490800
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006989732891499700
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006989732891459200
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006989732891486800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006989732891471100
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006989732891544900
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006989732891493000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006989732891472400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006989732891481600
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006989732891472600
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006989732891494300
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006989732891496000
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006989732891468500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006989732891495100
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006989732891457000
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006989732891504600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006989732891487800
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006989732891468500
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006989732891466900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006989732891495100
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006989732891514400
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006989732891498000
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006989732891514500
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006989732891494900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006989732891473500
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006989732891505900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006989732891468400
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006989732891497700
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006989732891476600
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006989732891469000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006989732891479800
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006989732891475400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006989732891496000
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006989732891474900
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006989732891501400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006989732891483900
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006989732891483900
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006989732891478200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006989732891510300
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006989732891457400
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006989732891496500
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006989732891499600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006989732891513600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006989732891472300
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006989732891473200
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006989732891504100
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006989732891476700
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006989732891506900
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006989732891478100
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006989732891459500
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006989732891500600
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006989732891494300
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006989732891514400
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006989732891489100
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006989732891495800
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006989732891476500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006989732891516900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006989732891470900
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006989732891484900
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006989732891485900
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006989732891465200
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006989732891519500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006989732891506800
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006989732891478600
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006989732891498300
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006989732891502100
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006989732891515000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006989732891484900
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006989732891498100
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006989732892857900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006989732891523400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006989732891446800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006989732891500400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006989732891492900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006989732891494300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006989732891483500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006989732891472200
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006989732891496100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006738756088000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006738756088000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006738756088000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00673875608143600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0067387560823669500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0067387560835602828700
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0067387560834200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0067387560891500
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006738756084300
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0067387560846400
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0067371480028122434000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0067387560899600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0067387560897300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0067387560894200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0067387560891600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00673875608200800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0067387560819659400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00673875608190500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006738756085600
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00673875608142700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00673875608118700
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0067371354967364146600
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 0067387560867370050300
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006738756088000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006738756088000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006738756088000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00673875608391000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0067387560817951800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0067387560838570582300
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0067387560824900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0067387560851900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006738756082000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0067387560823100
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0067371480031700045200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0067387560858700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0067387560856900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0067387560855900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0067387560855200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00673875608135500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0067387560817140100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00673875608127200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006738756086100
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00673875608139600
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00673875608115600
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0067371354967364146600
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 0067387560867370050300
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006738756088000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006738756088000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006738756088000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00673875608361400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0067387560819034700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0067387560835253328500
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0067387560831500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0067387560858500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006738756082500
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0067387560829200
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0067371480027631505100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0067387560865700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0067387560864200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0067387560863200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0067387560862400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00673875608183000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0067387560820618000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00673875608174800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006738756085600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00673875608146100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00673875608122100
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0067371354967364146600
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 0067387560867370050300
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006738756088000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006738756088000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006738756088000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00673875608684500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0067387560817501000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0067387560839613307000
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0067387560825200
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0067387560852000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006738756081900
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0067387560822600
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0067371480031154982100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0067387560858600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0067387560857200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0067387560855400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0067387560854500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00673875608220600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0067387560823618900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00673875608212800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006738756085500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00673875608140800
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00673875608116800
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0067371354967364146600
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 0067387560867370050300
tb.dut.tlul_assert_device.aKnown_A 0069897328913233838700
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0069897328969830780200
tb.dut.tlul_assert_device.aReadyKnown_A 0069897328969830780200
tb.dut.tlul_assert_device.dKnown_A 0069897328919092555700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0069897328969830780200
tb.dut.tlul_assert_device.dReadyKnown_A 0069897328969830780200
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%