mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-20 02:00:23 +00:00
Code Activity

memory_dff: Add support for no_rw_check attribute.

Browse source
This commit is contained in:
Marcelina Kościelnicka 2022-06-02 11:47:29 +02:00
parent 01cb02c81d
commit 3a0aa9c663
3 changed files with 14 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
passes/memory/memory_dff.cc
View file

@ -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);