2019-08-30 16:51:10 +02:00
|
|
|
#!/bin/bash
|
2020-05-27 15:38:32 +02:00
|
|
|
# Copyright (C) 2017-2020 The Project X-Ray Authors.
|
|
|
|
|
#
|
|
|
|
|
# Use of this source code is governed by a ISC-style
|
|
|
|
|
# license that can be found in the LICENSE file or at
|
|
|
|
|
# https://opensource.org/licenses/ISC
|
|
|
|
|
#
|
|
|
|
|
# SPDX-License-Identifier: ISC
|
2019-08-30 16:51:10 +02:00
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
# Check args
|
|
|
|
|
if [ "$#" -ne 1 ]; then
|
|
|
|
|
echo "Usage: run_vivado.sh <testbench file>"
|
|
|
|
|
exit -1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# Check if testbench exists
|
|
|
|
|
if [ ! -f $1 ]; then
|
|
|
|
|
echo "Testbench $1 not found!"
|
|
|
|
|
exit -1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# Run Vivado
|
|
|
|
|
TESTBENCH_TITLE=$(basename $1 .v) ${XRAY_VIVADO} -mode batch -source sim.tcl -nojournal -verbose -log vivado.log
|