From 873bed63008e836ece5480c369b98022d043face Mon Sep 17 00:00:00 2001
From: Lofty <lofty@yosyshq.com>
Date: Mon, 10 Aug 2026 12:06:08 +0100
Subject: [PATCH] synth_achronix: remove classic ABC mapping

---
 techlibs/achronix/synth_achronix.cc | 12 +++---------
 1 file changed, 3 insertions(+), 9 deletions(-)

diff --git a/techlibs/achronix/synth_achronix.cc b/techlibs/achronix/synth_achronix.cc
index f8993de91..0569f4092 100644
--- a/techlibs/achronix/synth_achronix.cc
+++ b/techlibs/achronix/synth_achronix.cc
@@ -51,9 +51,6 @@ struct SynthAchronixPass : public ScriptPass {
     log("    -noflatten\n");
     log("        do not flatten design before synthesis\n");
     log("\n");
-    log("    -retime\n");
-    log("        run 'abc' with '-dff -D 1' options\n");
-    log("\n");
     log("\n");
     log("The following commands are executed by this synthesis command:\n");
     help_script();
@@ -61,13 +58,12 @@ struct SynthAchronixPass : public ScriptPass {
   }
 
   string top_opt, family_opt, vout_file;
-  bool retime, flatten;
+  bool flatten;
 
   void clear_flags() override
   {
     top_opt = "-auto-top";
     vout_file = "";
-    retime = false;
     flatten = true;
   }
 
@@ -100,7 +96,7 @@ struct SynthAchronixPass : public ScriptPass {
           continue;
         }
         if (args[argidx] == "-retime") {
-          retime = true;
+          // Removed: ABC9 does not support retiming.
           continue;
         }
         break;
@@ -151,13 +147,11 @@ struct SynthAchronixPass : public ScriptPass {
         run("clean -purge");
         run("setundef -undriven -zero");
         run("dfflegalize -cell $_DFF_P_ x");
-        if (retime || help_mode)
-          run("abc -markgroups -dff -D 1", "(only if -retime)");
       }
 
     if (check_label("map_luts"))
       {
-        run("abc -lut 4" + string(retime ? " -dff -D 1" : ""));
+        run("abc9 -lut 4");
         run("clean");
       }