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 0073529013800629
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00735290138000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0073529013873514820600
tb.dut.CheckAccuCntDw 0062962900
tb.dut.CheckEscCntDw 0062962900
tb.dut.CheckNAlerts 0062962900
tb.dut.CheckNClasses 0062962900
tb.dut.CheckNEscSev 0062962900
tb.dut.CrashdumpKnownO_A 0073529013873514820600
tb.dut.EdnKnownO_A 0073529013873514820600
tb.dut.EscPKnownO_A 0073529013873514820600
tb.dut.FpvSecCmPingTimerCnterCheck_A 007352901386000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 007352901386000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 007352901386000
tb.dut.FpvSecCmPingTimerFsmCheck_A 007352901386000
tb.dut.FpvSecCmRegWeOnehotCheck_A 007352901386000
tb.dut.IrqAKnownO_A 0073529013873514820600
tb.dut.IrqBKnownO_A 0073529013873514820600
tb.dut.IrqCKnownO_A 0073529013873514820600
tb.dut.IrqDKnownO_A 0073529013873514820600
tb.dut.TlAReadyKnownO_A 0073529013873514820600
tb.dut.TlDValidKnownO_A 0073529013873514820600
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00763358294345209700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007633582942522900
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007633582942253400
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007633582942275000
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007633582942480900
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007633582942156800
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007633582942297500
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007633582942327000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007633582942593600
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007633582942160900
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007633582942281000
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007633582942314700
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007633582942401800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007633582942346500
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007633582942388400
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007633582942291400
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007633582942219900
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007633582942249100
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007633582942388300
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007633582942130500
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007633582942176200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007633582942143100
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007633582942345300
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007633582942149900
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007633582942265400
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007633582942156400
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007633582942342800
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007633582942315300
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007633582942233900
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007633582942240700
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007633582942162600
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007633582942191400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007633582942276400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007633582942261200
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007633582942146700
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007633582942222600
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007633582942269800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007633582942438600
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007633582942258200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007633582942354900
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007633582942399100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007633582942321300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007633582942363400
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007633582942329200
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007633582942250500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007633582942250800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007633582942489900
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007633582942188900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007633582942135600
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007633582942249700
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007633582942263900
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007633582942184300
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007633582942391300
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007633582942256600
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007633582942320300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007633582942134800
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007633582942180500
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007633582942323100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007633582942349300
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007633582942364300
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007633582942275100
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007633582942225600
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007633582942185900
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007633582942428100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007633582942460300
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007633582942308100
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007633582942315200
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007633582942361000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007633582942225400
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007633582942366600
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007633582944295000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007633582942404000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007633582942267500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007633582942134900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007633582942247200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007633582942248200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007633582942241600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007633582942130700
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007633582942321000
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 007352901386000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 007352901386000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 007352901386000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00735290138237600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0073529013821282600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0073529013838089232400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0073529013823200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0073529013885000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 007352901385600
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0073529013843000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0073509737726425082100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0073529013896200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0073529013894700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0073529013891800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0073529013889700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00735290138132300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0073529013815796900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00735290138119300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 007352901387400
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00735290138110100
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0073529013892100
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0073509563673502989700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062962900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0073529013873514820600
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 007352901386000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 007352901386000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 007352901386000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00735290138326200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0073529013816427600
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0073529013845607125900
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0073529013823400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0073529013848200
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 007352901382600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0073529013822300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0073509737736141763700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0073529013855800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0073529013855000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0073529013854800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0073529013854300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00735290138129000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0073529013812914400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00735290138120600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 007352901385700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00735290138111000
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0073529013893000
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0073509563673502989700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062962900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0073529013873514820600
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 007352901386000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 007352901386000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 007352901386000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00735290138559700
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0073529013819280100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0073529013841438156400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0073529013824000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0073529013850300
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 007352901381900
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0073529013820000
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0073509737731910400700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0073529013856800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0073529013855400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0073529013854700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0073529013854200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0073529013884900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 007352901389594600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0073529013877300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 007352901385500
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00735290138112800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0073529013894800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0073509563673502989700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062962900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0073529013873514820600
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 007352901386000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 007352901386000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 007352901386000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00735290138182300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0073529013815570600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0073529013844169985800
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0073529013817700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0073529013848400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 007352901382400
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0073529013823400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0073509737734882869700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0073529013857100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0073529013855800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0073529013854200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0073529013853200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0073529013886500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0073529013810237900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0073529013876900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 007352901387200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00735290138106200
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0073529013888200
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0073509563673502989700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062962900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0073529013873514820600
tb.dut.tlul_assert_device.aKnown_A 0076335829414407218100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0076335829476269663000
tb.dut.tlul_assert_device.aReadyKnown_A 0076335829476269663000
tb.dut.tlul_assert_device.dKnown_A 0076335829420419145400
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0076335829476269663000
tb.dut.tlul_assert_device.dReadyKnown_A 0076335829476269663000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083483400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083483400
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%