diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-11-21 16:15:25 -0800 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-21 16:15:25 -0800 |
commit | 5a30e3ac3ba6435ebf9db0f8acfba61e9ee73ad7 (patch) | |
tree | 9f6ee2debc233e178be133c218a8b021389d2c0e /backends | |
parent | 911a152b39959137b26e68581a6cacbcabb4ab1d (diff) | |
parent | 1cc106452fb25d082ca9491c24df97cc51d4b992 (diff) | |
download | yosys-5a30e3ac3ba6435ebf9db0f8acfba61e9ee73ad7.tar.gz yosys-5a30e3ac3ba6435ebf9db0f8acfba61e9ee73ad7.tar.bz2 yosys-5a30e3ac3ba6435ebf9db0f8acfba61e9ee73ad7.zip |
Merge branch 'eddie/xaig_dff_adff' into xaig_dff
Diffstat (limited to 'backends')
-rw-r--r-- | backends/aiger/xaiger.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 03246a9b5..5d125b653 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -863,7 +863,8 @@ struct XAigerWriter dict<SigSig, SigSig> replace; for (auto it = holes_module->cells_.begin(); it != holes_module->cells_.end(); ) { auto cell = it->second; - if (cell->type.in("$_DFF_N_", "$_DFF_P_")) { + if (cell->type.in("$_DFF_N_", "$_DFF_NN0_", "$_DFF_NN1_", "$_DFF_NP0_", "$_DFF_NP1_", + "$_DFF_P_", "$_DFF_PN0_", "$_DFF_PN1", "$_DFF_PP0_", "$_DFF_PP1_")) { SigBit D = cell->getPort("\\D"); SigBit Q = cell->getPort("\\Q"); // Remove the DFF cell from what needs to be a combinatorial box |