diff options
| author | David Shah <dave@ds0.me> | 2019-06-14 12:02:12 +0100 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2019-06-14 17:15:02 +0100 |
| commit | 95665730540c0fd7c76690f28d0fd6b5f13f2223 (patch) | |
| tree | 91907bc7387e194d64d5503dec4bf4c7987593ae /backends/aiger | |
| parent | bc22e2e3ee120aeb84323ce52031b895f9f62f54 (diff) | |
| download | yosys-95665730540c0fd7c76690f28d0fd6b5f13f2223.tar.gz yosys-95665730540c0fd7c76690f28d0fd6b5f13f2223.tar.bz2 yosys-95665730540c0fd7c76690f28d0fd6b5f13f2223.zip | |
ecp5: Add abc9 option
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/xaiger.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index fcf9a7bf1..5fa20c9c2 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -833,8 +833,7 @@ struct XAigerWriter Pass::call(holes_module->design, "flatten -wb"); // TODO: Should techmap all lib_whitebox-es once - //Pass::call(holes_module->design, "techmap"); - + Pass::call(holes_module->design, "techmap"); Pass::call(holes_module->design, "aigmap"); Pass::call(holes_module->design, "clean -purge"); |