diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-30 18:00:49 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-30 18:00:49 -0800 |
| commit | b50de28c045e786f3140c95ab23cb2f426918093 (patch) | |
| tree | a9491244b7a1957bb1343d994ecbfba1ac1738e9 /passes/techmap/abc9.cc | |
| parent | 16c4ec7edaa3cb66ced2f856d3c48f30d7d2acf1 (diff) | |
| download | yosys-b50de28c045e786f3140c95ab23cb2f426918093.tar.gz yosys-b50de28c045e786f3140c95ab23cb2f426918093.tar.bz2 yosys-b50de28c045e786f3140c95ab23cb2f426918093.zip | |
Add abc9_ops -prep_holes
Diffstat (limited to 'passes/techmap/abc9.cc')
| -rw-r--r-- | passes/techmap/abc9.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index cd798cfbe..e11b15065 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -207,7 +207,7 @@ struct Abc9Pass : public ScriptPass tempdir_name = make_temp_dir(tempdir_name); run("scc -set_attr abc9_scc_id {}"); - run("abc9_ops -break_scc -prep_dff"); + run("abc9_ops -break_scc -prep_dff -prep_holes"); run("aigmap"); run(stringf("write_xaiger -map %s/input.sym %s/input.xaig", tempdir_name.c_str(), tempdir_name.c_str()), "write_xaiger -map <abc-temp-dir>/input.sym <abc-temp-dir>/input.xaig"); |