diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-01-03 14:37:58 -0800 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-03 14:37:58 -0800 |
commit | 559f3379e852f304a0255afcc37714b9d0da59d9 (patch) | |
tree | 9299a64341d273b995f49ee62d0c8453368142ac /passes | |
parent | bb70915fb8adcd7ede7719174dea3bc9c04e613e (diff) | |
download | yosys-559f3379e852f304a0255afcc37714b9d0da59d9.tar.gz yosys-559f3379e852f304a0255afcc37714b9d0da59d9.tar.bz2 yosys-559f3379e852f304a0255afcc37714b9d0da59d9.zip |
Preserve topo ordering from -prep_holes to write_xaiger
Diffstat (limited to 'passes')
-rw-r--r-- | passes/techmap/abc9.cc | 6 | ||||
-rw-r--r-- | passes/techmap/abc9_ops.cc | 1 |
2 files changed, 2 insertions, 5 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index 25fe3fbc8..af37ecb5c 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -187,17 +187,13 @@ struct Abc9Pass : public ScriptPass { run("scc -set_attr abc9_scc_id {}"); run("abc9_ops -break_scc"/*" -prep_holes"*/); -// run("select -set abc9_holes A:abc9_holes"); -// run("dump @abc9_holes"); // run("flatten -wb @abc9_holes"); // run("techmap @abc9_holes"); run("aigmap"); + run("abc9_ops -prep_holes"); if (dff_mode) run("abc9_ops -prep_dff"); // run("opt -purge @abc9_holes"); - - run("abc9_ops -prep_holes"); - run("select -set abc9_holes A:abc9_holes"); run("wbflip @abc9_holes"); diff --git a/passes/techmap/abc9_ops.cc b/passes/techmap/abc9_ops.cc index c671553e2..bcf622dba 100644 --- a/passes/techmap/abc9_ops.cc +++ b/passes/techmap/abc9_ops.cc @@ -322,6 +322,7 @@ void prep_holes(RTLIL::Module *module) } } + cell->attributes["\\abc9_box_order"] = box_list.size(); box_list.emplace_back(cell); } log_assert(!box_list.empty()); |