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 0069416645600625
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00694166456000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0069416645669398054600
tb.dut.CheckAccuCntDw 0062562500
tb.dut.CheckEscCntDw 0062562500
tb.dut.CheckNAlerts 0062562500
tb.dut.CheckNClasses 0062562500
tb.dut.CheckNEscSev 0062562500
tb.dut.CrashdumpKnownO_A 0069416645669398054600
tb.dut.EdnKnownO_A 0069416645669398054600
tb.dut.EscPKnownO_A 0069416645669398054600
tb.dut.FpvSecCmPingTimerCnterCheck_A 006941664569000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006941664569000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006941664569000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006941664569000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006941664569000
tb.dut.IrqAKnownO_A 0069416645669398054600
tb.dut.IrqBKnownO_A 0069416645669398054600
tb.dut.IrqCKnownO_A 0069416645669398054600
tb.dut.IrqDKnownO_A 0069416645669398054600
tb.dut.TlAReadyKnownO_A 0069416645669398054600
tb.dut.TlDValidKnownO_A 0069416645669398054600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00719926393289912300
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007199263932079400
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007199263932224800
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007199263932203500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007199263932224900
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007199263932071500
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007199263932224100
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007199263932062100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007199263932205200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007199263932084700
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007199263932082800
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007199263932211300
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007199263932187400
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007199263932101400
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007199263932102900
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007199263932108300
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007199263932083500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007199263932115100
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007199263932050300
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007199263932205800
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007199263932068700
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007199263932111700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007199263932107200
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007199263932098200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007199263932083200
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007199263932058800
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007199263932122100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007199263932195900
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007199263932335300
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007199263932093600
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007199263932081200
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007199263932036100
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007199263932229500
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007199263932203700
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007199263932184100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007199263932112500
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007199263932208700
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007199263932210300
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007199263932183400
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007199263932241400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007199263932206700
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007199263932117300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007199263932069100
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007199263932234100
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007199263932113700
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007199263932090600
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007199263932096600
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007199263932354500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007199263932096100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007199263932081500
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007199263932205400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007199263932131100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007199263932095200
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007199263932039200
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007199263932079000
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007199263932249700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007199263932210900
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007199263932203100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007199263932084100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007199263932224700
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007199263932072500
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007199263932097900
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007199263932197700
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007199263932228300
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007199263932192500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007199263932100600
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007199263932127800
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007199263932208400
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007199263932094100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007199263932124700
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007199263934214100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007199263932067200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007199263932048300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007199263932081700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007199263932074400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007199263932029000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007199263932070100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007199263932077300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007199263932060800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006941664569000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006941664569000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006941664569000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00694166456642900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0069416645622180500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0069416645633965211300
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0069416645631000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0069416645690600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006941664565100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0069416645646000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0069390298725911519400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0069416645699600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0069416645697500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0069416645695600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0069416645693200
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00694166456150800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0069416645614703700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00694166456139600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006941664566100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00694166456158000
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00694166456131000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0069416645669398054600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006941664569000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006941664569000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006941664569000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 0069416645618500
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0069416645615039400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0069416645643188931200
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0069416645630800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0069416645642600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006941664561200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0069416645615300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0069390298734949171000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0069416645649000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0069416645648300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0069416645647500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0069416645646600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00694166456106400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0069416645611799800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0069416645699300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006941664565700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00694166456160100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00694166456133100
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0069416645669398054600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006941664569000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006941664569000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006941664569000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 0069416645680500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0069416645616702600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0069416645641417999700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0069416645636100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0069416645649700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006941664561800
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0069416645623500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0069390298734477125200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0069416645658000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0069416645656800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0069416645655800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0069416645654400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0069416645685100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006941664569810800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0069416645675900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006941664567300
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00694166456158800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00694166456131800
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0069416645669398054600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006941664569000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006941664569000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006941664569000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00694166456529800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0069416645623360400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0069416645640116165700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0069416645630100
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0069416645653600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006941664562400
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0069416645624800
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0069390298731865484500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0069416645661500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0069416645660800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0069416645659500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0069416645658000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00694166456101700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0069416645612009900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0069416645692800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006941664566300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00694166456159200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00694166456132200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0069416645669398054600
tb.dut.tlul_assert_device.aKnown_A 0071992639313629013600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0071992639371923679200
tb.dut.tlul_assert_device.aReadyKnown_A 0071992639371923679200
tb.dut.tlul_assert_device.dKnown_A 0071992639320214781600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0071992639371923679200
tb.dut.tlul_assert_device.dReadyKnown_A 0071992639371923679200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0083083000
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%