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 0044989553300603
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00449895533000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0044989553344972304000
tb.dut.CheckAccuCntDw 0060360300
tb.dut.CheckEscCntDw 0060360300
tb.dut.CheckNAlerts 0060360300
tb.dut.CheckNClasses 0060360300
tb.dut.CheckNEscSev 0060360300
tb.dut.CrashdumpKnownO_A 0044989553344972304000
tb.dut.EdnKnownO_A 0044989553344972304000
tb.dut.EscPKnownO_A 0044989553344972304000
tb.dut.FpvSecCmPingTimerCnterCheck_A 004498955338000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 004498955338000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 004498955338000
tb.dut.FpvSecCmPingTimerFsmCheck_A 004498955338000
tb.dut.FpvSecCmRegWeOnehotCheck_A 004498955338000
tb.dut.IrqAKnownO_A 0044989553344972304000
tb.dut.IrqBKnownO_A 0044989553344972304000
tb.dut.IrqCKnownO_A 0044989553344972304000
tb.dut.IrqDKnownO_A 0044989553344972304000
tb.dut.TlAReadyKnownO_A 0044989553344972304000
tb.dut.TlDValidKnownO_A 0044989553344972304000
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0047414479925452700
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00474144799897400
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00474144799858800
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00474144799881500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00474144799887000
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00474144799863600
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00474144799863000
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00474144799875000
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00474144799861200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00474144799868200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00474144799872200
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00474144799886600
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00474144799875900
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00474144799901800
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00474144799903400
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00474144799885600
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00474144799872300
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00474144799867600
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00474144799908300
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00474144799875700
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00474144799876000
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00474144799867900
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00474144799882800
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00474144799876000
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00474144799884900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00474144799874000
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00474144799891900
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00474144799882600
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00474144799857200
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00474144799877300
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00474144799855800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00474144799891200
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00474144799879000
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00474144799885600
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00474144799869400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00474144799855400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00474144799881800
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00474144799865100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00474144799877200
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00474144799874600
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00474144799861500
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00474144799876600
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00474144799886800
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00474144799880300
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00474144799855800
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00474144799875100
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00474144799855700
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00474144799886300
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00474144799902300
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00474144799880100
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00474144799867700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00474144799843700
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00474144799884800
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00474144799886300
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00474144799882800
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00474144799877200
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00474144799897400
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00474144799873900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00474144799850100
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00474144799865200
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00474144799882500
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00474144799869100
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00474144799877300
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00474144799844800
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00474144799884800
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00474144799880800
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00474144799881400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00474144799876500
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00474144799870200
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00474144799890300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 004741447991751100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00474144799882300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00474144799886400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00474144799864400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00474144799860800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00474144799860500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00474144799885500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00474144799876900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00474144799883800
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 004498955338000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 004498955338000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 004498955338000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00449895533286900
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0044989553315444700
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0044989553323019779800
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0044989553323800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0044989553379000
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 004498955335000
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0044989553336900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0044967045617437804000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0044989553388200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0044989553385600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0044989553384000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0044989553382500
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0044989553359600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 004498955337074800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0044989553348000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 004498955336000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00449895533120100
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0044989553396100
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0044966857444959788900
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0060360300
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0044989553344972304000
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 004498955338000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 004498955338000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 004498955338000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00449895533467800
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0044989553312940000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0044989553325724777800
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0044989553323700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0044989553348400
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 004498955331600
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0044989553320000
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0044967045619768782000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0044989553352000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0044989553351100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0044989553350100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0044989553349600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0044989553366600
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 004498955338241800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0044989553359700
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 004498955334700
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00449895533128900
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00449895533104900
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0044966857444959788900
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0060360300
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0044989553344972304000
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 004498955338000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 004498955338000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 004498955338000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00449895533329200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0044989553311711400
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0044989553327800071700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0044989553324700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0044989553347600
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 004498955331000
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0044989553318700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0044967045619600148900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0044989553352700
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0044989553352000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0044989553351100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0044989553350200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0044989553371300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 004498955339645900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0044989553363900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 004498955335700
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00449895533131100
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00449895533107100
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0044966857444959788900
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0060360300
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0044989553344972304000
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 004498955338000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 004498955338000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 004498955338000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00449895533235700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0044989553316180600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0044989553324036128700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0044989553324400
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0044989553347800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 004498955332400
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0044989553320400
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0044967045619127827700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0044989553352700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0044989553351700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0044989553350900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0044989553350400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0044989553376200
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 004498955338956100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0044989553369100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 004498955334200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00449895533129700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00449895533105700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0044966857444959788900
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0060360300
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0044989553344972304000
tb.dut.tlul_assert_device.aKnown_A 004741447997128112800
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0047414479947349154100
tb.dut.tlul_assert_device.aReadyKnown_A 0047414479947349154100
tb.dut.tlul_assert_device.dKnown_A 0047414479911198945700
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0047414479947349154100
tb.dut.tlul_assert_device.dReadyKnown_A 0047414479947349154100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0080880800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0080880800
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%