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

synth_sf2: remove classic ABC mapping

This commit is contained in:
Lofty 2026-08-10 11:59:06 +01:00
parent 8a01ff15f4
commit 63fbb31921
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
techlibs/sf2/synth_sf2.cc
View File

@ -69,9 +69,6 @@ struct SynthSf2Pass : public ScriptPass
log(" -discard-ffinit\n"); log(" -discard-ffinit\n");
log(" discard FF init value instead of emitting an error\n"); log(" discard FF init value instead of emitting an error\n");
log("\n"); log("\n");
log(" -retime\n");
log(" run 'abc' with '-dff -D 1' options\n");
log("\n");
log("\n"); log("\n");
log("The following commands are executed by this synthesis command:\n"); log("The following commands are executed by this synthesis command:\n");
help_script(); help_script();
@ -88,7 +85,6 @@ struct SynthSf2Pass : public ScriptPass
vlog_file = ""; vlog_file = "";
json_file = ""; json_file = "";
flatten = true; flatten = true;
retime = false;
iobs = true; iobs = true;
clkbuf = false; clkbuf = false;
discard_ffinit = false; discard_ffinit = false;
@ -131,7 +127,7 @@ struct SynthSf2Pass : public ScriptPass
continue; continue;
} }
if (args[argidx] == "-retime") { if (args[argidx] == "-retime") {
retime = true; // Removed: ABC9 does not support retiming.
continue; continue;
} }
if (args[argidx] == "-noiobs") { if (args[argidx] == "-noiobs") {
@ -192,8 +188,6 @@ struct SynthSf2Pass : public ScriptPass
run("opt -undriven -fine"); run("opt -undriven -fine");
run("techmap -map +/techmap.v -map +/sf2/arith_map.v"); run("techmap -map +/techmap.v -map +/sf2/arith_map.v");
run("opt -fast"); run("opt -fast");
if (retime || help_mode)
run("abc -dff -D 1", "(only if -retime)");
} }
if (check_label("map_ffs")) if (check_label("map_ffs"))
@ -209,7 +203,7 @@ struct SynthSf2Pass : public ScriptPass
if (check_label("map_luts")) if (check_label("map_luts"))
{ {
run("abc -lut 4"); run("abc9 -lut 4");
run("clean"); run("clean");
} }