diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-30 16:36:33 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-30 16:36:33 -0800 |
| commit | 16c4ec7edaa3cb66ced2f856d3c48f30d7d2acf1 (patch) | |
| tree | 42317c583bc9b28a6c4a2eadf531c08bb7eb20bc /passes/techmap/abc9.cc | |
| parent | 88b9c8d46ddac513831dc79d370f8abb23ab68fc (diff) | |
| download | yosys-16c4ec7edaa3cb66ced2f856d3c48f30d7d2acf1.tar.gz yosys-16c4ec7edaa3cb66ced2f856d3c48f30d7d2acf1.tar.bz2 yosys-16c4ec7edaa3cb66ced2f856d3c48f30d7d2acf1.zip | |
Add abc9_ops -prep_dff
Diffstat (limited to 'passes/techmap/abc9.cc')
| -rw-r--r-- | passes/techmap/abc9.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index ac64ae86d..cd798cfbe 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -189,11 +189,11 @@ struct Abc9Pass : public ScriptPass active_design->selection_stack.emplace_back(false); for (auto mod : selected_modules) { - if (module->attributes.count(ID(abc9_box_id))) + if (mod->attributes.count(ID(abc9_box_id))) continue; - if (module->processes.size() > 0) { - log("Skipping module %s as it contains processes.\n", log_id(module)); + if (mod->processes.size() > 0) { + log("Skipping module %s as it contains processes.\n", log_id(mod)); continue; } @@ -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"); + run("abc9_ops -break_scc -prep_dff"); 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"); |