diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-11-19 16:57:26 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-19 16:57:26 -0800 |
| commit | 929beda19c24e8e6cb6e87b0ceaa97ad2829abbe (patch) | |
| tree | 10992bd518c477a7628f04d74f619967d6dd0bb3 /backends | |
| parent | 344619079d42e541fee8dc370318d9927cd6fb95 (diff) | |
| download | yosys-929beda19c24e8e6cb6e87b0ceaa97ad2829abbe.tar.gz yosys-929beda19c24e8e6cb6e87b0ceaa97ad2829abbe.tar.bz2 yosys-929beda19c24e8e6cb6e87b0ceaa97ad2829abbe.zip | |
abc9 to support async flops $_DFF_[NP][NP][01]_
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 |