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

synth_quicklogic: remove classic ABC mapping

This commit is contained in:
Lofty 2026-08-10 11:52:22 +01:00
parent 6824ee065a
commit 8a01ff15f4
1 changed files with 8 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
techlibs/quicklogic/synth_quicklogic.cc
View File

@ -68,10 +68,6 @@ struct SynthQuickLogicPass : public ScriptPass {
log(" write the design to the specified verilog file. writing of an output\n"); log(" write the design to the specified verilog file. writing of an output\n");
log(" file is omitted if this parameter is not specified.\n"); log(" file is omitted if this parameter is not specified.\n");
log("\n"); log("\n");
log(" -abc\n");
log(" use old ABC flow, which has generally worse mapping results but is less\n");
log(" likely to have bugs.\n");
log("\n");
log(" -latches <info|warn|error>\n"); log(" -latches <info|warn|error>\n");
log(" select the behaviour for latches that cannot be mapped to a\n"); log(" select the behaviour for latches that cannot be mapped to a\n");
log(" dedicated hardware primitive and are implemented using LUTs\n"); log(" dedicated hardware primitive and are implemented using LUTs\n");
@ -85,7 +81,7 @@ struct SynthQuickLogicPass : public ScriptPass {
} }
string top_opt, blif_file, edif_file, family, currmodule, verilog_file, lib_path, latches; string top_opt, blif_file, edif_file, family, currmodule, verilog_file, lib_path, latches;
bool abc9, inferAdder, nobram, bramTypes, dsp, ioff, flatten; bool inferAdder, nobram, bramTypes, dsp, ioff, flatten;
void clear_flags() override void clear_flags() override
{ {
@ -95,7 +91,6 @@ struct SynthQuickLogicPass : public ScriptPass {
verilog_file = ""; verilog_file = "";
currmodule = ""; currmodule = "";
family = "pp3"; family = "pp3";
abc9 = true;
inferAdder = true; inferAdder = true;
nobram = false; nobram = false;
bramTypes = false; bramTypes = false;
@ -149,7 +144,7 @@ struct SynthQuickLogicPass : public ScriptPass {
continue; continue;
} }
if (args[argidx] == "-abc") { if (args[argidx] == "-abc") {
abc9 = false; // Removed: ABC9 is the default.
continue; continue;
} }
if (args[argidx] == "-nocarry" || args[argidx] == "-no_adder") { if (args[argidx] == "-nocarry" || args[argidx] == "-no_adder") {
@ -193,7 +188,7 @@ struct SynthQuickLogicPass : public ScriptPass {
if (latches != "info" && latches != "warn" && latches != "error") if (latches != "info" && latches != "warn" && latches != "error")
log_cmd_error("Invalid value '%s' for -latches (expected info, warn or error)\n", latches.c_str()); log_cmd_error("Invalid value '%s' for -latches (expected info, warn or error)\n", latches.c_str());
if (abc9 && design->scratchpad_get_int("abc9.D", 0) == 0) { if (design->scratchpad_get_int("abc9.D", 0) == 0) {
log_warning("delay target has not been set via SDC or scratchpad; assuming 12 MHz clock.\n"); log_warning("delay target has not been set via SDC or scratchpad; assuming 12 MHz clock.\n");
design->scratchpad_set_int("abc9.D", 41667); // 12MHz = 83.33.. ns; divided by two to allow for interconnect delay. design->scratchpad_set_int("abc9.D", 41667); // 12MHz = 83.33.. ns; divided by two to allow for interconnect delay.
} }
@ -333,23 +328,15 @@ struct SynthQuickLogicPass : public ScriptPass {
if (latches == "error" || help_mode) if (latches == "error" || help_mode)
run("check -latchonly -assert", "(only if -latches error, the default)"); run("check -latchonly -assert", "(only if -latches error, the default)");
run("techmap -map " + lib_path + family + "/latches_map.v"); run("techmap -map " + lib_path + family + "/latches_map.v");
if (abc9) { run("read_verilog -lib -specify -icells " + lib_path + family + "/abc9_model.v");
run("read_verilog -lib -specify -icells " + lib_path + family + "/abc9_model.v"); run("techmap -map " + lib_path + family + "/abc9_map.v");
run("techmap -map " + lib_path + family + "/abc9_map.v"); run("abc9 -maxlut 4 -dff");
run("abc9 -maxlut 4 -dff"); run("techmap -map " + lib_path + family + "/abc9_unmap.v");
run("techmap -map " + lib_path + family + "/abc9_unmap.v");
} else {
run("abc -luts 1,2,2,4 -dress");
}
run("clean"); run("clean");
} }
if (check_label("map_luts", "(for qlf_k6n10f)") && (help_mode || family == "qlf_k6n10f")) { if (check_label("map_luts", "(for qlf_k6n10f)") && (help_mode || family == "qlf_k6n10f")) {
if (abc9) { run("abc9 -maxlut 6");
run("abc9 -maxlut 6");
} else {
run("abc -lut 6 -dress");
}
run("clean"); run("clean");
run("opt_lut"); run("opt_lut");
} }