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

Detail Report for Assertions

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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.FifoDepthCheck_A 001043104300
tb.dut.FlashAddrKnown_A 0039425085926381840900
tb.dut.FlashAddrKnown_AKnownEnable 0039425085939337907300
tb.dut.FlashKnownO_A 0039425085939337907300
tb.dut.FlashProgKnown_A 0039425085915777653800
tb.dut.FlashProgKnown_AKnownEnable 0039425085939337907300
tb.dut.FpvSecCmAddrCntAlertCheck_A 003942508595000
tb.dut.FpvSecCmArbFsmCheck_A 003942508595000
tb.dut.FpvSecCmLcCtrlFsmCheck_A 003942508595000
tb.dut.FpvSecCmLcCtrlRmaFsmCheck_A 003942508595000
tb.dut.FpvSecCmPageCntAlertCheck_A 003942508595000
tb.dut.FpvSecCmProgCnt_A 003942508595000
tb.dut.FpvSecCmRdCnt_A 003942508595000
tb.dut.FpvSecCmRdRspFifoRptrCheck_A 003942508595000
tb.dut.FpvSecCmRdRspFifoWptrCheck_A 003942508595000
tb.dut.FpvSecCmRegWeOnehotCheck_A 003942508595000
tb.dut.FpvSecCmSeedCntAlertCheck_A 003942508595000
tb.dut.FpvSecCmTlLcGateFsm_A 003942508595000
tb.dut.FpvSecCmTlProgLcGateFsm_A 003942508595000
tb.dut.FpvSecCmWipeIdx_A 003942508595000
tb.dut.FpvSecCmWordCntAlertCheck_A 003942508595000
tb.dut.IntrErrO_A 0039425085939337907300
tb.dut.IntrOpDoneKnownO_A 0039425085939337907300
tb.dut.IntrProgEmptyKnownO_A 0039425085939337907300
tb.dut.IntrProgLvlKnownO_A 0039425085939337907300
tb.dut.IntrProgRdFullKnownO_A 0039425085939337907300
tb.dut.IntrRdLvlKnownO_A 0039425085939337907300
tb.dut.MemRspPayLoad_A 00394250859507759700
tb.dut.MemRspPayLoad_AKnownEnable 0039425085939337907300
tb.dut.MemTlAReadyKnownO_A 0039425085939337907300
tb.dut.MemTlDValidKnownO_A 0039425085939337907300
tb.dut.PrimRspPayLoad_AKnownEnable 0039425085939337907300
tb.dut.PrimTlAReadyKnownO_A 0039425085939337907300
tb.dut.PrimTlDValidKnownO_A 0039425085939337907300
tb.dut.RspPayLoad_A 003941007694274075100
tb.dut.RspPayLoad_AKnownEnable 0039425085939337907300
tb.dut.TdoEnIsOne_A 0039425085939337907300
tb.dut.TdoKnown_A 0039425085939337907300
tb.dut.TlAReadyKnownO_A 0039425085939337907300
tb.dut.TlDValidKnownO_A 0039425085939337907300
tb.dut.flash_ctrl_core_csr_assert.TlulOOBAddrErr_A 00396824248417100
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 00396824248127900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 00396824248290300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 00396824248293400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 00396824248261400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 00396824248274100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 00396824248283200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 00396824248278800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 00396824248285400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 00396824248314300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 00396824248265400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 00396824248286200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 00396824248133000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 00396824248125300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 00396824248116200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 00396824248113600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 0039682424893900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 00396824248135200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 00396824248120600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 00396824248120000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 00396824248126400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 00396824248129100
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 00396824248258000
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 0039682424890300
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 00396824248300400
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 00396824248274500
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 00396824248125700
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 00396824248138800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 00396824248247300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 00396824248273900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 00396824248298500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 00396824248313500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 00396824248282700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 00396824248310400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 00396824248283200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 00396824248249500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 00396824248316500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 00396824248248600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 00396824248129500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 00396824248132500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 00396824248139100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 00396824248129000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 00396824248113300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 00396824248129700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 00396824248135500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 00396824248136300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 00396824248132300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 00396824248130600
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 00396824248283000
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 00396824248125800
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 00396824248295000
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 00396824248268500
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 00396824248113500
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 00396824248127000
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 00396824248116700
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 00396824248243600
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 00396824248113300
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 00396824248150100
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 00396824248126600
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 00396824248153300
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 00396824248240900
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 00396824248130100
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 00396824248153900
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 00396824248156700
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 00396824248148500
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 00396824248133900
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 00396824248151200
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 00396824248144400
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 00396824248162800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 00396824248276500
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 00396824248274800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 00396824248260800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 00396824248262900
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 00396824248300000
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 00396824248280500
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 00396824248266700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 00396824248282100
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 0039682424846400
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 00396824248125000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 00396824248133600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 00396824248130700
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 00396824248104200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 00396824248135300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 00396824248124000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 0039682424890300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 00396824248128300
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 0039682424898700
tb.dut.gen_phy_assertions[0].FpvSecCmPhyFsmCheck_A 003942508595000
tb.dut.gen_phy_assertions[0].FpvSecCmPhyProgFsmCheck_A 003942508595000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyFsmCheck_A 003942508595000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyProgFsmCheck_A 003942508595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyHostCnt_A 003942508595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoRPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoWPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoRPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoWPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoRPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoWPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyHostCnt_A 003942508595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoRPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoWPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoRPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoWPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoRPtr_A 003942508595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoWPtr_A 003942508595000
tb.dut.gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 003942508592400
tb.dut.tlul_assert_device.aKnown_A 003968242023595023200
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0039682420239586735400
tb.dut.tlul_assert_device.aReadyKnown_A 0039682420239586735400
tb.dut.tlul_assert_device.dKnown_A 003968242024349417800
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0039682420239586735400
tb.dut.tlul_assert_device.dReadyKnown_A 0039682420239586735400
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001255125500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001255125500
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
Uncovered330.00
All Matches770.00
First Matches770.00
0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%