diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-28 15:33:30 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-28 17:39:43 +0200 |
| commit | 4cf890dac121dc977fc4507168b48e47aecf5c46 (patch) | |
| tree | 35f53140121d1d2eb6e0412f994b31d8562b2a43 /tests/sva/runtest.sh | |
| parent | 5a828fff34ae8e0da7d887232daa516db1e37a21 (diff) | |
| download | yosys-4cf890dac121dc977fc4507168b48e47aecf5c46.tar.gz yosys-4cf890dac121dc977fc4507168b48e47aecf5c46.tar.bz2 yosys-4cf890dac121dc977fc4507168b48e47aecf5c46.zip | |
Add simple VHDL+PSL example
Diffstat (limited to 'tests/sva/runtest.sh')
| -rw-r--r-- | tests/sva/runtest.sh | 37 |
1 files changed, 24 insertions, 13 deletions
diff --git a/tests/sva/runtest.sh b/tests/sva/runtest.sh index 004a172ba..35c95a3e0 100644 --- a/tests/sva/runtest.sh +++ b/tests/sva/runtest.sh @@ -2,8 +2,10 @@ set -ex -prefix=${1%.sv} -test -f $prefix.sv +prefix=${1%.ok} +prefix=${prefix%.sv} +prefix=${prefix%.vhd} +test -f $prefix.sv -o -f $prefix.vhd generate_sby() { cat <<- EOT @@ -18,14 +20,16 @@ generate_sby() { [script] EOT - if [ "$1" = "fail" ]; then - echo "verific -sv ${prefix}_fail.sv" - else - echo "verific -sv $prefix.sv" + if [ -f $prefix.sv ]; then + if [ "$1" = "fail" ]; then + echo "verific -sv ${prefix}_fail.sv" + else + echo "verific -sv $prefix.sv" + fi fi if [ -f $prefix.vhd ]; then - echo "verific -vhdl2008 $prefix.vhd" + echo "verific -vhdpsl $prefix.vhd" fi cat <<- EOT @@ -33,9 +37,12 @@ generate_sby() { prep -top top [files] - $prefix.sv EOT + if [ -f $prefix.sv ]; then + echo "$prefix.sv" + fi + if [ -f $prefix.vhd ]; then echo "$prefix.vhd" fi @@ -50,11 +57,15 @@ generate_sby() { fi } -generate_sby pass > ${prefix}_pass.sby -generate_sby fail > ${prefix}_fail.sby - -sby --yosys $PWD/../../yosys -f ${prefix}_pass.sby -sby --yosys $PWD/../../yosys -f ${prefix}_fail.sby +if [ -f $prefix.sv ]; then + generate_sby pass > ${prefix}_pass.sby + generate_sby fail > ${prefix}_fail.sby + sby --yosys $PWD/../../yosys -f ${prefix}_pass.sby + sby --yosys $PWD/../../yosys -f ${prefix}_fail.sby +else + generate_sby pass > ${prefix}.sby + sby --yosys $PWD/../../yosys -f ${prefix}.sby +fi touch $prefix.ok |