diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 12:25:45 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-14 12:25:45 -0800 |
| commit | 468386d67d902722562e9a0412a76fca79ec4fa2 (patch) | |
| tree | 4d80db2eecf632fdf018d0eed8810c356a5b8ae7 /passes/techmap/abc9.cc | |
| parent | d21262ee0439df761b054d46752c2c3d52e6f373 (diff) | |
| download | yosys-468386d67d902722562e9a0412a76fca79ec4fa2.tar.gz yosys-468386d67d902722562e9a0412a76fca79ec4fa2.tar.bz2 yosys-468386d67d902722562e9a0412a76fca79ec4fa2.zip | |
abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger
Diffstat (limited to 'passes/techmap/abc9.cc')
| -rw-r--r-- | passes/techmap/abc9.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index c7fe05795..6a296bfe7 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -244,9 +244,9 @@ struct Abc9Pass : public ScriptPass if (check_label("pre")) { run("scc -set_attr abc9_scc_id {}"); if (help_mode) - run("abc9_ops -mark_scc -prep_holes [-dff]", "(option for -dff)"); + run("abc9_ops -mark_scc -prep_xaiger [-dff]", "(option for -dff)"); else - run("abc9_ops -mark_scc -prep_holes" + std::string(dff_mode ? " -dff" : ""), "(option for -dff)"); + run("abc9_ops -mark_scc -prep_xaiger" + std::string(dff_mode ? " -dff" : ""), "(option for -dff)"); run("select -set abc9_holes A:abc9_holes"); run("flatten -wb @abc9_holes"); run("techmap @abc9_holes"); |