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 0068899567900625
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00688995679000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0068899567968884674500
tb.dut.CheckAccuCntDw 0062562500
tb.dut.CheckEscCntDw 0062562500
tb.dut.CheckNAlerts 0062562500
tb.dut.CheckNClasses 0062562500
tb.dut.CheckNEscSev 0062562500
tb.dut.CrashdumpKnownO_A 0068899567968884674500
tb.dut.EdnKnownO_A 0068899567968884674500
tb.dut.EscPKnownO_A 0068899567968884674500
tb.dut.FpvSecCmPingTimerCnterCheck_A 006889956796000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006889956796000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006889956796000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006889956796000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006889956796000
tb.dut.IrqAKnownO_A 0068899567968884674500
tb.dut.IrqBKnownO_A 0068899567968884674500
tb.dut.IrqCKnownO_A 0068899567968884674500
tb.dut.IrqDKnownO_A 0068899567968884674500
tb.dut.TlAReadyKnownO_A 0068899567968884674500
tb.dut.TlDValidKnownO_A 0068899567968884674500
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00712981015289296300
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 00712981015771600
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 00712981015814900
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 00712981015809300
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 00712981015791000
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 00712981015948400
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 00712981015896900
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 00712981015805600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 00712981015800800
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 00712981015880000
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 00712981015921800
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 00712981015911800
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 00712981015774800
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 00712981015807000
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 00712981015810600
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 00712981015800200
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 00712981015888000
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 00712981015816400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 00712981015769900
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 00712981015809200
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 00712981015893600
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 00712981015809800
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 00712981015901600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 00712981015914900
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 00712981015799200
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 00712981015800700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 00712981015776700
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 00712981015818300
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 00712981015834800
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 00712981015814100
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 00712981015795800
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 00712981015787000
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 00712981015791100
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 00712981015921700
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 00712981015791100
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 00712981015783300
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 00712981015786300
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 00712981015794000
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 00712981015793000
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 00712981015915400
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 00712981015788100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 00712981015821600
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 00712981015782600
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 00712981015773100
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 00712981015878500
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 00712981015793700
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 00712981015808500
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 00712981015807200
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 00712981015792600
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 00712981015804200
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 00712981015932700
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 00712981015887500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 00712981015809600
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 00712981015797300
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 00712981015917000
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 00712981015792700
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 00712981015784300
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 00712981015791900
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 00712981015898900
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 00712981015920400
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 00712981015786700
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 00712981015804400
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 00712981015937000
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 00712981015790800
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 00712981015876300
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 00712981015802800
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 00712981015885300
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 00712981015921000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 00712981015783100
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 00712981015773200
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 007129810151370500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 00712981015813400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 00712981015897600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 00712981015913600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 00712981015797400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 00712981015808600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 00712981015905300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 00712981015791400
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 00712981015807900
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006889956796000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006889956796000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006889956796000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00688995679149400
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0068899567923899500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0068899567932487366400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0068899567921400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0068899567983200
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006889956795200
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0068899567941100
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0068884627724537894700
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0068899567992600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0068899567990400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0068899567989200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0068899567986900
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0068899567988300
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0068899567911051100
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0068899567976800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006889956796000
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00688995679107300
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 0068899567989300
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0068884463568877269400
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0068899567968884674500
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006889956796000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006889956796000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006889956796000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00688995679114700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0068899567915920700
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0068899567941609682600
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0068899567920700
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0068899567947600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006889956792000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0068899567916900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0068884627731403610600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0068899567954500
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0068899567953900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0068899567952900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0068899567952200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0068899567989500
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0068899567911107100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0068899567981800
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006889956795500
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00688995679108100
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 0068899567990100
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0068884463568877269400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0068899567968884674500
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006889956796000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006889956796000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006889956796000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00688995679602600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0068899567920339600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0068899567940745313800
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0068899567925700
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0068899567951800
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006889956792600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0068899567924100
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0068884627729518022400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0068899567960300
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0068899567959400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0068899567958500
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0068899567957300
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0068899567981400
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 006889956799807700
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0068899567972000
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006889956796600
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00688995679110900
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 0068899567992900
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0068884463568877269400
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0068899567968884674500
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006889956796000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006889956796000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006889956796000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00688995679501800
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0068899567921953300
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0068899567938542920800
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0068899567922300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0068899567949700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006889956792900
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0068899567921300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0068884627727677965200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0068899567958400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0068899567957000
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0068899567955800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0068899567954400
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0068899567973100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0068899567910250300
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0068899567963800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006889956796200
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00688995679110100
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 0068899567992100
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0068884463568877269400
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062562500
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0068899567968884674500
tb.dut.tlul_assert_device.aKnown_A 0071298101513374640100
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0071298101571231248600
tb.dut.tlul_assert_device.aReadyKnown_A 0071298101571231248600
tb.dut.tlul_assert_device.dKnown_A 0071298101519221278200
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0071298101571231248600
tb.dut.tlul_assert_device.dReadyKnown_A 0071298101571231248600
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0083083000
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0083083000
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%