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 0055156865300620
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00551568653000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0055156865355139947100
tb.dut.CheckAccuCntDw 0062062000
tb.dut.CheckEscCntDw 0062062000
tb.dut.CheckNAlerts 0062062000
tb.dut.CheckNClasses 0062062000
tb.dut.CheckNEscSev 0062062000
tb.dut.CrashdumpKnownO_A 0055156865355139947100
tb.dut.EdnKnownO_A 0055156865355139947100
tb.dut.EscPKnownO_A 0055156865355139947100
tb.dut.FpvSecCmPingTimerCnterCheck_A 005515686538000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005515686538000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005515686538000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005515686538000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005515686538000
tb.dut.IrqAKnownO_A 0055156865355139947100
tb.dut.IrqBKnownO_A 0055156865355139947100
tb.dut.IrqCKnownO_A 0055156865355139947100
tb.dut.IrqDKnownO_A 0055156865355139947100
tb.dut.TlAReadyKnownO_A 0055156865355139947100
tb.dut.TlDValidKnownO_A 0055156865355139947100
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0057436107019075900
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 005743610701078300
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 005743610701030400
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 005743610701190600
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 005743610701226900
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 005743610701080300
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00574361070995700
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00574361070972900
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 005743610701218300
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 005743610701028200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00574361070994600
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 005743610701179400
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00574361070962700
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 005743610701267000
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 005743610701020800
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 005743610701026200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 005743610701024600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 005743610701093200
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00574361070986500
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 005743610701138000
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00574361070957100
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 005743610701022000
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 005743610701096700
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 005743610701105200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 005743610701152800
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 005743610701145100
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 005743610701129900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 005743610701082300
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 005743610701075400
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 005743610701126000
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 005743610701033800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 005743610701039700
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 005743610701044100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 005743610701096800
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 005743610701149000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 005743610701015900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 005743610701189000
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 005743610701014800
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 005743610701054600
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00574361070967100
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 005743610701055500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00574361070978100
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 005743610701100600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 005743610701109300
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 005743610701142300
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00574361070956900
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 005743610701073600
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 005743610701046900
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 005743610701074100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 005743610701018300
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00574361070970100
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 005743610701028900
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 005743610701003400
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 005743610701024600
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00574361070977800
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 005743610701148900
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 005743610701184100
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 005743610701024800
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00574361070986900
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 005743610701046400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 005743610701081700
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 005743610701021800
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00574361070962800
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 005743610701131500
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00574361070975800
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00574361070954000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 005743610701125200
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00574361070955700
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 005743610701145200
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 005743610701135900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005743610701814300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 005743610701095200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 005743610701021700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 005743610701159000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 005743610701105500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00574361070971000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00574361070969100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 005743610701022600
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 005743610701031000
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005515686538000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005515686538000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005515686538000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00551568653547700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0055156865319978300
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0055156865328984054200
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0055156865320400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0055156865373000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005515686534400
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0055156865333000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0055139635220242235800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0055156865381400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0055156865378900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0055156865377600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0055156865376000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00551568653139800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0055156865316572900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 00551568653129500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005515686535600
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00551568653133900
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00551568653109900
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0055139482155132730600
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0055156865355139947100
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005515686538000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005515686538000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005515686538000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00551568653577700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0055156865315900200
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0055156865328720297100
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0055156865324400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0055156865345600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005515686532100
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0055156865321000
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0055139635222151527600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0055156865350800
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0055156865349400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0055156865348100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0055156865346600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00551568653135900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0055156865312423600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 00551568653128400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005515686535200
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00551568653124400
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00551568653100400
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0055139482155132730600
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0055156865355139947100
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005515686538000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005515686538000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005515686538000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00551568653221900
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0055156865320436600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0055156865326747459800
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0055156865321600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0055156865345500
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005515686532600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0055156865320500
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0055139635221530887000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0055156865351400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0055156865350600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0055156865350200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0055156865349500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00551568653133000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0055156865315349800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00551568653125100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005515686535200
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00551568653128600
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00551568653104600
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0055139482155132730600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0055156865355139947100
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005515686538000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005515686538000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005515686538000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00551568653155300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0055156865316703400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0055156865328838887000
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0055156865326000
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0055156865343900
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005515686531700
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0055156865318000
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0055139635223983427400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0055156865349800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0055156865348300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0055156865347700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0055156865347000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0055156865353400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005515686536538800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0055156865346500
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005515686534800
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00551568653131600
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00551568653107600
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0055139482155132730600
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062062000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0055156865355139947100
tb.dut.tlul_assert_device.aKnown_A 005743610708056716600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0057436107057372249900
tb.dut.tlul_assert_device.aReadyKnown_A 0057436107057372249900
tb.dut.tlul_assert_device.dKnown_A 0057436107013960814300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0057436107057372249900
tb.dut.tlul_assert_device.dReadyKnown_A 0057436107057372249900
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082582500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082582500
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%