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 0067557666200619
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00675576662000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0067557666267541821100
tb.dut.CheckAccuCntDw 0061961900
tb.dut.CheckEscCntDw 0061961900
tb.dut.CheckNAlerts 0061961900
tb.dut.CheckNClasses 0061961900
tb.dut.CheckNEscSev 0061961900
tb.dut.CrashdumpKnownO_A 0067557666267541821100
tb.dut.EdnKnownO_A 0067557666267541821100
tb.dut.EscPKnownO_A 0067557666267541821100
tb.dut.FpvSecCmPingTimerCnterCheck_A 006755766627000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006755766627000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006755766627000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006755766627000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006755766627000
tb.dut.IrqAKnownO_A 0067557666267541821100
tb.dut.IrqBKnownO_A 0067557666267541821100
tb.dut.IrqCKnownO_A 0067557666267541821100
tb.dut.IrqDKnownO_A 0067557666267541821100
tb.dut.TlAReadyKnownO_A 0067557666267541821100
tb.dut.TlDValidKnownO_A 0067557666267541821100
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00701426102244022000
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 007014261021621300
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 007014261021737500
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 007014261021631100
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 007014261021817300
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 007014261021592200
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 007014261021728900
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 007014261021601000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 007014261021522000
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 007014261021725000
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 007014261021861600
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 007014261021715300
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 007014261021586900
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 007014261021720000
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 007014261021845500
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 007014261021616500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 007014261021791200
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 007014261021757500
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 007014261021578700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 007014261021640300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 007014261021620400
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 007014261021774300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 007014261021840700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 007014261021741300
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 007014261021616800
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 007014261021608900
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 007014261021714900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 007014261021755800
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 007014261021488000
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 007014261021696600
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 007014261021605600
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 007014261021505900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 007014261021483900
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 007014261021617500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 007014261021633800
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 007014261021756900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 007014261021640100
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 007014261021513400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 007014261021727000
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 007014261021766700
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 007014261021640700
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 007014261021823400
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 007014261021624500
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 007014261021739900
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 007014261021525600
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 007014261021852300
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 007014261021847500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 007014261021617400
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 007014261021621000
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 007014261021640900
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 007014261021598700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 007014261021773100
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 007014261021498500
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 007014261021738200
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 007014261021712900
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 007014261021709000
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 007014261021726800
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 007014261021612200
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 007014261021737600
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 007014261021781300
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 007014261021617200
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 007014261021592600
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 007014261021634500
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 007014261021719100
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 007014261021602500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 007014261021579000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 007014261021505500
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 007014261021742300
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 007014261021613800
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 007014261021623300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007014261023101500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 007014261021599600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 007014261021722800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 007014261021630400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 007014261021739000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 007014261021736600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 007014261021603200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 007014261021601300
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 007014261021573800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006755766627000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006755766627000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006755766627000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00675576662361000
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0067557666224772600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0067557666229603703000
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0067557666227400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0067557666280300
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006755766625100
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0067557666238100
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0067540177822552582600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0067557666289100
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0067557666286800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0067557666285300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0067557666283100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00675576662118700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0067557666214770100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00675576662107600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006755766625600
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00675576662122400
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00675576662101400
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0067540022867533179400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0067557666267541821100
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006755766627000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006755766627000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006755766627000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 0067557666277800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0067557666214771900
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0067557666241614451600
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0067557666227500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0067557666247500
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006755766622600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0067557666224300
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0067540177834143901100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0067557666255900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0067557666255100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0067557666254200
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0067557666253100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00675576662158100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0067557666219927000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00675576662148600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006755766626900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00675576662129300
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00675576662108300
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0067540022867533179400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0067557666267541821100
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006755766627000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006755766627000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006755766627000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00675576662635600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0067557666216732400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0067557666239953291400
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0067557666226000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0067557666250400
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006755766622900
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0067557666224000
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0067540177831472203200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0067557666258900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0067557666257900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0067557666256900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0067557666256200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0067557666258400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006755766628704600
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0067557666249400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006755766626100
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00675576662125500
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00675576662104500
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0067540022867533179400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0067557666267541821100
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006755766627000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006755766627000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006755766627000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00675576662254500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0067557666222409400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0067557666237822025400
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0067557666222700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0067557666246900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006755766621500
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0067557666219700
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0067540177831324404200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0067557666253300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0067557666252000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0067557666250900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0067557666249900
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00675576662105400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0067557666213838300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0067557666298300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006755766625300
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00675576662126700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00675576662105700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0067540022867533179400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061961900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0067557666267541821100
tb.dut.tlul_assert_device.aKnown_A 0070142610212185107900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0070142610270075254800
tb.dut.tlul_assert_device.aReadyKnown_A 0070142610270075254800
tb.dut.tlul_assert_device.dKnown_A 0070142610218457606000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0070142610270075254800
tb.dut.tlul_assert_device.dReadyKnown_A 0070142610270075254800
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082482400
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082482400
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%