diff options
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/memory/memory_dff.cc | 10 | ||||
| -rw-r--r-- | passes/memory/memory_libmap.cc | 3 |
2 files changed, 13 insertions, 0 deletions
diff --git a/passes/memory/memory_dff.cc b/passes/memory/memory_dff.cc index 91209d428..dd3d8a8f3 100644 --- a/passes/memory/memory_dff.cc +++ b/passes/memory/memory_dff.cc @@ -357,6 +357,14 @@ struct MemoryDffWorker return; } + // Check for no_rw_check + bool no_rw_check = mem.get_bool_attribute(ID::no_rw_check); + for (auto attr: {ID::ram_block, ID::rom_block, ID::ram_style, ID::rom_style, ID::ramstyle, ID::romstyle, ID::syn_ramstyle, ID::syn_romstyle}) { + if (mem.get_string_attribute(attr) == "no_rw_check") { + no_rw_check = true; + } + } + // Construct cache. MemQueryCache cache(qcsat, mem, port, ff); @@ -392,6 +400,8 @@ struct MemoryDffWorker pd.uncollidable_mask[j] = true; pd.collision_x_mask[j] = true; } + if (no_rw_check) + pd.collision_x_mask[j] = true; } } portdata.push_back(pd); diff --git a/passes/memory/memory_libmap.cc b/passes/memory/memory_libmap.cc index ab7bb7bb2..898e0af85 100644 --- a/passes/memory/memory_libmap.cc +++ b/passes/memory/memory_libmap.cc @@ -443,6 +443,9 @@ void MemMapping::determine_style() { std::string val_s = val.decode_string(); for (auto &c: val_s) c = std::tolower(c); + // Handled in memory_dff. + if (val_s == "no_rw_check") + continue; if (val_s == "auto") { // Nothing. } else if (val_s == "logic" || val_s == "registers") { |