diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-06-19 16:43:02 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-06-19 16:43:02 +0200 |
| commit | 3123c454153f1d40a3839ffe1791de5c2d048693 (patch) | |
| tree | b6a7e1dee5de1dc1291933586c524245244dee0f | |
| parent | 6c6bf4999e9d8c2c61a04552deaec8b2569fc18c (diff) | |
| download | yosys-3123c454153f1d40a3839ffe1791de5c2d048693.tar.gz yosys-3123c454153f1d40a3839ffe1791de5c2d048693.tar.bz2 yosys-3123c454153f1d40a3839ffe1791de5c2d048693.zip | |
Added init support to SMV back-end
| -rw-r--r-- | backends/smv/smv.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/backends/smv/smv.cc b/backends/smv/smv.cc index 9db3d3a6e..9e304daef 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; } |