mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Add support for synth_xilinx -abc9 and ignore abc9 -dress opt

Browse source
This commit is contained in:
Eddie Hung 2019-04-09 10:06:44 -07:00
parent 12c34136ba
commit 3fc474aa73
2 changed files with 14 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
passes/techmap/abc9.cc
View file

@ -1237,6 +1237,11 @@ struct Abc9Pass : public Pass {
map_mux16 = true;
continue;
}
if (arg == "-dress") {
// TODO
abc_dress = true;
continue;
}
if (arg == "-g" && argidx+1 < args.size()) {
for (auto g : split_tokens(args[++argidx], ",")) {
vector<string> gate_list;

10
techlibs/xilinx/synth_xilinx.cc
View file

@ -80,6 +80,9 @@ struct SynthXilinxPass : public Pass
log(" -retime\n");
log(" run 'abc' with -dff option\n");
log("\n");
log(" -abc9\n");
log(" use abc9 instead of abc\n");
log("\n");
log("\n");
log("The following commands are executed by this synthesis command:\n");
log("\n");
@ -142,6 +145,7 @@ struct SynthXilinxPass : public Pass
std::string edif_file;
std::string blif_file;
std::string run_from, run_to;
std::string abc = "abc";
bool flatten = false;
bool retime = false;
bool vpr = false;
@ -191,6 +195,10 @@ struct SynthXilinxPass : public Pass
nodram = true;
continue;
}
if (args[argidx] == "-abc9") {
abc = "abc9";
continue;
}
break;
}
extra_args(args, argidx, design);
@ -267,7 +275,7 @@ struct SynthXilinxPass : public Pass
if (check_label(active, run_from, run_to, "map_luts"))
{
Pass::call(design, "abc -luts 2:2,3,6:5,10,20" + string(retime ? " -dff" : ""));
Pass::call(design, abc + " -luts 2:2,3,6:5,10,20" + string(retime ? " -dff" : ""));
Pass::call(design, "clean");
Pass::call(design, "techmap -map +/xilinx/lut_map.v");
}