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

Detail Report for Assertions

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

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.FifoDepthCheck_A 001053105300
tb.dut.FlashAddrKnown_A 0039965465927635838100
tb.dut.FlashAddrKnown_AKnownEnable 0039965465939888684000
tb.dut.FlashKnownO_A 0039965465939888684000
tb.dut.FlashProgKnown_A 0039965465916257252200
tb.dut.FlashProgKnown_AKnownEnable 0039965465939888684000
tb.dut.FpvSecCmAddrCntAlertCheck_A 003996546595000
tb.dut.FpvSecCmArbFsmCheck_A 003996546595000
tb.dut.FpvSecCmLcCtrlFsmCheck_A 003996546595000
tb.dut.FpvSecCmLcCtrlRmaFsmCheck_A 003996546595000
tb.dut.FpvSecCmPageCntAlertCheck_A 003996546595000
tb.dut.FpvSecCmProgCnt_A 003996546595000
tb.dut.FpvSecCmRdCnt_A 003996546595000
tb.dut.FpvSecCmRdRspFifoRptrCheck_A 003996546595000
tb.dut.FpvSecCmRdRspFifoWptrCheck_A 003996546595000
tb.dut.FpvSecCmRegWeOnehotCheck_A 003996546595000
tb.dut.FpvSecCmSeedCntAlertCheck_A 003996546595000
tb.dut.FpvSecCmTlLcGateFsm_A 003996546595000
tb.dut.FpvSecCmTlProgLcGateFsm_A 003996546595000
tb.dut.FpvSecCmWipeIdx_A 003996546595000
tb.dut.FpvSecCmWordCntAlertCheck_A 003996546595000
tb.dut.IntrErrO_A 0039965465939888684000
tb.dut.IntrOpDoneKnownO_A 0039965465939888684000
tb.dut.IntrProgEmptyKnownO_A 0039965465939888684000
tb.dut.IntrProgLvlKnownO_A 0039965465939888684000
tb.dut.IntrProgRdFullKnownO_A 0039965465939888684000
tb.dut.IntrRdLvlKnownO_A 0039965465939888684000
tb.dut.MemRspPayLoad_A 00399654659580503800
tb.dut.MemRspPayLoad_AKnownEnable 0039965465939888684000
tb.dut.MemTlAReadyKnownO_A 0039965465939888684000
tb.dut.MemTlDValidKnownO_A 0039965465939888684000
tb.dut.PrimRspPayLoad_AKnownEnable 0039965465939888684000
tb.dut.PrimTlAReadyKnownO_A 0039965465939888684000
tb.dut.PrimTlDValidKnownO_A 0039965465939888684000
tb.dut.RspPayLoad_A 003994293653809788100
tb.dut.RspPayLoad_AKnownEnable 0039965465939888684000
tb.dut.TdoEnIsOne_A 0039965465939888684000
tb.dut.TdoKnown_A 0039965465939888684000
tb.dut.TlAReadyKnownO_A 0039965465939888684000
tb.dut.TlDValidKnownO_A 0039965465939888684000
tb.dut.flash_ctrl_core_csr_assert.TlulOOBAddrErr_A 00402061627492500
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 00402061627124300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 00402061627289400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 00402061627319600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 00402061627333100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 00402061627334300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 00402061627332400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 00402061627325600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 00402061627317200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 00402061627330500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 00402061627372300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 00402061627269200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 00402061627176100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 00402061627173800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 00402061627124600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 00402061627175800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 00402061627128500
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 00402061627133400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 00402061627181700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 00402061627189300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 00402061627180900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 0040206162774900
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 00402061627228900
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 00402061627113400
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 00402061627260800
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 00402061627325500
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 0040206162773900
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 0040206162774600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 00402061627310800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 00402061627256200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 00402061627325400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 00402061627281400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 00402061627241100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 00402061627332100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 00402061627307800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 00402061627332200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 00402061627331600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 00402061627325200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 00402061627127900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 00402061627183900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 00402061627172700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 00402061627169900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 00402061627186500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 00402061627176900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 0040206162778800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 00402061627174500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 00402061627117800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 00402061627181500
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 00402061627329200
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 00402061627122100
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 00402061627317100
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 00402061627352300
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 00402061627193300
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 00402061627130300
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 00402061627169500
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 00402061627269200
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 00402061627175300
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 00402061627203700
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 00402061627168200
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 00402061627202400
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 00402061627246700
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 00402061627199200
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 00402061627162200
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 00402061627205300
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 00402061627195600
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 00402061627214500
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 00402061627199500
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 00402061627142300
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 00402061627202200
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 00402061627323100
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 00402061627251100
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 00402061627283900
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 00402061627344300
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 00402061627332000
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 00402061627340600
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 00402061627255400
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 00402061627268300
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 00402061627114000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 00402061627187500
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 0040206162782000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 00402061627177900
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 00402061627133100
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 00402061627126700
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 00402061627179300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 00402061627170000
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 00402061627188500
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 00402061627124700
tb.dut.gen_phy_assertions[0].FpvSecCmPhyFsmCheck_A 003996546595000
tb.dut.gen_phy_assertions[0].FpvSecCmPhyProgFsmCheck_A 003996546595000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyFsmCheck_A 003996546595000
tb.dut.gen_phy_assertions[1].FpvSecCmPhyProgFsmCheck_A 003996546595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyHostCnt_A 003996546595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoRPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdDataFifoWPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoRPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRdRspFifoWPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoRPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[0].FpvSecCmPhyRspFifoWPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyHostCnt_A 003996546595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoRPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdDataFifoWPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoRPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRdRspFifoWPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoRPtr_A 003996546595000
tb.dut.gen_phy_cnt_errs[1].FpvSecCmPhyRspFifoWPtr_A 003996546595000
tb.dut.gen_reg_we_assert_generic.FpvSecCmPrimRegWeOnehotCheck_A 003996546592500
tb.dut.tlul_assert_device.aKnown_A 004020615253256506300
tb.dut.tlul_assert_device.aKnown_AKnownEnable 0040206152540120687000
tb.dut.tlul_assert_device.aReadyKnown_A 0040206152540120687000
tb.dut.tlul_assert_device.dKnown_A 004020615253889096900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 0040206152540120687000
tb.dut.tlul_assert_device.dReadyKnown_A 0040206152540120687000
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 001264126400
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 001264126400
Go next page
Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total1020010
Category 01020010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total1020010
Severity 01020010


Summary for Assertions
NUMBERPERCENT
Total Number1020100.00
Uncovered282.75
Success99297.25
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%