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 002326356437500
tb.dut.flash_ctrl_core_csr_assert.addr_rd_A 002326356112700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_0_rd_A 002326356167200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_1_rd_A 002326356179700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_2_rd_A 002326356175800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_3_rd_A 002326356197800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_4_rd_A 002326356192900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_5_rd_A 002326356196600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_6_rd_A 002326356199900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_7_rd_A 002326356172200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_8_rd_A 002326356198400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_page_cfg_9_rd_A 002326356188000
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_0_rd_A 002326356113200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_1_rd_A 002326356121800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_2_rd_A 002326356117800
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_3_rd_A 00232635696900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_4_rd_A 002326356121600
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_5_rd_A 00232635689900
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_6_rd_A 002326356119200
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_7_rd_A 002326356103400
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_8_rd_A 002326356120700
tb.dut.flash_ctrl_core_csr_assert.bank0_info0_regwen_9_rd_A 002326356101300
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_page_cfg_rd_A 002326356191200
tb.dut.flash_ctrl_core_csr_assert.bank0_info1_regwen_rd_A 002326356119800
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_0_rd_A 002326356179700
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_page_cfg_1_rd_A 002326356195100
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_0_rd_A 002326356122200
tb.dut.flash_ctrl_core_csr_assert.bank0_info2_regwen_1_rd_A 00232635699400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_0_rd_A 002326356201000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_1_rd_A 002326356188600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_2_rd_A 002326356171200
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_3_rd_A 002326356199900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_4_rd_A 002326356197100
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_5_rd_A 002326356191400
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_6_rd_A 002326356185900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_7_rd_A 002326356196900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_8_rd_A 002326356182700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_page_cfg_9_rd_A 002326356156000
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_0_rd_A 002326356115700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_1_rd_A 002326356108500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_2_rd_A 002326356113600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_3_rd_A 002326356120900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_4_rd_A 00232635692600
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_5_rd_A 002326356117900
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_6_rd_A 002326356126500
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_7_rd_A 002326356111300
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_8_rd_A 00232635695700
tb.dut.flash_ctrl_core_csr_assert.bank1_info0_regwen_9_rd_A 002326356106000
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_page_cfg_rd_A 002326356157300
tb.dut.flash_ctrl_core_csr_assert.bank1_info1_regwen_rd_A 00232635689200
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_0_rd_A 002326356187000
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_page_cfg_1_rd_A 002326356182400
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_0_rd_A 00232635681500
tb.dut.flash_ctrl_core_csr_assert.bank1_info2_regwen_1_rd_A 002326356118100
tb.dut.flash_ctrl_core_csr_assert.bank_cfg_regwen_rd_A 002326356113400
tb.dut.flash_ctrl_core_csr_assert.default_region_rd_A 002326356164100
tb.dut.flash_ctrl_core_csr_assert.exec_rd_A 002326356118200
tb.dut.flash_ctrl_core_csr_assert.fifo_lvl_rd_A 002326356134300
tb.dut.flash_ctrl_core_csr_assert.fifo_rst_rd_A 00232635691000
tb.dut.flash_ctrl_core_csr_assert.hw_info_cfg_override_rd_A 002326356122300
tb.dut.flash_ctrl_core_csr_assert.intr_enable_rd_A 002326356195800
tb.dut.flash_ctrl_core_csr_assert.mp_region_0_rd_A 00232635694700
tb.dut.flash_ctrl_core_csr_assert.mp_region_1_rd_A 002326356103600
tb.dut.flash_ctrl_core_csr_assert.mp_region_2_rd_A 002326356116100
tb.dut.flash_ctrl_core_csr_assert.mp_region_3_rd_A 002326356130400
tb.dut.flash_ctrl_core_csr_assert.mp_region_4_rd_A 002326356125500
tb.dut.flash_ctrl_core_csr_assert.mp_region_5_rd_A 002326356118700
tb.dut.flash_ctrl_core_csr_assert.mp_region_6_rd_A 002326356127600
tb.dut.flash_ctrl_core_csr_assert.mp_region_7_rd_A 002326356123200
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_0_rd_A 002326356163000
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_1_rd_A 002326356180700
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_2_rd_A 002326356162200
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_3_rd_A 002326356175900
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_4_rd_A 002326356166300
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_5_rd_A 002326356177300
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_6_rd_A 002326356186800
tb.dut.flash_ctrl_core_csr_assert.mp_region_cfg_7_rd_A 002326356194600
tb.dut.flash_ctrl_core_csr_assert.phy_alert_cfg_rd_A 00232635632800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_0_rd_A 002326356116800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_1_rd_A 002326356120300
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_2_rd_A 002326356106500
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_3_rd_A 002326356117700
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_4_rd_A 002326356119800
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_5_rd_A 002326356107100
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_6_rd_A 002326356112600
tb.dut.flash_ctrl_core_csr_assert.region_cfg_regwen_7_rd_A 00232635689000
tb.dut.flash_ctrl_core_csr_assert.scratch_rd_A 002326356108200
tb.dut.tlul_assert_device.aKnown_A 00232635661360900
tb.dut.tlul_assert_device.aKnown_AKnownEnable 002326356224686500
tb.dut.tlul_assert_device.aReadyKnown_A 002326356224686500
tb.dut.tlul_assert_device.dKnown_A 00232635664968900
tb.dut.tlul_assert_device.dKnown_AKnownEnable 002326356224686500
tb.dut.tlul_assert_device.dReadyKnown_A 002326356224686500
tb.dut.tlul_assert_device.gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 0021121100
tb.dut.tlul_assert_device.gen_device.aDataKnown_M 00232647520161400
tb.dut.tlul_assert_device.gen_device.addrSizeAlignedErr_A 002326356655000
tb.dut.tlul_assert_device.gen_device.contigMask_M 00232647528126200
tb.dut.tlul_assert_device.gen_device.dDataKnown_A 00232647525353000
tb.dut.tlul_assert_device.gen_device.legalAOpcodeErr_A 002326356489900
tb.dut.tlul_assert_device.gen_device.legalAParam_M 00232647561362000
tb.dut.tlul_assert_device.gen_device.legalDParam_A 00232647564969800
tb.dut.tlul_assert_device.gen_device.pendingReqPerSrc_M 00232647561362000
tb.dut.tlul_assert_device.gen_device.respMustHaveReq_A 00232647564969800
tb.dut.tlul_assert_device.gen_device.respOpcode_A 00232647564969800
tb.dut.tlul_assert_device.gen_device.respSzEqReqSz_A 00232647564969800
tb.dut.tlul_assert_device.gen_device.sizeGTEMaskErr_A 002326356514100
tb.dut.tlul_assert_device.gen_device.sizeMatchesMaskErr_A 002326356638100
tb.dut.tlul_assert_device.p_dbw.TlDbw_A 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.en2addrHit 0023263565754000
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.reAfterRv 0023263565753900
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.rePulse 0023263563878500
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_chk.PayLoadWidthCheck 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.AllowedLatency_A 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.MatchedWidthAssert 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.u_err.dataWidthOnly32_A 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_rsp_intg_gen.DataWidthCheck_A 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.u_rsp_intg_gen.PayLoadWidthCheck 0021121100
tb.dut.u_eflash.u_flash.gen_generic.u_impl_generic.u_reg_top.wePulse 0023263561875400
tb.dut.u_reg_core.en2addrHit 00232635637681100
tb.dut.u_reg_core.reAfterRv 00232635637680500
tb.dut.u_reg_core.rePulse 00232635626558300
tb.dut.u_reg_core.u_chk.PayLoadWidthCheck 0021121100
tb.dut.u_reg_core.u_mp_bank_cfg_shadowed_erase_en_0.CheckSwAccessIsLegal_A 0021121100
tb.dut.u_reg_core.u_mp_bank_cfg_shadowed_erase_en_0.MubiIsNotYetSupported_A 002326356224686500
tb.dut.u_reg_core.u_mp_bank_cfg_shadowed_erase_en_1.CheckSwAccessIsLegal_A 0021121100
tb.dut.u_reg_core.u_mp_bank_cfg_shadowed_erase_en_1.MubiIsNotYetSupported_A 002326356224686500
tb.dut.u_reg_core.u_reg_if.AllowedLatency_A 0021121100
tb.dut.u_reg_core.u_reg_if.MatchedWidthAssert 0021121100
tb.dut.u_reg_core.u_reg_if.u_err.dataWidthOnly32_A 0021121100
tb.dut.u_reg_core.u_reg_if.u_rsp_intg_gen.DataWidthCheck_A 0021121100
tb.dut.u_reg_core.u_reg_if.u_rsp_intg_gen.PayLoadWidthCheck 0021121100
tb.dut.u_reg_core.u_rsp_intg_gen.DataWidthCheck_A 0021121100
tb.dut.u_reg_core.u_rsp_intg_gen.PayLoadWidthCheck 0021121100
tb.dut.u_reg_core.u_socket.NotOverflowed_A 002326356224686500
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.DataKnown_A 00232635661360900
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.DepthKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.RvalidKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.WreadyKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.fifo_h.reqfifo.gen_passthru_fifo.paramCheckPass 0021121100
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.DataKnown_A 00232635664968900
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.DepthKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.RvalidKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.WreadyKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.fifo_h.rspfifo.gen_passthru_fifo.paramCheckPass 0021121100
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.DataKnown_A 002326356733600
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.DepthKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.RvalidKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.WreadyKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0021121100
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.DataKnown_A 002326356665200
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.DepthKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.RvalidKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.WreadyKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[0].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0021121100
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.DataKnown_A 002326356497600
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.DepthKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.RvalidKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.WreadyKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0021121100
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.DataKnown_A 002326356416400
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.DepthKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.RvalidKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.WreadyKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[1].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0021121100
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.DataKnown_A 00232635658826800
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.DepthKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.RvalidKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.WreadyKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.reqfifo.gen_passthru_fifo.paramCheckPass 0021121100
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.DataKnown_A 00232635663887300
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.DepthKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.RvalidKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.WreadyKnown_A 002326356224686500
tb.dut.u_reg_core.u_socket.gen_dfifo[2].fifo_d.rspfifo.gen_passthru_fifo.paramCheckPass 0021121100
tb.dut.u_reg_core.u_socket.gen_err_resp.err_resp.u_intg_gen.DataWidthCheck_A 0021121100
tb.dut.u_reg_core.u_socket.gen_err_resp.err_resp.u_intg_gen.PayLoadWidthCheck 0021121100
tb.dut.u_reg_core.u_socket.maxN 0021121100
tb.dut.u_reg_core.wePulse 00232635611122200


Detail Report for Cover Sequences

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

Cover Sequences All Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 002326475274827480
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00232647519190
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00232647511110
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 002326475550
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00232647515996159960
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00232647572188721880
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0023264757204672046191

Cover Sequences First Matches:
COVER SEQUENCESCATEGORYSEVERITYATTEMPTSALL MATCHESFIRST MATCHESINCOMPLETESRC
tb.dut.tlul_assert_device.gen_device_cov.aValidNotAccepted_C 002326475274827480
tb.dut.tlul_assert_device.gen_device_cov.a_dataChangedNotAccepted_C 00232647519190
tb.dut.tlul_assert_device.gen_device_cov.a_opcodeChangedNotAccepted_C 00232647511110
tb.dut.tlul_assert_device.gen_device_cov.a_sourceChangedNotAccepted_C 002326475550
tb.dut.tlul_assert_device.gen_device_cov.b2bReqWithSameAddr_C 00232647515996159960
tb.dut.tlul_assert_device.gen_device_cov.b2bReq_C 00232647572188721880
tb.dut.tlul_assert_device.gen_device_cov.b2bSameSource_C 0023264757204672046191

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