Enabled kintex7 in pip fuzzers generate.py

Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2017-12-22 23:26:16 +01:00
parent 8a34bc3c07
commit 9556bcb314
3 changed files with 3 additions and 3 deletions

View File

@ -59,7 +59,7 @@ for tile, pips_srcs_dsts in tiledata.items():
segmk.addtag(tile, "%s.%s" % (dst, src), 0)
def bitfilter(frame_idx, bit_idx):
assert os.getenv("XRAY_DATABASE") == "artix7"
assert os.getenv("XRAY_DATABASE") in ["artix7", "kintex7"]
if frame_idx == 0 and bit_idx == 48:
return False
if frame_idx == 1 and bit_idx == 31:

View File

@ -59,7 +59,7 @@ for tile, pips_srcs_dsts in tiledata.items():
segmk.addtag(tile, "%s.%s" % (dst, src), 0)
def bitfilter(frame_idx, bit_idx):
assert os.getenv("XRAY_DATABASE") == "artix7"
assert os.getenv("XRAY_DATABASE") in ["artix7", "kintex7"]
if (frame_idx, bit_idx) in [(0, 48), (1, 31), (0, 32), (1, 35)]:
return False
return frame_idx in [0, 1]

View File

@ -41,7 +41,7 @@ for tile, pips_nodes in tiledata.items():
segmk.addtag(tile, "%s.%s" % (dst, src), 0)
def bitfilter(frame_idx, bit_idx):
assert os.getenv("XRAY_DATABASE") == "artix7"
assert os.getenv("XRAY_DATABASE") in ["artix7", "kintex7"]
return frame_idx in [0, 1]
segmk.compile(bitfilter=bitfilter)