build/xilinx/symbiflow: fix bitstream_device select
Signed-off-by: Jan Kowalewski <jkowalewski@antmicro.com>
This commit is contained in:
parent
92f4cd1423
commit
ad760d491c
|
@ -116,11 +116,11 @@ class SymbiflowToolchain:
|
||||||
raise ValueError(f"symbiflow_device is not specified")
|
raise ValueError(f"symbiflow_device is not specified")
|
||||||
if not self.bitstream_device:
|
if not self.bitstream_device:
|
||||||
try:
|
try:
|
||||||
arch = re.match('xc7a[0-9]*t', platform.device).group(0)
|
# bitstream_device points to a directory in prjxray database
|
||||||
|
# available bitstream_devices: artix7, kintex7, zynq7
|
||||||
self.bitstream_device = {
|
self.bitstream_device = {
|
||||||
"xc7a35t": "artix7",
|
"xc7a": "artix7", # xc7a35t, xc7a50t, xc7a100t, xc7a200t
|
||||||
"xc7a200t": "artix7_200t"
|
}[platform.device[:4]]
|
||||||
}[arch]
|
|
||||||
except KeyError:
|
except KeyError:
|
||||||
raise ValueError(f"Unsupported device: {platform.device}")
|
raise ValueError(f"Unsupported device: {platform.device}")
|
||||||
# FIXME: prjxray-db doesn't have xc7a35ticsg324-1L - use closest replacement
|
# FIXME: prjxray-db doesn't have xc7a35ticsg324-1L - use closest replacement
|
||||||
|
|
Loading…
Reference in New Issue