From af928b26263ae9674a9290674e0cf1629a077522 Mon Sep 17 00:00:00 2001
From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Tue, 2 Jun 2020 12:15:38 +0200
Subject: [PATCH] xilinx/simbiflow: add simple symbiflow_device re-mapping.

---
 litex/build/xilinx/symbiflow.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/litex/build/xilinx/symbiflow.py b/litex/build/xilinx/symbiflow.py
index c8653b9ea..1eb89cdbc 100644
--- a/litex/build/xilinx/symbiflow.py
+++ b/litex/build/xilinx/symbiflow.py
@@ -163,7 +163,13 @@ class SymbiflowToolchain:
 
     def _check_properties(self, platform):
         if not self.symbiflow_device:
-            raise ValueError(f"symbiflow_device is not specified")
+            try:
+                self.symbiflow_device = {
+                    # FIXME: fine for now since only a few devices are supported, do more clever device re-mapping.
+                    "xc7a35ticsg324-1L" : "xc7a50t_test",
+                }[platform.device]
+            except KeyError:
+                raise ValueError(f"symbiflow_device is not specified")
         if not self.bitstream_device:
             try:
                 self.bitstream_device = {