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

Detail Report for Assertions

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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.FifoDepthCheck_A 001057105700
tb.dut.FlashAddrKnown_A 0038825576627193292100
tb.dut.FlashAddrKnown_AKnownEnable 0038825576638741564100
tb.dut.FlashKnownO_A 0038825576638741564100
tb.dut.FlashProgKnown_A 0038825576615909904100
tb.dut.FlashProgKnown_AKnownEnable 0038825576638741564100
tb.dut.FpvSecCmAddrCntAlertCheck_A 003882557665000
tb.dut.FpvSecCmArbFsmCheck_A 003882557665000
tb.dut.FpvSecCmLcCtrlFsmCheck_A 003882557665000
tb.dut.FpvSecCmLcCtrlRmaFsmCheck_A 003882557665000
tb.dut.FpvSecCmPageCntAlertCheck_A 003882557665000
tb.dut.FpvSecCmProgCnt_A 003882557665000
tb.dut.FpvSecCmRdCnt_A 003882557665000
tb.dut.FpvSecCmRdRspFifoRptrCheck_A 003882557665000
tb.dut.FpvSecCmRdRspFifoWptrCheck_A 003882557665000
tb.dut.FpvSecCmRegWeOnehotCheck_A 003882557665000
tb.dut.FpvSecCmSeedCntAlertCheck_A 003882557665000
tb.dut.FpvSecCmTlLcGateFsm_A 003882557665000
tb.dut.FpvSecCmTlProgLcGateFsm_A 003882557665000
tb.dut.FpvSecCmWipeIdx_A 003882557665000
tb.dut.FpvSecCmWordCntAlertCheck_A 003882557665000
tb.dut.IntrErrO_A 0038825576638741564100
tb.dut.IntrOpDoneKnownO_A 0038825576638741564100
tb.dut.IntrProgEmptyKnownO_A 0038825576638741564100
tb.dut.IntrProgLvlKnownO_A 0038825576638741564100
tb.dut.IntrProgRdFullKnownO_A 0038825576638741564100
tb.dut.IntrRdLvlKnownO_A 0038825576638741564100
tb.dut.MemRspPayLoad_A 00388255766559202100
tb.dut.MemRspPayLoad_AKnownEnable 0038825576638741564100
tb.dut.MemTlAReadyKnownO_A 0038825576638741564100
tb.dut.MemTlDValidKnownO_A 0038825576638741564100
tb.dut.PrimRspPayLoad_AKnownEnable 0038825576638741564100
tb.dut.PrimTlAReadyKnownO_A 0038825576638741564100
tb.dut.PrimTlDValidKnownO_A 0038825576638741564100
tb.dut.RspPayLoad_A 003880932904409956000
tb.dut.RspPayLoad_AKnownEnable 0038825576638741564100
tb.dut.TdoEnIsOne_A 0038825576638741564100
tb.dut.TdoKnown_A 0038825576638741564100
tb.dut.TlAReadyKnownO_A 0038825576638741564100
tb.dut.TlDValidKnownO_A 0038825576638741564100
tb.dut.flash_ctrl_core_csr_assert.TlulOOBAddrErr_A 00390820167411100
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 00390820167187000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 00390820167258500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 00390820167308600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 00390820167323700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 00390820167310100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 00390820167357800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 00390820167359600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 00390820167376100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 00390820167376700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 00390820167362500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 00390820167383100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 00390820167195100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 00390820167231500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 00390820167190500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 00390820167233700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 0039082016791900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 0039082016790700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 00390820167194600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 00390820167219600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 00390820167227200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 00390820167188000
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 00390820167368100
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 00390820167231200
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 00390820167299800
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 00390820167292300
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 00390820167183800
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 00390820167237600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 00390820167363900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 00390820167262300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 00390820167318400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 00390820167310500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 00390820167378400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 00390820167364700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 00390820167336700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 00390820167373600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 00390820167390000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 00390820167346900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 00390820167198800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 00390820167235000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 00390820167198400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 00390820167244300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 00390820167125000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 00390820167185700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 00390820167134700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 00390820167182600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 00390820167231200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 00390820167175800
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 00390820167339000
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 00390820167183600
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 00390820167373000
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 00390820167294900
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 00390820167171300
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 00390820167188000
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 00390820167237500
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 00390820167341100
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 00390820167231200
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 00390820167214300
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 00390820167178400
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 00390820167272300
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 00390820167307000
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 00390820167213700
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 00390820167207700
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 00390820167254100
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 00390820167199000
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 00390820167259100
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 00390820167209000
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 00390820167213500
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 00390820167268400
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 00390820167263100
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 00390820167372100
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 00390820167271000
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 00390820167302700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 00390820167359800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 00390820167374400
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 00390820167320200
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 00390820167388500
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 0039082016788600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 00390820167231900
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 00390820167243400
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 00390820167232900
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 00390820167246200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 00390820167139200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 00390820167237500
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 00390820167227000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 00390820167235300
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 00390820167239800
tb.dut.gen_phy_assertions[0].FpvSecCmPhyFsmCheck_A 003882557665000
tb.dut.gen_phy_assertions[0].FpvSecCmPhyProgFsmCheck_A 003882557665000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyFsmCheck_A 003882557665000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyProgFsmCheck_A 003882557665000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyHostCnt_A 003882557665000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoRPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoWPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoRPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoWPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoRPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoWPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyHostCnt_A 003882557665000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoRPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoWPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoRPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoWPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoRPtr_A 003882557665000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoWPtr_A 003882557665000
tb.dut.gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 003882557662400
tb.dut.tlul_assert_device.aKnown_A 003908200403286427000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0039082004038989270100
tb.dut.tlul_assert_device.aReadyKnown_A 0039082004038989270100
tb.dut.tlul_assert_device.dKnown_A 003908200404492609600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0039082004038989270100
tb.dut.tlul_assert_device.dReadyKnown_A 0039082004038989270100
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001267126700
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001267126700
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%