| #!/bin/bash | |
| # 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 | |
| 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 |