3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-23 19:47:55 +00:00

Add abc9_ops -prep_holes

This commit is contained in:
Eddie Hung 2019-12-30 18:00:49 -08:00
parent 16c4ec7eda
commit b50de28c04
3 changed files with 321 additions and 135 deletions

View file

@ -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");