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

Detail Report for Assertions

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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.FifoDepthCheck_A 001040104000
tb.dut.FlashAddrKnown_A 0038697688827088155200
tb.dut.FlashAddrKnown_AKnownEnable 0038697688838611545900
tb.dut.FlashKnownO_A 0038697688838611545900
tb.dut.FlashProgKnown_A 0038697688816272835100
tb.dut.FlashProgKnown_AKnownEnable 0038697688838611545900
tb.dut.FpvSecCmAddrCntAlertCheck_A 003869768885000
tb.dut.FpvSecCmArbFsmCheck_A 003869768885000
tb.dut.FpvSecCmLcCtrlFsmCheck_A 003869768885000
tb.dut.FpvSecCmLcCtrlRmaFsmCheck_A 003869768885000
tb.dut.FpvSecCmPageCntAlertCheck_A 003869768885000
tb.dut.FpvSecCmProgCnt_A 003869768885000
tb.dut.FpvSecCmRdCnt_A 003869768885000
tb.dut.FpvSecCmRdRspFifoRptrCheck_A 003869768885000
tb.dut.FpvSecCmRdRspFifoWptrCheck_A 003869768885000
tb.dut.FpvSecCmRegWeOnehotCheck_A 003869768885000
tb.dut.FpvSecCmSeedCntAlertCheck_A 003869768885000
tb.dut.FpvSecCmTlLcGateFsm_A 003869768885000
tb.dut.FpvSecCmTlProgLcGateFsm_A 003869768885000
tb.dut.FpvSecCmWipeIdx_A 003869768885000
tb.dut.FpvSecCmWordCntAlertCheck_A 003869768885000
tb.dut.IntrErrO_A 0038697688838611545900
tb.dut.IntrOpDoneKnownO_A 0038697688838611545900
tb.dut.IntrProgEmptyKnownO_A 0038697688838611545900
tb.dut.IntrProgLvlKnownO_A 0038697688838611545900
tb.dut.IntrProgRdFullKnownO_A 0038697688838611545900
tb.dut.IntrRdLvlKnownO_A 0038697688838611545900
tb.dut.MemRspPayLoad_A 00386976888505739400
tb.dut.MemRspPayLoad_AKnownEnable 0038697688838611545900
tb.dut.MemTlAReadyKnownO_A 0038697688838611545900
tb.dut.MemTlDValidKnownO_A 0038697688838611545900
tb.dut.PrimRspPayLoad_AKnownEnable 0038697688838611545900
tb.dut.PrimTlAReadyKnownO_A 0038697688838611545900
tb.dut.PrimTlDValidKnownO_A 0038697688838611545900
tb.dut.RspPayLoad_A 003864348834194629200
tb.dut.RspPayLoad_AKnownEnable 0038697688838611545900
tb.dut.TdoEnIsOne_A 0038697688838611545900
tb.dut.TdoKnown_A 0038697688838611545900
tb.dut.TlAReadyKnownO_A 0038697688838611545900
tb.dut.TlDValidKnownO_A 0038697688838611545900
tb.dut.flash_ctrl_core_csr_assert.TlulOOBAddrErr_A 00389245747348400
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 0038924574779200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 00389245747173100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 00389245747192600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 00389245747214200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 00389245747209700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 00389245747176600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 00389245747202800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 00389245747185600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 00389245747194400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 00389245747204700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 00389245747210900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 0038924574784500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 0038924574785700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 0038924574781400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 0038924574780900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 0038924574791300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 0038924574753200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 0038924574755100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 0038924574777700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 0038924574792400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 0038924574786200
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 00389245747196000
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 0038924574769200
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 00389245747178700
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 00389245747221600
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 0038924574795600
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 0038924574762100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 00389245747205400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 00389245747209400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 00389245747179700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 00389245747225100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 00389245747223200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 00389245747202600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 00389245747205800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 00389245747181900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 00389245747176000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 00389245747188900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 0038924574782900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 0038924574787600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 0038924574758600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 0038924574792900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 0038924574779200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 0038924574786500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 0038924574759900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 0038924574780000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 0038924574785200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 0038924574790500
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 00389245747195700
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 0038924574764800
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 00389245747205000
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 00389245747212100
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 0038924574789500
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 0038924574787400
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 0038924574758800
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 00389245747184200
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 0038924574787400
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 00389245747102600
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 0038924574761200
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 00389245747103500
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 00389245747187100
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 00389245747103100
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 00389245747103700
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 00389245747107000
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 00389245747113300
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 0038924574770600
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 0038924574791100
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 0038924574777500
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 00389245747102200
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 00389245747236100
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 00389245747190900
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 00389245747206500
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 00389245747205400
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 00389245747220600
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 00389245747185300
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 00389245747179700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 00389245747195600
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 0038924574750800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 0038924574785500
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 0038924574797000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 0038924574780600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 0038924574798600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 0038924574785300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 0038924574788200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 0038924574775600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 0038924574779800
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 0038924574759100
tb.dut.gen_phy_assertions[0].FpvSecCmPhyFsmCheck_A 003869768885000
tb.dut.gen_phy_assertions[0].FpvSecCmPhyProgFsmCheck_A 003869768885000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyFsmCheck_A 003869768885000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyProgFsmCheck_A 003869768885000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyHostCnt_A 003869768885000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoRPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoWPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoRPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoWPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoRPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoWPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyHostCnt_A 003869768885000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoRPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoWPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoRPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoWPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoRPtr_A 003869768885000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoWPtr_A 003869768885000
tb.dut.gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 003869768883500
tb.dut.tlul_assert_device.aKnown_A 003892457193445484300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0038924571938829980700
tb.dut.tlul_assert_device.aReadyKnown_A 0038924571938829980700
tb.dut.tlul_assert_device.dKnown_A 003892457194259496900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0038924571938829980700
tb.dut.tlul_assert_device.dReadyKnown_A 0038924571938829980700
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001250125000
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001250125000
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1020010
Category 01020010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1020010
Severity 01020010


Summary for Assertions
NUMBERPERCENT
Total Number1020100.00
Uncovered292.84
Success99197.16
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%