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

Assertions by Category
ASSERTPROPERTIESSEQUENCES
Total435010
Category 0435010


Assertions by Severity
ASSERTPROPERTIESSEQUENCES
Total435010
Severity 0435010


Summary for Assertions
NUMBERPERCENT
Total Number435100.00
Uncovered00.00
Success435100.00
Failure00.00
Incomplete00.00
Without Attempts00.00


Summary for Cover Sequences
NUMBERPERCENT
Total Number10100.00
Uncovered330.00
All Matches770.00
First Matches770.00


Detail Report for Assertions

Assertions Success:
ASSERTIONSCATEGORYSEVERITYATTEMPTSREAL SUCCESSESFAILURESINCOMPLETESRC
tb.dut.flash_ctrl_core_csr_assert.TlulOOBAddrErr_A 002308514501400
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 002308514113400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 002308514269900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 002308514168800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 002308514256000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 002308514200900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 002308514256200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 002308514276600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 002308514209300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 002308514195900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 002308514249800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 002308514244000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 002308514147300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 002308514146700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 002308514178600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 002308514129100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 002308514165700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 002308514172900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 00230851475300
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 002308514128900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 002308514119100
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 002308514153500
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 002308514259600
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 002308514127200
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 002308514188800
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 002308514211200
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 002308514172300
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 002308514162600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 002308514240200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 002308514211300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 002308514211400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 002308514236600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 002308514245800
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 002308514181600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 002308514246500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 002308514259400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 002308514264000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 002308514162600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 002308514164400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 002308514172000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 002308514123200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 002308514174000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 002308514129500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 002308514128700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 002308514170700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 002308514120200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 00230851495000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 002308514134000
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 002308514245300
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 002308514100200
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 002308514246600
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 002308514160900
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 00230851493700
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 002308514174000
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 002308514174200
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 002308514187000
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 002308514197200
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 002308514189400
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 002308514185900
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 002308514184300
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 002308514154800
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 002308514195200
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 002308514137800
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 002308514177600
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 002308514168900
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 002308514189700
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 002308514148500
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 002308514135200
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 002308514142800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 002308514229200
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 002308514217900
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 002308514179200
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 002308514271000
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 002308514279200
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 002308514261500
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 002308514236100
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 002308514255200
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 002308514141900
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 002308514177600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 002308514167800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 002308514116400
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 002308514178200
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 002308514174800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 00230851446700
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 002308514154800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 002308514127300
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 002308514167500
tb.dut.tlul_assert_device.aKnown_A 00230851464449000
tb.dut.tlul_assert_device.aKnown_AKnownEnable 002308514222856200
tb.dut.tlul_assert_device.aReadyKnown_A 002308514222856200
tb.dut.tlul_assert_device.dKnown_A 00230851466139600
tb.dut.tlul_assert_device.dKnown_AKnownEnable 002308514222856200
tb.dut.tlul_assert_device.dReadyKnown_A 002308514222856200
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0021521500
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00230863119204100
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 002308514713000
tb.dut.tlul_assert_device.gen_device.contigMask_M 00230863132197200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00230863130214100
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 002308514541700
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00230863164449000
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00230863166139600
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00230863164449000
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00230863166139600
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00230863166139600
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00230863166139600
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 002308514520400
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 002308514542400
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.en2addrHit 0023085146093700
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.reAfterRv 0023085146093700
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.rePulse 0023085144311900
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_chk.PayLoadWidthCheck 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.AllowedLatency_A 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.MatchedWidthAssert 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.u_err.dataWidthOnly32_A 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_rsp_intg_gen.DataWidthCheck_A 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_rsp_intg_gen.PayLoadWidthCheck 0021521500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.wePulse 0023085141781800
tb.dut.u_reg_core.en2addrHit 00230851438228300
tb.dut.u_reg_core.reAfterRv 00230851438228300
tb.dut.u_reg_core.rePulse 00230851427727400
tb.dut.u_reg_core.u_chk.PayLoadWidthCheck 0021521500
tb.dut.u_reg_core.u_mp_bank_cfg_shadowed_erase_en_0.CheckSwAccessIsLegal_A 0021521500
tb.dut.u_reg_core.u_mp_bank_cfg_shadowed_erase_en_0.MubiIsNotYetSupported_A 002308514222856200
tb.dut.u_reg_core.u_mp_bank_cfg_shadowed_erase_en_1.CheckSwAccessIsLegal_A 0021521500
tb.dut.u_reg_core.u_mp_bank_cfg_shadowed_erase_en_1.MubiIsNotYetSupported_A 002308514222856200
tb.dut.u_reg_core.u_reg_if.AllowedLatency_A 0021521500
tb.dut.u_reg_core.u_reg_if.MatchedWidthAssert 0021521500
tb.dut.u_reg_core.u_reg_if.u_err.dataWidthOnly32_A 0021521500
tb.dut.u_reg_core.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0021521500
tb.dut.u_reg_core.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0021521500
tb.dut.u_reg_core.u_rsp_intg_gen.DataWidthCheck_A 0021521500
tb.dut.u_reg_core.u_rsp_intg_gen.PayLoadWidthCheck 0021521500
tb.dut.u_reg_core.u_socket.NotOverflowed_A 002308514222856200
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.DataKnown_A 00230851464449000
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.DepthKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.RvalidKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.WreadyKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 0021521500
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.DataKnown_A 00230851466139600
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.DepthKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.RvalidKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.WreadyKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 0021521500
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 002308514881800
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0021521500
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 002308514773100
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0021521500
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 002308514435800
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0021521500
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 002308514376400
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0021521500
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00230851461923400
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0021521500
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 00230851464990100
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 002308514222856200
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0021521500
tb.dut.u_reg_core.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 0021521500
tb.dut.u_reg_core.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 0021521500
tb.dut.u_reg_core.u_socket.maxN 0021521500
tb.dut.u_reg_core.wePulse 00230851410500900


Detail Report for Cover Sequences

Cover Sequences Uncovered:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.a_addressChangedNotAccepted_C 002308631000
tb.dut.tlul_assert_device.gen_device_cov.a_maskChangedNotAccepted_C 002308631000
tb.dut.tlul_assert_device.gen_device_cov.a_sizeChangedNotAccepted_C 002308631000

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 002308631633263320
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 002308631990
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 002308631220
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 002308631440
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00230863113984139840
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00230863164711647110
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0023086314968649686195

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 002308631633263320
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 002308631990
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 002308631220
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 002308631440
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00230863113984139840
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00230863164711647110
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0023086314968649686195

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%