From 76e57414c3b7a5e5c50803d6b9078c0ab46ff1aa Mon Sep 17 00:00:00 2001
From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Tue, 17 Dec 2019 09:47:12 +0100
Subject: [PATCH] platforms/minispartan6: add assert on available devices

---
 litex/boards/platforms/minispartan6.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/litex/boards/platforms/minispartan6.py b/litex/boards/platforms/minispartan6.py
index f8538ca2d..13a4cc532 100644
--- a/litex/boards/platforms/minispartan6.py
+++ b/litex/boards/platforms/minispartan6.py
@@ -118,6 +118,7 @@ class Platform(XilinxPlatform):
     default_clk_period = 1e9/32e6
 
     def __init__(self, device="xc6slx25"):
+        assert device in ["xc6slx9", "xc6slx25"]
         XilinxPlatform.__init__(self, device+"-3-ftg256", _io, _connectors)
 
     def create_programmer(self):