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 0058310469400620
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00583104694000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0058310469458292088800
tb.dut.CheckAccuCntDw 0062062000
tb.dut.CheckEscCntDw 0062062000
tb.dut.CheckNAlerts 0062062000
tb.dut.CheckNClasses 0062062000
tb.dut.CheckNEscSev 0062062000
tb.dut.CrashdumpKnownO_A 0058310469458292088800
tb.dut.EdnKnownO_A 0058310469458292088800
tb.dut.EscPKnownO_A 0058310469458292088800
tb.dut.FpvSecCmPingTimerCnterCheck_A 005831046949000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 005831046949000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 005831046949000
tb.dut.FpvSecCmPingTimerFsmCheck_A 005831046949000
tb.dut.FpvSecCmRegWeOnehotCheck_A 005831046949000
tb.dut.IrqAKnownO_A 0058310469458292088800
tb.dut.IrqBKnownO_A 0058310469458292088800
tb.dut.IrqCKnownO_A 0058310469458292088800
tb.dut.IrqDKnownO_A 0058310469458292088800
tb.dut.TlAReadyKnownO_A 0058310469458292088800
tb.dut.TlDValidKnownO_A 0058310469458292088800
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 0060595177619510600
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006059517761240600
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006059517761320400
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006059517761252900
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006059517761239100
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006059517761236700
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006059517761359000
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006059517761261100
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006059517761266200
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006059517761212000
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006059517761240200
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006059517761355200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006059517761345200
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006059517761338800
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006059517761473500
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006059517761224900
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006059517761369400
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006059517761369800
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006059517761244300
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006059517761241900
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006059517761245300
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006059517761374400
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006059517761446600
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006059517761248200
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006059517761243600
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006059517761316700
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006059517761333600
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006059517761329700
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006059517761229400
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006059517761319800
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006059517761230500
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006059517761247900
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006059517761328500
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006059517761351800
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006059517761220900
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006059517761250400
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006059517761343300
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006059517761251400
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006059517761241900
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006059517761228600
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006059517761212100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006059517761241400
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006059517761452800
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006059517761226800
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006059517761231200
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006059517761236800
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006059517761335400
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006059517761364800
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006059517761347200
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006059517761232100
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006059517761245000
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006059517761257500
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006059517761226700
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006059517761337000
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006059517761349300
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006059517761214800
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006059517761476100
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006059517761220600
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006059517761265700
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006059517761354500
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006059517761249100
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006059517761245800
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006059517761357300
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006059517761247000
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006059517761355800
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006059517761216200
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006059517761342300
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006059517761222100
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006059517761245600
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006059517761488900
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006059517762376600
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006059517761316000
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006059517761299300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006059517761236200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006059517761342700
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006059517761340400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006059517761262900
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006059517761352900
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006059517761258200
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 005831046949000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 005831046949000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 005831046949000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00583104694382100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0058310469416358500
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0058310469432245812400
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0058310469423800
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0058310469480400
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 005831046943700
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0058310469437600
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0058283759424422489600
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0058310469487200
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0058310469485500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0058310469483400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0058310469481400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 0058310469488800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 005831046948909000
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0058310469479700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 005831046945100
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00583104694138600
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00583104694111600
tb.dut.gen_classes[0].u_esc_timer.EscStateOut_A 0058283584858276697500
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 0058310469458292088800
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 005831046949000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 005831046949000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 005831046949000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00583104694193400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0058310469413875000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0058310469434845893100
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0058310469427300
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0058310469446600
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 005831046942000
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0058310469418900
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0058283759426355618900
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0058310469452600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0058310469451400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0058310469450400
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0058310469449400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 0058310469446100
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 005831046945791900
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0058310469439000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 005831046944800
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00583104694140400
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00583104694113400
tb.dut.gen_classes[1].u_esc_timer.EscStateOut_A 0058283584858276697500
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 0058310469458292088800
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 005831046949000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 005831046949000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 005831046949000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00583104694650600
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0058310469417742100
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0058310469432601841600
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0058310469426100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0058310469444900
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 005831046941600
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0058310469417700
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0058283759425058424400
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0058310469450800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0058310469450100
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0058310469449000
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0058310469448500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 0058310469490500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 005831046949544500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 0058310469482500
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 005831046946000
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00583104694146800
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00583104694119800
tb.dut.gen_classes[2].u_esc_timer.EscStateOut_A 0058283584858276697500
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 0058310469458292088800
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 005831046949000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 005831046949000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 005831046949000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00583104694225000
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0058310469416772700
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0058310469429712205700
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0058310469425600
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0058310469451700
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 005831046942100
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0058310469425100
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0058283759422773472200
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0058310469458100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0058310469456500
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0058310469455300
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0058310469454600
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 00583104694107800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 0058310469411499000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 00583104694100000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 005831046945500
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00583104694147700
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00583104694120700
tb.dut.gen_classes[3].u_esc_timer.EscStateOut_A 0058283584858276697500
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 0058310469458292088800
tb.dut.tlul_assert_device.aKnown_A 006059517768309016200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0060595177660529549600
tb.dut.tlul_assert_device.aReadyKnown_A 0060595177660529549600
tb.dut.tlul_assert_device.dKnown_A 0060595177615146181500
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0060595177660529549600
tb.dut.tlul_assert_device.dReadyKnown_A 0060595177660529549600
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%