Fixed handling of async reset in expose -evert-dff

diff --git a/passes/sat/expose.cc b/passes/sat/expose.cc
index f5045a1d770f20cf408e9f1e4c2f9be09f301fd3..19a6feeec7e3858bb6f27ced15dd96232e15d979 100644 (file)
--- 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;