mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 18:05:24 +00:00
Code Activity

Added init support to SMV back-end

Browse source
This commit is contained in:
Clifford Wolf 2015-06-19 16:43:02 +02:00
parent 6c6bf4999e
commit 3123c45415
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
backends/smv/smv.cc
View file

@ -218,6 +218,9 @@ struct SmvWorker
partial_assignment_wires.insert(wire); partial_assignment_wires.insert(wire);
f << stringf(" %s : unsigned word[%d]; -- %s\n", cid(wire->name), wire->width, log_id(wire)); f << stringf(" %s : unsigned word[%d]; -- %s\n", cid(wire->name), wire->width, log_id(wire));
if (wire->attributes.count("\\init"))
assignments.push_back(stringf("init(%s) := %s;", lvalue(wire), rvalue(wire->attributes.at("\\init"))));
} }
for (auto cell : module->cells()) for (auto cell : module->cells())
@ -483,7 +486,6 @@ struct SmvWorker
if (cell->type == "$dff") if (cell->type == "$dff")
{ {
// FIXME: use init property
assignments.push_back(stringf("next(%s) := %s;", lvalue(cell->getPort("\\Q")), rvalue(cell->getPort("\\D")))); assignments.push_back(stringf("next(%s) := %s;", lvalue(cell->getPort("\\Q")), rvalue(cell->getPort("\\D"))));
continue; continue;
} }