diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-02-08 21:26:40 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-02-08 21:26:40 +0100 |
commit | 85914c36e55b0089c1e2bd9912cd04d56627bcc0 (patch) | |
tree | 233fbbdc2217e4a981dc92cfd2ae1c91e67aefb3 /passes/sat/expose.cc | |
parent | db86aaa07d65534151037b7762d4a36ccb41098e (diff) | |
download | yosys-85914c36e55b0089c1e2bd9912cd04d56627bcc0.tar.gz yosys-85914c36e55b0089c1e2bd9912cd04d56627bcc0.tar.bz2 yosys-85914c36e55b0089c1e2bd9912cd04d56627bcc0.zip |
Fixed handling of async reset in expose -evert-dff
Diffstat (limited to 'passes/sat/expose.cc')
-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; |