luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

synth: remove classic ABC mapping for LUTs

This commit is contained in:
Lofty 2026-08-10 15:48:53 +01:00
parent 1f72d02f39
commit 4cb0a5e2f2
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
techlibs/common/synth.cc
View File

@ -89,9 +89,6 @@ struct SynthPass : public ScriptPass {
log(" from label is synonymous to 'begin', and empty to label is\n"); log(" from label is synonymous to 'begin', and empty to label is\n");
log(" synonymous to the end of the command list.\n"); log(" synonymous to the end of the command list.\n");
log("\n"); log("\n");
log(" -abc9\n");
log(" use new ABC9 flow (EXPERIMENTAL)\n");
log("\n");
log(" -no-rw-check\n"); log(" -no-rw-check\n");
log(" marks all recognized read ports as \"return don't-care value on\n"); log(" marks all recognized read ports as \"return don't-care value on\n");
log(" read/write collision\" (same result as setting the no_rw_check\n"); log(" read/write collision\" (same result as setting the no_rw_check\n");
@ -174,6 +171,7 @@ struct SynthPass : public ScriptPass {
} }
if (args[argidx] == "-lut" && argidx + 1 < args.size()) { if (args[argidx] == "-lut" && argidx + 1 < args.size()) {
lut = atoi(args[++argidx].c_str()); lut = atoi(args[++argidx].c_str());
abc = "abc9";
continue; continue;
} }
if (args[argidx] == "-nofsm") { if (args[argidx] == "-nofsm") {
@ -209,7 +207,7 @@ struct SynthPass : public ScriptPass {
continue; continue;
} }
if (args[argidx] == "-abc9") { if (args[argidx] == "-abc9") {
abc = "abc9"; // Removed: ABC9 is the default if -lut.
continue; continue;
} }
if (args[argidx] == "-no-rw-check") { if (args[argidx] == "-no-rw-check") {
@ -236,9 +234,6 @@ struct SynthPass : public ScriptPass {
if (!design->full_selection()) if (!design->full_selection())
log_cmd_error("This command only operates on fully selected designs!\n"); log_cmd_error("This command only operates on fully selected designs!\n");
if (abc == "abc9" && !lut)
log_cmd_error("ABC9 flow only supported for FPGA synthesis (using '-lut' option)\n");
log_header(design, "Executing SYNTH pass.\n"); log_header(design, "Executing SYNTH pass.\n");
log_push(); log_push();