Merge pull request #556 from antmicro/mglb/symbiflow-fixes

Symbiflow toolchain support: fix part name and clock frequency

litex/boards/targets/arty.py

@@ -72,6 +72,9 @@ class BaseSoC(SoCCore):
         platform = arty.Platform(toolchain=toolchain)
 
         # SoCCore ----------------------------------------------------------------------------------
+        if toolchain == "symbiflow":
+            sys_clk_freq=int(60e6)
+
         SoCCore.__init__(self, platform, clk_freq=sys_clk_freq, **kwargs)
 
         # CRG --------------------------------------------------------------------------------------

litex/build/xilinx/symbiflow.py

@@ -112,6 +112,7 @@ class SymbiflowToolchain:
         self.false_paths = set()
         self.symbiflow_device = None
         self.bitstream_device = None
+        self._partname = None
 
     def _check_properties(self, platform):
         if not self.symbiflow_device:
@@ -129,6 +130,10 @@ class SymbiflowToolchain:
                 }[platform.device[:4]]
             except KeyError:
                 raise ValueError(f"Unsupported device: {platform.device}")
+        # FIXME: prjxray-db doesn't have xc7a35ticsg324-1L - use closest replacement
+        self._partname = {
+            "xc7a35ticsg324-1L" : "xc7a35tcsg324-1",
+        }.get(platform.device, platform.device)
 
     def _generate_makefile(self, platform, build_name):
         Var = _MakefileGenerator.Var
@@ -137,7 +142,7 @@ class SymbiflowToolchain:
         makefile = _MakefileGenerator([
             "# Autogenerated by LiteX / git: " + tools.get_litex_git_revision() + "\n",
             Var("TOP", build_name),
-            Var("PARTNAME", platform.device),
+            Var("PARTNAME", self._partname),
             Var("DEVICE", self.symbiflow_device),
             Var("BITSTREAM_DEVICE", self.bitstream_device),
             "",