From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 8 Feb 2014 20:26:40 +0000 (+0100)
Subject: Fixed handling of async reset in expose -evert-dff
X-Git-Tag: yosys-0.2.0~32
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=85914c36e55b0089c1e2bd9912cd04d56627bcc0;p=yosys.git

Fixed handling of async reset in expose -evert-dff
---

diff --git a/passes/sat/expose.cc b/passes/sat/expose.cc
index f5045a1d7..19a6feeec 100644
--- a/passes/sat/expose.cc
+++ b/passes/sat/expose.cc
@@ -201,6 +201,7 @@ static void create_dff_dq_map(std::map<std::string, dff_map_info_t> &map, RTLIL:
 		info.sig_arst = ref_info.bit_arst;
 		info.clk_polarity = ref_info.clk_polarity;
 		info.arst_polarity = ref_info.arst_polarity;
+		info.arst_value = arst_value;
 		for (auto it : cells)
 			info.cells.push_back(it->name);
 		map[it.first] = info;