summaryrefslogtreecommitdiff
path: root/backends/smv/smv.cc
diff options
context:
space:
mode:
Diffstat (limited to 'backends/smv/smv.cc')
-rw-r--r--backends/smv/smv.cc4
1 files changed, 3 insertions, 1 deletions
diff --git a/backends/smv/smv.cc b/backends/smv/smv.cc
index 9db3d3a6..9e304dae 100644
--- a/backends/smv/smv.cc
+++ b/backends/smv/smv.cc
@@ -218,6 +218,9 @@ struct SmvWorker
partial_assignment_wires.insert(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())
@@ -483,7 +486,6 @@ struct SmvWorker
if (cell->type == "$dff")
{
- // FIXME: use init property
assignments.push_back(stringf("next(%s) := %s;", lvalue(cell->getPort("\\Q")), rvalue(cell->getPort("\\D"))));
continue;
}