Assertions
dashboard | hierarchy | modlist | groups | tests | asserts

Detail Report for Assertions

Assertions Uncovered:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.FpvSecCmEflashReqFifoRptrCheck_A 00384864419000
tb.dut.FpvSecCmEflashReqFifoWptrCheck_A 00384864419000
tb.dut.FpvSecCmEflashRspFifoRptrCheck_A 00384864419000
tb.dut.FpvSecCmEflashRspFifoWptrCheck_A 00384864419000
tb.dut.FpvSecCmEflashSramReqFifoRptrCheck_A 00384864419000
tb.dut.FpvSecCmEflashSramReqFifoWptrCheck_A 00384864419000
tb.dut.FpvSecCmRdReqFifoRptrCheck_A 00384864419000
tb.dut.FpvSecCmRdReqFifoWptrCheck_A 00384864419000
tb.dut.FpvSecCmRdSramReqFifoRptrCheck_A 00384864419000
tb.dut.FpvSecCmRdSramReqFifoWptrCheck_A 00384864419000
tb.dut.PrimRspPayLoad_A 00384864419000
tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_valid_random.LockArbDecision_A 00384864419000
tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_valid_random.ReqStaysHighUntilGranted0_M 00384864419000
tb.dut.u_eflash.gen_flash_cores[0].u_core.u_rd.u_valid_random.RoundRobin_A 00384864419001037
tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_valid_random.LockArbDecision_A 00384864419000
tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_valid_random.ReqStaysHighUntilGranted0_M 00384864419000
tb.dut.u_eflash.gen_flash_cores[1].u_core.u_rd.u_valid_random.RoundRobin_A 00384864419001037
tb.dut.u_eflash.u_scramble.u_prim_arbiter_tree_calc.gen_input_bufs[1].gen_rr_arbiter.u_arb.RoundRobin_A 00384864419001037
tb.dut.u_eflash.u_scramble.u_prim_arbiter_tree_op.gen_input_bufs[0].gen_rr_arbiter.u_arb.RoundRobin_A 00384864419001037
tb.dut.u_eflash.u_scramble.u_prim_arbiter_tree_op.gen_input_bufs[1].gen_rr_arbiter.u_arb.RoundRobin_A 00384864419001037
tb.dut.u_prog_tl_gate.OutStandingOvfl_A 00384864419000
tb.dut.u_tl_gate.OutStandingOvfl_A 00384864419000
tb.dut.u_to_prog_fifo.rvalidHighReqFifoEmpty 00384864419000
tb.dut.u_to_prog_fifo.rvalidHighWhenRspFifoFull 00384864419000
tb.dut.u_to_prog_fifo.u_rspfifo.DataKnown_A 00384864419000
tb.dut.u_to_prog_fifo.u_rspfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00384864419000
tb.dut.u_to_prog_fifo.u_sramreqfifo.DataKnown_A 00384864419000
tb.dut.u_to_prog_fifo.u_sramreqfifo.gen_normal_fifo.depthShallNotExceedParamDepth 00384864419000

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.FifoDepthCheck_A 001042104200
tb.dut.FlashAddrKnown_A 0038486441926246843600
tb.dut.FlashAddrKnown_AKnownEnable 0038486441938403081700
tb.dut.FlashKnownO_A 0038486441938403081700
tb.dut.FlashProgKnown_A 0038486441915915262600
tb.dut.FlashProgKnown_AKnownEnable 0038486441938403081700
tb.dut.FpvSecCmAddrCntAlertCheck_A 003848644195000
tb.dut.FpvSecCmArbFsmCheck_A 003848644195000
tb.dut.FpvSecCmLcCtrlFsmCheck_A 003848644195000
tb.dut.FpvSecCmLcCtrlRmaFsmCheck_A 003848644195000
tb.dut.FpvSecCmPageCntAlertCheck_A 003848644195000
tb.dut.FpvSecCmProgCnt_A 003848644195000
tb.dut.FpvSecCmRdCnt_A 003848644195000
tb.dut.FpvSecCmRdRspFifoRptrCheck_A 003848644195000
tb.dut.FpvSecCmRdRspFifoWptrCheck_A 003848644195000
tb.dut.FpvSecCmRegWeOnehotCheck_A 003848644195000
tb.dut.FpvSecCmSeedCntAlertCheck_A 003848644195000
tb.dut.FpvSecCmTlLcGateFsm_A 003848644195000
tb.dut.FpvSecCmTlProgLcGateFsm_A 003848644195000
tb.dut.FpvSecCmWipeIdx_A 003848644195000
tb.dut.FpvSecCmWordCntAlertCheck_A 003848644195000
tb.dut.IntrErrO_A 0038486441938403081700
tb.dut.IntrOpDoneKnownO_A 0038486441938403081700
tb.dut.IntrProgEmptyKnownO_A 0038486441938403081700
tb.dut.IntrProgLvlKnownO_A 0038486441938403081700
tb.dut.IntrProgRdFullKnownO_A 0038486441938403081700
tb.dut.IntrRdLvlKnownO_A 0038486441938403081700
tb.dut.MemRspPayLoad_A 00384864419624176800
tb.dut.MemRspPayLoad_AKnownEnable 0038486441938403081700
tb.dut.MemTlAReadyKnownO_A 0038486441938403081700
tb.dut.MemTlDValidKnownO_A 0038486441938403081700
tb.dut.PrimRspPayLoad_AKnownEnable 0038486441938403081700
tb.dut.PrimTlAReadyKnownO_A 0038486441938403081700
tb.dut.PrimTlDValidKnownO_A 0038486441938403081700
tb.dut.RspPayLoad_A 003846539864172142100
tb.dut.RspPayLoad_AKnownEnable 0038486441938403081700
tb.dut.TdoEnIsOne_A 0038486441938403081700
tb.dut.TdoKnown_A 0038486441938403081700
tb.dut.TlAReadyKnownO_A 0038486441938403081700
tb.dut.TlDValidKnownO_A 0038486441938403081700
tb.dut.flash_ctrl_core_csr_assert.TlulOOBAddrErr_A 00387235479404200
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 00387235479109000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 00387235479147100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 00387235479139500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 00387235479111100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 00387235479160600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 00387235479147300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 00387235479157000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 0038723547997600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 00387235479168300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 00387235479129100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 0038723547996200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 0038723547997700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 0038723547962100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 00387235479102000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 00387235479110700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 00387235479102400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 00387235479107200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 0038723547995900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 0038723547958800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 00387235479109500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 00387235479111200
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 0038723547981400
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 00387235479103300
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 0038723547995500
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 00387235479155100
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 00387235479104200
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 00387235479104100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 00387235479147700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 00387235479146700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 00387235479168600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 00387235479162400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 00387235479162000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 00387235479141900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 0038723547994800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 0038723547995700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 00387235479155300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 00387235479168300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 00387235479103900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 0038723547997000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 0038723547997000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 0038723547960200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 00387235479100200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 00387235479101400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 00387235479107900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 00387235479103700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 0038723547954800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 00387235479104000
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 00387235479110400
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 0038723547953200
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 00387235479109700
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 00387235479151900
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 00387235479110700
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 0038723547969800
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 00387235479116300
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 00387235479147000
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 00387235479102800
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 00387235479114600
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 0038723547965400
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 00387235479111800
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 00387235479144900
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 00387235479110600
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 00387235479106900
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 0038723547960300
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 00387235479111700
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 00387235479108900
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 00387235479109700
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 00387235479108300
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 00387235479106700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 00387235479137500
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 00387235479147600
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 00387235479162800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 00387235479150300
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 00387235479141800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 00387235479143700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 00387235479149700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 00387235479148200
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 0038723547975300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 0038723547957300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 00387235479100200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 00387235479108300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 0038723547993800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 00387235479104400
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 0038723547999900
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 00387235479100200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 0038723547958000
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 0038723547997100
tb.dut.gen_phy_assertions[0].FpvSecCmPhyFsmCheck_A 003848644195000
tb.dut.gen_phy_assertions[0].FpvSecCmPhyProgFsmCheck_A 003848644195000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyFsmCheck_A 003848644195000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyProgFsmCheck_A 003848644195000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyHostCnt_A 003848644195000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoRPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoWPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoRPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoWPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoRPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoWPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyHostCnt_A 003848644195000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoRPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoWPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoRPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoWPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoRPtr_A 003848644195000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoWPtr_A 003848644195000
tb.dut.gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 003848644192300
tb.dut.tlul_assert_device.aKnown_A 003872353793177709200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0038723537938633000200
tb.dut.tlul_assert_device.aReadyKnown_A 0038723537938633000200
tb.dut.tlul_assert_device.dKnown_A 003872353794235151300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0038723537938633000200
tb.dut.tlul_assert_device.dReadyKnown_A 0038723537938633000200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001252125200
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001252125200
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1020010
Category 01020010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1020010
Severity 01020010


Summary for Assertions
NUMBERPERCENT
Total Number1020100.00
Uncovered282.75
Success99297.25
Failure00.00
Incomplete151.47
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered330.00
All Matches770.00
First Matches770.00
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%