diff --git a/minitests/partial_reconfig_flow/v2bit.sh b/minitests/partial_reconfig_flow/v2bit.sh new file mode 100755 index 00000000..c331cbf4 --- /dev/null +++ b/minitests/partial_reconfig_flow/v2bit.sh @@ -0,0 +1,39 @@ +set -ex + +fin=$1 +if [ -z "$fin" ] ; then + echo "need fin arg" + exit +fi +# fin=roi_blinky.v +prefix=$(echo $fin |sed "s/\.v//") +if [ "$fin" = "$prefix" ] ; then + echo "bad prefix" + exit +fi +echo "$fin => $prefix" + +make +mkdir -p $prefix + +vivado -mode batch -source /dev/stdin <hand_crafted.bit + +openocd -f openocd-basys3.cfg -c "init; pld load 0 hand_crafted.bit; exit" +