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 0067153336300622
tb.dut.u_edn_req.u_prim_packer_fifo.ValidOPairedWithReadyI_A 00671533363000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.AckPKnownO_A 0067153336367136199200
tb.dut.CheckAccuCntDw 0062262200
tb.dut.CheckEscCntDw 0062262200
tb.dut.CheckNAlerts 0062262200
tb.dut.CheckNClasses 0062262200
tb.dut.CheckNEscSev 0062262200
tb.dut.CrashdumpKnownO_A 0067153336367136199200
tb.dut.EdnKnownO_A 0067153336367136199200
tb.dut.EscPKnownO_A 0067153336367136199200
tb.dut.FpvSecCmPingTimerCnterCheck_A 006715333638000
tb.dut.FpvSecCmPingTimerDoubleLfsrCheck_A 006715333638000
tb.dut.FpvSecCmPingTimerEscCnterCheck_A 006715333638000
tb.dut.FpvSecCmPingTimerFsmCheck_A 006715333638000
tb.dut.FpvSecCmRegWeOnehotCheck_A 006715333638000
tb.dut.IrqAKnownO_A 0067153336367136199200
tb.dut.IrqBKnownO_A 0067153336367136199200
tb.dut.IrqCKnownO_A 0067153336367136199200
tb.dut.IrqDKnownO_A 0067153336367136199200
tb.dut.TlAReadyKnownO_A 0067153336367136199200
tb.dut.TlDValidKnownO_A 0067153336367136199200
tb.dut.alert_handler_csr_assert.TlulOOBAddrErr_A 00692591353323068500
tb.dut.alert_handler_csr_assert.alert_regwen_0_rd_A 006925913531241900
tb.dut.alert_handler_csr_assert.alert_regwen_10_rd_A 006925913531142000
tb.dut.alert_handler_csr_assert.alert_regwen_11_rd_A 006925913531194500
tb.dut.alert_handler_csr_assert.alert_regwen_12_rd_A 006925913531102500
tb.dut.alert_handler_csr_assert.alert_regwen_13_rd_A 006925913531131900
tb.dut.alert_handler_csr_assert.alert_regwen_14_rd_A 006925913531111200
tb.dut.alert_handler_csr_assert.alert_regwen_15_rd_A 006925913531102600
tb.dut.alert_handler_csr_assert.alert_regwen_16_rd_A 006925913531142800
tb.dut.alert_handler_csr_assert.alert_regwen_17_rd_A 006925913531108200
tb.dut.alert_handler_csr_assert.alert_regwen_18_rd_A 006925913531236100
tb.dut.alert_handler_csr_assert.alert_regwen_19_rd_A 006925913531226200
tb.dut.alert_handler_csr_assert.alert_regwen_1_rd_A 006925913531086300
tb.dut.alert_handler_csr_assert.alert_regwen_20_rd_A 006925913531220300
tb.dut.alert_handler_csr_assert.alert_regwen_21_rd_A 006925913531098600
tb.dut.alert_handler_csr_assert.alert_regwen_22_rd_A 006925913531234800
tb.dut.alert_handler_csr_assert.alert_regwen_23_rd_A 006925913531125500
tb.dut.alert_handler_csr_assert.alert_regwen_24_rd_A 006925913531119400
tb.dut.alert_handler_csr_assert.alert_regwen_25_rd_A 006925913531117900
tb.dut.alert_handler_csr_assert.alert_regwen_26_rd_A 006925913531121600
tb.dut.alert_handler_csr_assert.alert_regwen_27_rd_A 006925913531127400
tb.dut.alert_handler_csr_assert.alert_regwen_28_rd_A 006925913531107700
tb.dut.alert_handler_csr_assert.alert_regwen_29_rd_A 006925913531102300
tb.dut.alert_handler_csr_assert.alert_regwen_2_rd_A 006925913531118700
tb.dut.alert_handler_csr_assert.alert_regwen_30_rd_A 006925913531091900
tb.dut.alert_handler_csr_assert.alert_regwen_31_rd_A 006925913531114200
tb.dut.alert_handler_csr_assert.alert_regwen_32_rd_A 006925913531213100
tb.dut.alert_handler_csr_assert.alert_regwen_33_rd_A 006925913531127200
tb.dut.alert_handler_csr_assert.alert_regwen_34_rd_A 006925913531141500
tb.dut.alert_handler_csr_assert.alert_regwen_35_rd_A 006925913531213900
tb.dut.alert_handler_csr_assert.alert_regwen_36_rd_A 006925913531123500
tb.dut.alert_handler_csr_assert.alert_regwen_37_rd_A 006925913531116400
tb.dut.alert_handler_csr_assert.alert_regwen_38_rd_A 006925913531114500
tb.dut.alert_handler_csr_assert.alert_regwen_39_rd_A 006925913531117700
tb.dut.alert_handler_csr_assert.alert_regwen_3_rd_A 006925913531097000
tb.dut.alert_handler_csr_assert.alert_regwen_40_rd_A 006925913531244900
tb.dut.alert_handler_csr_assert.alert_regwen_41_rd_A 006925913531110600
tb.dut.alert_handler_csr_assert.alert_regwen_42_rd_A 006925913531219100
tb.dut.alert_handler_csr_assert.alert_regwen_43_rd_A 006925913531108000
tb.dut.alert_handler_csr_assert.alert_regwen_44_rd_A 006925913531108500
tb.dut.alert_handler_csr_assert.alert_regwen_45_rd_A 006925913531218100
tb.dut.alert_handler_csr_assert.alert_regwen_46_rd_A 006925913531105300
tb.dut.alert_handler_csr_assert.alert_regwen_47_rd_A 006925913531244200
tb.dut.alert_handler_csr_assert.alert_regwen_48_rd_A 006925913531236100
tb.dut.alert_handler_csr_assert.alert_regwen_49_rd_A 006925913531219900
tb.dut.alert_handler_csr_assert.alert_regwen_4_rd_A 006925913531235700
tb.dut.alert_handler_csr_assert.alert_regwen_50_rd_A 006925913531248000
tb.dut.alert_handler_csr_assert.alert_regwen_51_rd_A 006925913531086500
tb.dut.alert_handler_csr_assert.alert_regwen_52_rd_A 006925913531116500
tb.dut.alert_handler_csr_assert.alert_regwen_53_rd_A 006925913531092600
tb.dut.alert_handler_csr_assert.alert_regwen_54_rd_A 006925913531095000
tb.dut.alert_handler_csr_assert.alert_regwen_55_rd_A 006925913531102000
tb.dut.alert_handler_csr_assert.alert_regwen_56_rd_A 006925913531107500
tb.dut.alert_handler_csr_assert.alert_regwen_57_rd_A 006925913531221700
tb.dut.alert_handler_csr_assert.alert_regwen_58_rd_A 006925913531111800
tb.dut.alert_handler_csr_assert.alert_regwen_59_rd_A 006925913531213000
tb.dut.alert_handler_csr_assert.alert_regwen_5_rd_A 006925913531112900
tb.dut.alert_handler_csr_assert.alert_regwen_60_rd_A 006925913531113100
tb.dut.alert_handler_csr_assert.alert_regwen_61_rd_A 006925913531099300
tb.dut.alert_handler_csr_assert.alert_regwen_62_rd_A 006925913531093100
tb.dut.alert_handler_csr_assert.alert_regwen_63_rd_A 006925913531200100
tb.dut.alert_handler_csr_assert.alert_regwen_64_rd_A 006925913531090600
tb.dut.alert_handler_csr_assert.alert_regwen_6_rd_A 006925913531199100
tb.dut.alert_handler_csr_assert.alert_regwen_7_rd_A 006925913531090800
tb.dut.alert_handler_csr_assert.alert_regwen_8_rd_A 006925913531111400
tb.dut.alert_handler_csr_assert.alert_regwen_9_rd_A 006925913531125000
tb.dut.alert_handler_csr_assert.classa_regwen_rd_A 006925913531118400
tb.dut.alert_handler_csr_assert.classb_regwen_rd_A 006925913531123000
tb.dut.alert_handler_csr_assert.classc_regwen_rd_A 006925913531134800
tb.dut.alert_handler_csr_assert.classd_regwen_rd_A 006925913531105300
tb.dut.alert_handler_csr_assert.intr_enable_rd_A 006925913532048300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_0_rd_A 006925913531227800
tb.dut.alert_handler_csr_assert.loc_alert_regwen_1_rd_A 006925913531089300
tb.dut.alert_handler_csr_assert.loc_alert_regwen_2_rd_A 006925913531253400
tb.dut.alert_handler_csr_assert.loc_alert_regwen_3_rd_A 006925913531144100
tb.dut.alert_handler_csr_assert.loc_alert_regwen_4_rd_A 006925913531127200
tb.dut.alert_handler_csr_assert.loc_alert_regwen_5_rd_A 006925913531098500
tb.dut.alert_handler_csr_assert.loc_alert_regwen_6_rd_A 006925913531102100
tb.dut.alert_handler_csr_assert.ping_timer_regwen_rd_A 006925913531124400
tb.dut.gen_classes[0].FpvSecCmAccuCnterCheck_A 006715333638000
tb.dut.gen_classes[0].FpvSecCmEscTimerCnterCheck_A 006715333638000
tb.dut.gen_classes[0].FpvSecCmEscTimerFsmCheck_A 006715333638000
tb.dut.gen_classes[0].u_accu.CountSaturateStable_A 00671533363352600
tb.dut.gen_classes[0].u_accu.DisabledNoTrigBkwd_A 0067153336323025100
tb.dut.gen_classes[0].u_accu.DisabledNoTrigFwd_A 0067153336332384163900
tb.dut.gen_classes[0].u_esc_timer.AccuFailToFsmError_A 0067153336327600
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig0_A 0067153336378700
tb.dut.gen_classes[0].u_esc_timer.CheckAccumTrig1_A 006715333634700
tb.dut.gen_classes[0].u_esc_timer.CheckClr_A 0067153336338000
tb.dut.gen_classes[0].u_esc_timer.CheckEn_A 0067086560122841355800
tb.dut.gen_classes[0].u_esc_timer.CheckPhase0_A 0067153336390400
tb.dut.gen_classes[0].u_esc_timer.CheckPhase1_A 0067153336388900
tb.dut.gen_classes[0].u_esc_timer.CheckPhase2_A 0067153336387500
tb.dut.gen_classes[0].u_esc_timer.CheckPhase3_A 0067153336386600
tb.dut.gen_classes[0].u_esc_timer.CheckTimeout0_A 00671533363112700
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt1_A 0067153336311977800
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutSt2_A 0067153336399400
tb.dut.gen_classes[0].u_esc_timer.CheckTimeoutStTrig_A 006715333638400
tb.dut.gen_classes[0].u_esc_timer.ErrorStAllEscAsserted_A 00671533363144100
tb.dut.gen_classes[0].u_esc_timer.ErrorStIsTerminal_A 00671533363120100
tb.dut.gen_classes[0].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[0].u_esc_timer.u_state_regs_A 0067153336367136199200
tb.dut.gen_classes[1].FpvSecCmAccuCnterCheck_A 006715333638000
tb.dut.gen_classes[1].FpvSecCmEscTimerCnterCheck_A 006715333638000
tb.dut.gen_classes[1].FpvSecCmEscTimerFsmCheck_A 006715333638000
tb.dut.gen_classes[1].u_accu.CountSaturateStable_A 00671533363335000
tb.dut.gen_classes[1].u_accu.DisabledNoTrigBkwd_A 0067153336319521400
tb.dut.gen_classes[1].u_accu.DisabledNoTrigFwd_A 0067153336339022783200
tb.dut.gen_classes[1].u_esc_timer.AccuFailToFsmError_A 0067153336330800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig0_A 0067153336348800
tb.dut.gen_classes[1].u_esc_timer.CheckAccumTrig1_A 006715333632200
tb.dut.gen_classes[1].u_esc_timer.CheckClr_A 0067153336322400
tb.dut.gen_classes[1].u_esc_timer.CheckEn_A 0067086560130785497100
tb.dut.gen_classes[1].u_esc_timer.CheckPhase0_A 0067153336356600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase1_A 0067153336355600
tb.dut.gen_classes[1].u_esc_timer.CheckPhase2_A 0067153336354300
tb.dut.gen_classes[1].u_esc_timer.CheckPhase3_A 0067153336353200
tb.dut.gen_classes[1].u_esc_timer.CheckTimeout0_A 00671533363102300
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt1_A 0067153336311374400
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutSt2_A 0067153336393000
tb.dut.gen_classes[1].u_esc_timer.CheckTimeoutStTrig_A 006715333636900
tb.dut.gen_classes[1].u_esc_timer.ErrorStAllEscAsserted_A 00671533363146400
tb.dut.gen_classes[1].u_esc_timer.ErrorStIsTerminal_A 00671533363122400
tb.dut.gen_classes[1].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[1].u_esc_timer.u_state_regs_A 0067153336367136199200
tb.dut.gen_classes[2].FpvSecCmAccuCnterCheck_A 006715333638000
tb.dut.gen_classes[2].FpvSecCmEscTimerCnterCheck_A 006715333638000
tb.dut.gen_classes[2].FpvSecCmEscTimerFsmCheck_A 006715333638000
tb.dut.gen_classes[2].u_accu.CountSaturateStable_A 00671533363315200
tb.dut.gen_classes[2].u_accu.DisabledNoTrigBkwd_A 0067153336316622000
tb.dut.gen_classes[2].u_accu.DisabledNoTrigFwd_A 0067153336337596201100
tb.dut.gen_classes[2].u_esc_timer.AccuFailToFsmError_A 0067153336326200
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig0_A 0067153336349100
tb.dut.gen_classes[2].u_esc_timer.CheckAccumTrig1_A 006715333631900
tb.dut.gen_classes[2].u_esc_timer.CheckClr_A 0067153336321100
tb.dut.gen_classes[2].u_esc_timer.CheckEn_A 0067086560133062272800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase0_A 0067153336354800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase1_A 0067153336353800
tb.dut.gen_classes[2].u_esc_timer.CheckPhase2_A 0067153336352600
tb.dut.gen_classes[2].u_esc_timer.CheckPhase3_A 0067153336352200
tb.dut.gen_classes[2].u_esc_timer.CheckTimeout0_A 00671533363111100
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt1_A 0067153336310285900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutSt2_A 00671533363103900
tb.dut.gen_classes[2].u_esc_timer.CheckTimeoutStTrig_A 006715333635200
tb.dut.gen_classes[2].u_esc_timer.ErrorStAllEscAsserted_A 00671533363146600
tb.dut.gen_classes[2].u_esc_timer.ErrorStIsTerminal_A 00671533363122600
tb.dut.gen_classes[2].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[2].u_esc_timer.u_state_regs_A 0067153336367136199200
tb.dut.gen_classes[3].FpvSecCmAccuCnterCheck_A 006715333638000
tb.dut.gen_classes[3].FpvSecCmEscTimerCnterCheck_A 006715333638000
tb.dut.gen_classes[3].FpvSecCmEscTimerFsmCheck_A 006715333638000
tb.dut.gen_classes[3].u_accu.CountSaturateStable_A 00671533363559600
tb.dut.gen_classes[3].u_accu.DisabledNoTrigBkwd_A 0067153336316590500
tb.dut.gen_classes[3].u_accu.DisabledNoTrigFwd_A 0067153336338795237600
tb.dut.gen_classes[3].u_esc_timer.AccuFailToFsmError_A 0067153336330300
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig0_A 0067153336345800
tb.dut.gen_classes[3].u_esc_timer.CheckAccumTrig1_A 006715333631800
tb.dut.gen_classes[3].u_esc_timer.CheckClr_A 0067153336319300
tb.dut.gen_classes[3].u_esc_timer.CheckEn_A 0067086560131751276800
tb.dut.gen_classes[3].u_esc_timer.CheckPhase0_A 0067153336352700
tb.dut.gen_classes[3].u_esc_timer.CheckPhase1_A 0067153336351100
tb.dut.gen_classes[3].u_esc_timer.CheckPhase2_A 0067153336350400
tb.dut.gen_classes[3].u_esc_timer.CheckPhase3_A 0067153336350100
tb.dut.gen_classes[3].u_esc_timer.CheckTimeout0_A 0067153336385700
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt1_A 006715333639225800
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutSt2_A 0067153336378000
tb.dut.gen_classes[3].u_esc_timer.CheckTimeoutStTrig_A 006715333635900
tb.dut.gen_classes[3].u_esc_timer.ErrorStAllEscAsserted_A 00671533363149000
tb.dut.gen_classes[3].u_esc_timer.ErrorStIsTerminal_A 00671533363125000
tb.dut.gen_classes[3].u_esc_timer.u_state_regs.AssertConnected_A 0062262200
tb.dut.gen_classes[3].u_esc_timer.u_state_regs_A 0067153336367136199200
tb.dut.tlul_assert_device.aKnown_A 0069259135313625725600
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0069259135369192706300
tb.dut.tlul_assert_device.aReadyKnown_A 0069259135369192706300
tb.dut.tlul_assert_device.dKnown_A 0069259135318534249000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0069259135369192706300
tb.dut.tlul_assert_device.dReadyKnown_A 0069259135369192706300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0082782700
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0082782700
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1275010
Category 01275010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1275010
Severity 01275010


Summary for Assertions
NUMBERPERCENT
Total Number1275100.00
Uncovered20.16
Success127399.84
Failure00.00
Incomplete493.84
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%