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 0055525942400617
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00555259424000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0055525942455507638000
tb.dut.CheckAccuCntDw 0061761700
tb.dut.CheckEscCntDw 0061761700
tb.dut.CheckNAlerts 0061761700
tb.dut.CheckNClasses 0061761700
tb.dut.CheckNEscSev 0061761700
tb.dut.CrashdumpKnownO_A 0055525942455507638000
tb.dut.EdnKnownO_A 0055525942455507638000
tb.dut.EscPKnownO_A 0055525942455507638000
tb.dut.FpvSecCmPingTimerCnterCheck_A 005552594249000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005552594249000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005552594249000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005552594249000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005552594249000
tb.dut.IrqAKnownO_A 0055525942455507638000
tb.dut.IrqBKnownO_A 0055525942455507638000
tb.dut.IrqCKnownO_A 0055525942455507638000
tb.dut.IrqDKnownO_A 0055525942455507638000
tb.dut.TlAReadyKnownO_A 0055525942455507638000
tb.dut.TlDValidKnownO_A 0055525942455507638000
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0058216320717445100
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00582163207934200
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00582163207896500
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00582163207923500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00582163207852600
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00582163207899900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00582163207860300
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00582163207885200
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00582163207838400
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00582163207874500
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00582163207837500
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00582163207997000
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00582163207897800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00582163207865400
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00582163207905700
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00582163207823500
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00582163207824600
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00582163207865900
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00582163207838700
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00582163207834300
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00582163207890200
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00582163207859300
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00582163207855600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00582163207977600
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00582163207938900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00582163207921200
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00582163207926100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00582163207927700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00582163207863500
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00582163207892200
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00582163207845000
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00582163207904200
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00582163207981400
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00582163207901500
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00582163207889400
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00582163207923100
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00582163207922600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00582163207933900
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00582163207886400
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00582163207884000
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00582163207861600
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00582163207913700
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00582163207896700
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00582163207939600
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00582163207889000
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00582163207936100
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00582163207833000
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00582163207895400
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00582163207838100
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00582163207960000
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00582163207921400
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00582163207892200
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00582163207931100
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00582163207848000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00582163207865000
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00582163207832700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00582163207868400
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00582163207915500
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00582163207864500
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00582163207833000
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00582163207980900
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00582163207971400
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00582163207919600
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00582163207922300
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00582163207834500
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00582163207857000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00582163207836900
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00582163207831200
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00582163207840700
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00582163207853300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 005821632071369300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00582163207879300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00582163207838700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00582163207917100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00582163207853300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00582163207889500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00582163207879700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00582163207867600
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00582163207916900
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005552594249000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005552594249000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005552594249000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00555259424321100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0055525942418149800
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0055525942426630091500
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0055525942427600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0055525942469800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005552594243300
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0055525942429900
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0055492621119529996300
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0055525942477000
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0055525942475800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0055525942474500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0055525942473000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0055525942479100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 005552594248576300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0055525942469300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005552594246200
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00555259424146600
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00555259424119600
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0055492471155485702700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0055525942455507638000
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005552594249000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005552594249000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005552594249000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 0055525942482300
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0055525942418103100
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0055525942429149260400
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0055525942431600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0055525942443900
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005552594242200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0055525942418600
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0055492621122001322700
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0055525942449000
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0055525942447900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0055525942447400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0055525942447000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0055525942440400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005552594245765200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0055525942433400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005552594244300
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00555259424146100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00555259424119100
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0055492471155485702700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0055525942455507638000
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005552594249000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005552594249000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005552594249000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00555259424395200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0055525942415074500
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0055525942432438516700
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0055525942422000
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0055525942439800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005552594241600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0055525942414700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0055492621125574088900
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0055525942445100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0055525942444200
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0055525942443400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0055525942442400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0055525942443900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005552594246132800
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0055525942437400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005552594244700
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00555259424144300
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00555259424117300
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0055492471155485702700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0055525942455507638000
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005552594249000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005552594249000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005552594249000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00555259424632400
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0055525942417038300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0055525942430007212600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0055525942429500
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0055525942446300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005552594241500
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0055525942419200
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0055492621123545699100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0055525942451500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0055525942450200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0055525942448900
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0055525942447600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0055525942436600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 005552594245406100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0055525942430400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005552594244400
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00555259424147300
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00555259424120300
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0055492471155485702700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0061761700
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0055525942455507638000
tb.dut.tlul_assert_device.aKnown_A 005821632078079237400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0058216320758146133000
tb.dut.tlul_assert_device.aReadyKnown_A 0058216320758146133000
tb.dut.tlul_assert_device.dKnown_A 0058216320714397549500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0058216320758146133000
tb.dut.tlul_assert_device.dReadyKnown_A 0058216320758146133000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082282200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082282200
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%