From 09b51cb37555d72ffbb0c4afe9a859c6492ffb4f Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 31 Aug 2015 02:05:58 +0200 Subject: Added "yosys-smt2-wire" tag support to smt2 back-end --- backends/smt2/smt2.cc | 2 ++ 1 file changed, 2 insertions(+) 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())); -- cgit v1.2.3