From 85914c36e55b0089c1e2bd9912cd04d56627bcc0 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 8 Feb 2014 21:26:40 +0100 Subject: [PATCH] Fixed handling of async reset in expose -evert-dff --- passes/sat/expose.cc | 1 + 1 file changed, 1 insertion(+) 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 &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; -- 2.30.2