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

Detail Report for Assertions

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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.FifoDepthCheck_A 001058105800
tb.dut.FlashAddrKnown_A 0036591951026192442800
tb.dut.FlashAddrKnown_AKnownEnable 0036591951036517421000
tb.dut.FlashKnownO_A 0036591951036517421000
tb.dut.FlashProgKnown_A 0036591951015518904200
tb.dut.FlashProgKnown_AKnownEnable 0036591951036517421000
tb.dut.FpvSecCmAddrCntAlertCheck_A 003659195105000
tb.dut.FpvSecCmArbFsmCheck_A 003659195105000
tb.dut.FpvSecCmLcCtrlFsmCheck_A 003659195105000
tb.dut.FpvSecCmLcCtrlRmaFsmCheck_A 003659195105000
tb.dut.FpvSecCmPageCntAlertCheck_A 003659195105000
tb.dut.FpvSecCmProgCnt_A 003659195105000
tb.dut.FpvSecCmRdCnt_A 003659195105000
tb.dut.FpvSecCmRdRspFifoRptrCheck_A 003659195105000
tb.dut.FpvSecCmRdRspFifoWptrCheck_A 003659195105000
tb.dut.FpvSecCmRegWeOnehotCheck_A 003659195105000
tb.dut.FpvSecCmSeedCntAlertCheck_A 003659195105000
tb.dut.FpvSecCmTlLcGateFsm_A 003659195105000
tb.dut.FpvSecCmTlProgLcGateFsm_A 003659195105000
tb.dut.FpvSecCmWipeIdx_A 003659195105000
tb.dut.FpvSecCmWordCntAlertCheck_A 003659195105000
tb.dut.IntrErrO_A 0036591951036517421000
tb.dut.IntrOpDoneKnownO_A 0036591951036517421000
tb.dut.IntrProgEmptyKnownO_A 0036591951036517421000
tb.dut.IntrProgLvlKnownO_A 0036591951036517421000
tb.dut.IntrProgRdFullKnownO_A 0036591951036517421000
tb.dut.IntrRdLvlKnownO_A 0036591951036517421000
tb.dut.MemRspPayLoad_A 00365919510487789000
tb.dut.MemRspPayLoad_AKnownEnable 0036591951036517421000
tb.dut.MemTlAReadyKnownO_A 0036591951036517421000
tb.dut.MemTlDValidKnownO_A 0036591951036517421000
tb.dut.PrimRspPayLoad_AKnownEnable 0036591951036517421000
tb.dut.PrimTlAReadyKnownO_A 0036591951036517421000
tb.dut.PrimTlDValidKnownO_A 0036591951036517421000
tb.dut.RspPayLoad_A 003656810253818357100
tb.dut.RspPayLoad_AKnownEnable 0036591951036517421000
tb.dut.TdoEnIsOne_A 0036591951036517421000
tb.dut.TdoKnown_A 0036591951036517421000
tb.dut.TlAReadyKnownO_A 0036591951036517421000
tb.dut.TlDValidKnownO_A 0036591951036517421000
tb.dut.flash_ctrl_core_csr_assert.TlulOOBAddrErr_A 00368358938406700
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 00368358938163500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 00368358938384000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 00368358938312100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 00368358938311500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 00368358938316500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 00368358938238700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 00368358938208800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 00368358938307800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 00368358938371300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 00368358938363400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 00368358938316300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 00368358938264500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 00368358938226200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 00368358938202700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 00368358938271000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 00368358938177100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 00368358938172700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 00368358938229000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 00368358938224000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 00368358938254100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 00368358938209400
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 00368358938368800
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 00368358938220000
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 00368358938350900
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 00368358938320300
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 00368358938174200
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 00368358938266100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 00368358938370200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 00368358938262100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 00368358938320600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 00368358938268100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 00368358938348900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 00368358938160400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 00368358938310100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 00368358938353200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 00368358938357500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 00368358938230600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 00368358938272700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 00368358938273400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 00368358938272200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 00368358938116600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 00368358938259600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 00368358938259300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 00368358938219600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 00368358938272500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 00368358938199400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 00368358938229300
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 00368358938304000
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 00368358938209800
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 00368358938290600
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 00368358938311500
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 00368358938288600
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 00368358938156400
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 00368358938217400
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 00368358938251700
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 00368358938230500
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 00368358938230700
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 00368358938210100
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 00368358938228700
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 00368358938281100
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 00368358938230100
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 00368358938223900
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 00368358938239400
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 00368358938284100
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 00368358938234300
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 00368358938230400
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 00368358938287100
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 00368358938254800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 00368358938361800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 00368358938362300
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 00368358938350300
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 00368358938367100
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 00368358938320700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 00368358938363900
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 00368358938288900
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 00368358938294900
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 00368358938128200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 00368358938211300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 00368358938166000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 00368358938118900
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 00368358938224200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 00368358938292600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 00368358938262200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 00368358938200100
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 00368358938221000
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 00368358938166300
tb.dut.gen_phy_assertions[0].FpvSecCmPhyFsmCheck_A 003659195105000
tb.dut.gen_phy_assertions[0].FpvSecCmPhyProgFsmCheck_A 003659195105000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyFsmCheck_A 003659195105000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyProgFsmCheck_A 003659195105000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyHostCnt_A 003659195105000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoRPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoWPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoRPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoWPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoRPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoWPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyHostCnt_A 003659195105000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoRPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoWPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoRPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoWPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoRPtr_A 003659195105000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoWPtr_A 003659195105000
tb.dut.gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 003659195102500
tb.dut.tlul_assert_device.aKnown_A 003683588063615380400
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0036835880636752809300
tb.dut.tlul_assert_device.aReadyKnown_A 0036835880636752809300
tb.dut.tlul_assert_device.dKnown_A 003683588063902015000
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0036835880636752809300
tb.dut.tlul_assert_device.dReadyKnown_A 0036835880636752809300
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001268126800
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001268126800
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1053010
Category 01053010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1053010
Severity 01053010


Summary for Assertions
NUMBERPERCENT
Total Number1053100.00
Uncovered292.75
Success102497.25
Failure00.00
Incomplete151.42
Without Attempts00.00


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