mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-15 13:28:59 +00:00
Code Activity

Allow non-unique modules without state in sim writeback-mode

Browse source 
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
This commit is contained in:
Claire Xenia Wolf 2022-12-21 10:43:02 +01:00
parent a9072dc23c
commit 1bc832a8e1
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
passes/sat/sim.cc
View file

@ -685,10 +685,11 @@ struct SimInstance
void writeback(pool<Module*> &wbmods) void writeback(pool<Module*> &wbmods)
{ {
if (!ff_database.empty() || !mem_database.empty()) {
if (wbmods.count(module)) if (wbmods.count(module))
log_error("Instance %s of module %s is not unique: Writeback not possible. (Fix by running 'uniquify'.)\n", hiername().c_str(), log_id(module)); log_error("Instance %s of module %s is not unique: Writeback not possible. (Fix by running 'uniquify'.)\n", hiername().c_str(), log_id(module));
wbmods.insert(module); wbmods.insert(module);
}
for (auto wire : module->wires()) for (auto wire : module->wires())
wire->attributes.erase(ID::init); wire->attributes.erase(ID::init);