mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

cleanup

Browse source
This commit is contained in:
Eddie Hung 2020-01-11 17:28:24 -08:00
parent 7fa1b61aed
commit 295e241c07
2 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
backends/aiger/xaiger.cc
View file

@ -93,7 +93,6 @@ struct XAigerWriter
dict<SigBit, int> ordered_outputs; dict<SigBit, int> ordered_outputs;
vector<Cell*> box_list; vector<Cell*> box_list;
dict<IdString, std::vector<IdString>> box_ports;
int mkgate(int a0, int a1) 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)); //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) { for (auto cell : box_list) {
log_assert(cell); log_assert(cell);

2
passes/techmap/abc9.cc
View file

@ -182,12 +182,10 @@ struct Abc9Pass : public ScriptPass
run("abc9_ops -break_scc -prep_holes" + std::string(dff_mode ? " -dff" : ""), "(option for -dff)"); run("abc9_ops -break_scc -prep_holes" + std::string(dff_mode ? " -dff" : ""), "(option for -dff)");
run("select -set abc9_holes A:abc9_holes"); run("select -set abc9_holes A:abc9_holes");
run("flatten -wb @abc9_holes"); run("flatten -wb @abc9_holes");
run("dump @abc9_holes");
run("techmap @abc9_holes"); run("techmap @abc9_holes");
if (dff_mode || help_mode) if (dff_mode || help_mode)
run("abc9_ops -prep_dff", "(only if -dff)"); run("abc9_ops -prep_dff", "(only if -dff)");
run("opt -purge @abc9_holes"); run("opt -purge @abc9_holes");
run("dump @abc9_holes");
run("aigmap"); run("aigmap");
run("wbflip @abc9_holes"); run("wbflip @abc9_holes");
} }