diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-16 13:38:47 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-16 13:38:47 -0700 |
| commit | 6b51c154c6812f58676402ebbbdbb18d053ca4be (patch) | |
| tree | abc83b857152cd237fd3b64155bdcee2180b5855 /passes/sat | |
| parent | 2d5d82e2b6f7d369c0d41b499646a8719ff0bc20 (diff) | |
| parent | 958be89c47ae4f11b5de07bc026bc2202e2ebc97 (diff) | |
| download | yosys-6b51c154c6812f58676402ebbbdbb18d053ca4be.tar.gz yosys-6b51c154c6812f58676402ebbbdbb18d053ca4be.tar.bz2 yosys-6b51c154c6812f58676402ebbbdbb18d053ca4be.zip | |
Merge remote-tracking branch 'origin/master' into mwk/xilinx_bufgmap
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/expose.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/expose.cc b/passes/sat/expose.cc index 7631d87e6..29dfc7b19 100644 --- a/passes/sat/expose.cc +++ b/passes/sat/expose.cc @@ -143,7 +143,7 @@ void create_dff_dq_map(std::map<RTLIL::IdString, dff_map_info_t> &map, RTLIL::De continue; } - if (info.cell->type == "$_DFF_N_" || info.cell->type == "$_DFF_P_") { + if (info.cell->type.in("$_DFF_N_", "$_DFF_P_")) { info.bit_clk = sigmap(info.cell->getPort("\\C")).as_bit(); info.clk_polarity = info.cell->type == "$_DFF_P_"; info.bit_d = sigmap(info.cell->getPort("\\D")).as_bit(); |