diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-15 18:16:14 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-15 18:16:14 -0700 |
| commit | c2f3f116d041b97b0d8b6ed28c87810bf6c2630e (patch) | |
| tree | 94ad1bb4bf0e203cad1b43c6950cab3d49b49652 /backends/aiger/xaiger.cc | |
| parent | c04921c3a8391d2335fab42ef354bb2bb2f3ac2a (diff) | |
| download | yosys-c2f3f116d041b97b0d8b6ed28c87810bf6c2630e.tar.gz yosys-c2f3f116d041b97b0d8b6ed28c87810bf6c2630e.tar.bz2 yosys-c2f3f116d041b97b0d8b6ed28c87810bf6c2630e.zip | |
Use $__ABC_FF_ instead of $_FF_
Diffstat (limited to 'backends/aiger/xaiger.cc')
| -rw-r--r-- | backends/aiger/xaiger.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 09f80fee8..c3a4e69c2 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -222,8 +222,8 @@ struct XAigerWriter log_assert(!holes_mode); - // FIXME: Should short here, rather than provide $_DFF_[NP]_ - // to ABC as a user cell + // FIXME: Should short here, rather than provide $__ABC_FF_ + // to ABC like a user cell //if (cell->type.in("$_FF_" /*, "$_DFF_N_", "$_DFF_P_"*/)) //{ // SigBit D = sigmap(cell->getPort("\\D").as_bit()); |