aboutsummaryrefslogtreecommitdiffstats
path: root/passes/memory/memory_dff.cc
diff options
context:
space:
mode:
authorMarcelina Koƛcielnicka <mwk@0x04.net>2022-06-02 11:47:29 +0200
committerMarcelina Koƛcielnicka <mwk@0x04.net>2022-06-02 12:49:34 +0200
commit3a0aa9c6630c6e2bb2ffb2d7f5b4e3921316ba48 (patch)
treed04147d34ed0cd10e8f08ffd63f2688c13504c36 /passes/memory/memory_dff.cc
parent01cb02c81df14762cce117a823af742ed044a5c4 (diff)
downloadyosys-3a0aa9c6630c6e2bb2ffb2d7f5b4e3921316ba48.tar.gz
yosys-3a0aa9c6630c6e2bb2ffb2d7f5b4e3921316ba48.tar.bz2
yosys-3a0aa9c6630c6e2bb2ffb2d7f5b4e3921316ba48.zip
memory_dff: Add support for no_rw_check attribute.
Diffstat (limited to 'passes/memory/memory_dff.cc')
-rw-r--r--passes/memory/memory_dff.cc10
1 files changed, 10 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);