#!/usr/bin/bash

TBLOGVCD_TCL=$1
TBMODULE=$2
SOURCES=${@:3}

echo "Preparing testbench module $TBMODULE"
echo "Reading verilog sources: $SOURCES"

xvlog $SOURCES
xelab -debug typical $TBMODULE

echo "Running simulation and generating dump.vcd"
xsim $TBMODULE --tclbatch $TBLOGVCD_TCL