aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-01-11 17:28:24 -0800
committerEddie Hung <eddie@fpgeh.com>2020-01-11 17:28:24 -0800
commit295e241c074ae275e832fdde9fae6fd897170ac8 (patch)
tree16cb0845a92b9c8e2004e9489c23eb3fb506a19f
parent7fa1b61aed27fefdee5fb4a2409145741b51eaab (diff)
downloadyosys-295e241c074ae275e832fdde9fae6fd897170ac8.tar.gz
yosys-295e241c074ae275e832fdde9fae6fd897170ac8.tar.bz2
yosys-295e241c074ae275e832fdde9fae6fd897170ac8.zip
cleanup
-rw-r--r--backends/aiger/xaiger.cc2
-rw-r--r--passes/techmap/abc9.cc2
2 files changed, 1 insertions, 3 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 212e1e561..93e0ebc8c 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -93,7 +93,6 @@ struct XAigerWriter
dict<SigBit, int> ordered_outputs;
vector<Cell*> box_list;
- dict<IdString, std::vector<IdString>> box_ports;
int mkgate(int a0, int a1)
{
@@ -277,6 +276,7 @@ struct XAigerWriter
//log_warning("Unsupported cell type: %s (%s)\n", log_id(cell->type), log_id(cell));
}
+ dict<IdString, std::vector<IdString>> box_ports;
for (auto cell : box_list) {
log_assert(cell);
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 30b62dc79..5d6d8904c 100644
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -182,12 +182,10 @@ struct Abc9Pass : public ScriptPass
run("abc9_ops -break_scc -prep_holes" + std::string(dff_mode ? " -dff" : ""), "(option for -dff)");
run("select -set abc9_holes A:abc9_holes");
run("flatten -wb @abc9_holes");
-run("dump @abc9_holes");
run("techmap @abc9_holes");
if (dff_mode || help_mode)
run("abc9_ops -prep_dff", "(only if -dff)");
run("opt -purge @abc9_holes");
-run("dump @abc9_holes");
run("aigmap");
run("wbflip @abc9_holes");
}