diff options
| -rw-r--r-- | passes/sat/expose.cc | 1 |
1 files changed, 1 insertions, 0 deletions
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; |