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

Detail Report for Assertions

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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.FifoDepthCheck_A 001056105600
tb.dut.FlashAddrKnown_A 0038795577026442259100
tb.dut.FlashAddrKnown_AKnownEnable 0038795577038716713300
tb.dut.FlashKnownO_A 0038795577038716713300
tb.dut.FlashProgKnown_A 0038795577015986426800
tb.dut.FlashProgKnown_AKnownEnable 0038795577038716713300
tb.dut.FpvSecCmAddrCntAlertCheck_A 003879557705000
tb.dut.FpvSecCmArbFsmCheck_A 003879557705000
tb.dut.FpvSecCmLcCtrlFsmCheck_A 003879557705000
tb.dut.FpvSecCmLcCtrlRmaFsmCheck_A 003879557705000
tb.dut.FpvSecCmPageCntAlertCheck_A 003879557705000
tb.dut.FpvSecCmProgCnt_A 003879557705000
tb.dut.FpvSecCmRdCnt_A 003879557705000
tb.dut.FpvSecCmRdRspFifoRptrCheck_A 003879557705000
tb.dut.FpvSecCmRdRspFifoWptrCheck_A 003879557705000
tb.dut.FpvSecCmRegWeOnehotCheck_A 003879557705000
tb.dut.FpvSecCmSeedCntAlertCheck_A 003879557705000
tb.dut.FpvSecCmTlLcGateFsm_A 003879557705000
tb.dut.FpvSecCmTlProgLcGateFsm_A 003879557705000
tb.dut.FpvSecCmWipeIdx_A 003879557705000
tb.dut.FpvSecCmWordCntAlertCheck_A 003879557705000
tb.dut.IntrErrO_A 0038795577038716713300
tb.dut.IntrOpDoneKnownO_A 0038795577038716713300
tb.dut.IntrProgEmptyKnownO_A 0038795577038716713300
tb.dut.IntrProgLvlKnownO_A 0038795577038716713300
tb.dut.IntrProgRdFullKnownO_A 0038795577038716713300
tb.dut.IntrRdLvlKnownO_A 0038795577038716713300
tb.dut.MemRspPayLoad_A 00387955770526166200
tb.dut.MemRspPayLoad_AKnownEnable 0038795577038716713300
tb.dut.MemTlAReadyKnownO_A 0038795577038716713300
tb.dut.MemTlDValidKnownO_A 0038795577038716713300
tb.dut.PrimRspPayLoad_AKnownEnable 0038795577038716713300
tb.dut.PrimTlAReadyKnownO_A 0038795577038716713300
tb.dut.PrimTlDValidKnownO_A 0038795577038716713300
tb.dut.RspPayLoad_A 003877461553932431800
tb.dut.RspPayLoad_AKnownEnable 0038795577038716713300
tb.dut.TdoEnIsOne_A 0038795577038716713300
tb.dut.TdoKnown_A 0038795577038716713300
tb.dut.TlAReadyKnownO_A 0038795577038716713300
tb.dut.TlDValidKnownO_A 0038795577038716713300
tb.dut.flash_ctrl_core_csr_assert.TlulOOBAddrErr_A 00390543779505100
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 00390543779271500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 00390543779389300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 00390543779399000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 00390543779442100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 00390543779388600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 00390543779390300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 00390543779356800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 00390543779414200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 00390543779353700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 00390543779418900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 00390543779395400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 00390543779240700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 00390543779284500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 00390543779230800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 00390543779238500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 00390543779285500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 00390543779264700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 00390543779277600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 00390543779247600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 00390543779305200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 00390543779203400
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 00390543779440400
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 00390543779264300
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 00390543779382300
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 00390543779415500
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 00390543779206900
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 00390543779237600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 00390543779326500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 00390543779356300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 00390543779291000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 00390543779391900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 00390543779401100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 00390543779371000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 00390543779379300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 00390543779360000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 00390543779285900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 00390543779435600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 00390543779296400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 00390543779204400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 00390543779265200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 00390543779282900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 00390543779243500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 00390543779294500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 00390543779246400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 00390543779285300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 00390543779268300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 00390543779270200
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 00390543779359500
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 00390543779273900
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 00390543779326200
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 00390543779369700
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 00390543779238400
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 00390543779291600
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 00390543779231500
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 00390543779368700
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 00390543779248200
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 00390543779268500
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 00390543779240800
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 00390543779210700
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 00390543779348000
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 00390543779229900
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 00390543779242100
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 00390543779294100
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 00390543779265500
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 00390543779324200
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 00390543779238600
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 00390543779234800
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 00390543779302000
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 00390543779380300
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 00390543779377900
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 00390543779361700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 00390543779364800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 00390543779299700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 00390543779352600
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 00390543779388700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 00390543779355900
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 00390543779193000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 00390543779260700
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 00390543779225200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 00390543779274200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 00390543779244800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 00390543779220300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 00390543779183600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 00390543779223100
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 00390543779207300
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 00390543779273600
tb.dut.gen_phy_assertions[0].FpvSecCmPhyFsmCheck_A 003879557705000
tb.dut.gen_phy_assertions[0].FpvSecCmPhyProgFsmCheck_A 003879557705000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyFsmCheck_A 003879557705000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyProgFsmCheck_A 003879557705000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyHostCnt_A 003879557705000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoRPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoWPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoRPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoWPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoRPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoWPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyHostCnt_A 003879557705000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoRPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoWPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoRPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoWPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoRPtr_A 003879557705000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoWPtr_A 003879557705000
tb.dut.gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 003879557702600
tb.dut.tlul_assert_device.aKnown_A 003905436103111059200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0039054361038967469200
tb.dut.tlul_assert_device.aReadyKnown_A 0039054361038967469200
tb.dut.tlul_assert_device.dKnown_A 003905436104022497300
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0039054361038967469200
tb.dut.tlul_assert_device.dReadyKnown_A 0039054361038967469200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001266126600
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001266126600
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%