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 0075153839000644
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00751538390000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0075153839075138107000
tb.dut.CheckAccuCntDw 0064464400
tb.dut.CheckEscCntDw 0064464400
tb.dut.CheckNAlerts 0064464400
tb.dut.CheckNClasses 0064464400
tb.dut.CheckNEscSev 0064464400
tb.dut.CrashdumpKnownO_A 0075153839075138107000
tb.dut.EdnKnownO_A 0075153839075138107000
tb.dut.EscPKnownO_A 0075153839075138107000
tb.dut.FpvSecCmPingTimerCnterCheck_A 007515383907000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007515383907000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007515383907000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007515383907000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007515383907000
tb.dut.IrqAKnownO_A 0075153839075138107000
tb.dut.IrqBKnownO_A 0075153839075138107000
tb.dut.IrqCKnownO_A 0075153839075138107000
tb.dut.IrqDKnownO_A 0075153839075138107000
tb.dut.TlAReadyKnownO_A 0075153839075138107000
tb.dut.TlDValidKnownO_A 0075153839075138107000
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00773625189391781300
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007736251891560400
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007736251891436400
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007736251891410000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007736251891426800
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007736251891546300
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007736251891578500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007736251891385500
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007736251891510400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007736251891544800
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007736251891464100
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007736251891422900
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007736251891412900
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007736251891586600
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007736251891544100
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007736251891460400
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007736251891403900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007736251891539600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007736251891385300
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007736251891463300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007736251891425500
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007736251891531700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007736251891415600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007736251891403200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007736251891430200
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007736251891544100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007736251891432300
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007736251891431700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007736251891463600
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007736251891408700
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007736251891441900
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007736251891450900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007736251891415100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007736251891549900
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007736251891415400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007736251891444000
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007736251891524300
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007736251891450000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007736251891483800
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007736251891382300
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007736251891568200
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007736251891464900
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007736251891394600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007736251891461000
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007736251891395100
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007736251891532700
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007736251891467000
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007736251891524200
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007736251891428100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007736251891420300
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007736251891430500
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007736251891532800
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007736251891407300
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007736251891414000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007736251891428500
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007736251891391900
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007736251891406500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007736251891441900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007736251891417500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007736251891431100
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007736251891581200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007736251891546000
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007736251891410500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007736251891431300
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007736251891551200
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007736251891436700
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007736251891431400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007736251891439500
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007736251891453300
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007736251891410600
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007736251892636500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007736251891445900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007736251891511600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007736251891439700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007736251891551400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007736251891440900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007736251891441800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007736251891449700
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007736251891420100
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007515383907000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007515383907000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007515383907000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00751538390481700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0075153839020257300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0075153839039860247000
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0075153839024000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0075153839084600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007515383904300
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0075153839040600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0075131455126505703800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0075153839094900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0075153839093600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0075153839092000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0075153839090000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00751538390136800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0075153839015334100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00751538390124700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007515383907800
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00751538390126700
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00751538390105700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0064464400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0075153839075138107000
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007515383907000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007515383907000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007515383907000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00751538390187200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0075153839018536000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0075153839043133308600
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0075153839026300
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0075153839058600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007515383901600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0075153839029900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0075131455132485395600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0075153839067900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0075153839065400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0075153839064300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0075153839062700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00751538390112900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0075153839013180000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00751538390102400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007515383908900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00751538390130200
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00751538390109200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0064464400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0075153839075138107000
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007515383907000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007515383907000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007515383907000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00751538390345600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0075153839021153300
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0075153839040241300200
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0075153839026400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0075153839056700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007515383903800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0075153839028700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0075131455131876071000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0075153839067800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0075153839066700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0075153839065200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0075153839063000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0075153839088800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0075153839010053700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0075153839077300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007515383907700
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00751538390132300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00751538390111300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0064464400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0075153839075138107000
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007515383907000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007515383907000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007515383907000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00751538390339300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0075153839020840800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0075153839041865212900
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0075153839023900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0075153839059900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007515383902200
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0075153839026700
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0075131455131524210700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0075153839067600
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0075153839066000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0075153839065000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0075153839064100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0075153839075000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 007515383909941000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0075153839066300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007515383906500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00751538390124200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00751538390103200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0064464400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0075153839075138107000
tb.dut.tlul_assert_device.aKnown_A 0077362518914686891200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0077362518977297765500
tb.dut.tlul_assert_device.aReadyKnown_A 0077362518977297765500
tb.dut.tlul_assert_device.dKnown_A 0077362518920589891700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0077362518977297765500
tb.dut.tlul_assert_device.dReadyKnown_A 0077362518977297765500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0084984900
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0084984900
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%