virtex7: CLB fuzzers CLBN 600->200 + disable 2017.2 version gate

The xc7vx485t fuzzing ROI is smaller than the artix7 default, so a
600-CLB design does not place; drop the request to 200 (still well
above what segmaker needs). Disable the hard Vivado-2017.2 version
gate in 015/016 generate.sh the same way the other v7 fuzzers do
(2020.1 is required for this part).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
Dr Jonathan Richard Robert Kimmitt 2026-06-17 15:24:18 +01:00
parent 21c5533873
commit b93b22dec0
6 changed files with 6 additions and 6 deletions

View File

@ -18,7 +18,7 @@ from prims import *
# INCREMENT is the amount of additional CLBN to be instantiated in the design.
# This makes the fuzzer compilation more robust against failures.
INCREMENT = os.getenv('CLBN', 0)
CLBN = 600 + int(INCREMENT)
CLBN = 200 + int(INCREMENT)
print('//Requested CLBs: %s' % str(CLBN))
f = open("top.txt", "w")

View File

@ -18,7 +18,7 @@ from prjxray import verilog
# INCREMENT is the amount of additional CLBN to be instantiated in the design.
# This makes the fuzzer compilation more robust against failures.
INCREMENT = os.getenv('CLBN', 0)
CLBN = 600 + int(INCREMENT)
CLBN = 200 + int(INCREMENT)
print('//Requested CLBs: %s' % str(CLBN))

View File

@ -8,6 +8,6 @@
# SPDX-License-Identifier: ISC
set -ex
if [ $(${XRAY_VIVADO} -h |grep Vivado |cut -d\ -f 2) != "v2017.2" ] ; then echo "FIXME: requires Vivado 2017.2. See https://github.com/SymbiFlow/prjxray/issues/14"; exit 1; fi
# (v7: gate disabled, 2020.1 required) if [ $(${XRAY_VIVADO} -h |grep Vivado |cut -d\ -f 2) != "v2017.2" ] ; then echo "FIXME: requires Vivado 2017.2. See https://github.com/SymbiFlow/prjxray/issues/14"; exit 1; fi
source ${XRAY_DIR}/utils/top_generate.sh

View File

@ -16,7 +16,7 @@ from prjxray import verilog
# INCREMENT is the amount of additional CLBN to be instantiated in the design.
# This makes the fuzzer compilation more robust against failures.
INCREMENT = os.getenv('CLBN', 0)
CLBN = 600 + int(INCREMENT)
CLBN = 200 + int(INCREMENT)
print('//Requested CLBs: %s' % str(CLBN))

View File

@ -8,6 +8,6 @@
# SPDX-License-Identifier: ISC
set -ex
if [ $(${XRAY_VIVADO} -h |grep Vivado |cut -d\ -f 2) != "v2017.2" ] ; then echo "FIXME: requires Vivado 2017.2. See https://github.com/SymbiFlow/prjxray/issues/14"; exit 1; fi
# (v7: gate disabled, 2020.1 required) if [ $(${XRAY_VIVADO} -h |grep Vivado |cut -d\ -f 2) != "v2017.2" ] ; then echo "FIXME: requires Vivado 2017.2. See https://github.com/SymbiFlow/prjxray/issues/14"; exit 1; fi
source ${XRAY_DIR}/utils/top_generate.sh

View File

@ -16,7 +16,7 @@ from prjxray import verilog
# INCREMENT is the amount of additional CLBN to be instantiated in the design.
# This makes the fuzzer compilation more robust against failures.
INCREMENT = os.getenv('CLBN', 0)
CLBN = 600 + int(INCREMENT)
CLBN = 200 + int(INCREMENT)
print('//Requested CLBs: %s' % str(CLBN))