summaryrefslogtreecommitdiff
path: root/backends/smt2
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-08-31 02:05:58 +0200
committerClifford Wolf <clifford@clifford.at>2015-08-31 02:05:58 +0200
commit09b51cb37555d72ffbb0c4afe9a859c6492ffb4f (patch)
treee9c0964150f828b27fd01637368fc3f58d7395c9 /backends/smt2
parenteb38722e98c0abfe01e4be81547d0d8c8a34801a (diff)
Added "yosys-smt2-wire" tag support to smt2 back-end
Diffstat (limited to 'backends/smt2')
-rw-r--r--backends/smt2/smt2.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 1e00ac71..a544aa7d 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -496,6 +496,8 @@ struct Smt2Worker
decls.push_back(stringf("; yosys-smt2-output %s %d\n", log_id(wire), wire->width));
if (is_register)
decls.push_back(stringf("; yosys-smt2-register %s %d\n", log_id(wire), wire->width));
+ if (wire->get_bool_attribute("\\keep"))
+ decls.push_back(stringf("; yosys-smt2-wire %s %d\n", log_id(wire), wire->width));
if (bvmode && GetSize(sig) > 1) {
decls.push_back(stringf("(define-fun |%s_n %s| ((state |%s_s|)) (_ BitVec %d) %s)\n",
log_id(module), log_id(wire), log_id(module), GetSize(sig), get_bv(sig).c_str()));