aboutsummaryrefslogtreecommitdiffstats
path: root/tests/tools
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-14 11:46:13 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-14 11:46:13 +0100
commit0ac915a757a10f50fd74e18365cbcf351885c162 (patch)
treef7b872f3125af4cf4c7ae1f732094452233dc041 /tests/tools
parent77e5968323e76dd8f5dec431cadd95c69d77dc94 (diff)
downloadyosys-0ac915a757a10f50fd74e18365cbcf351885c162.tar.gz
yosys-0ac915a757a10f50fd74e18365cbcf351885c162.tar.bz2
yosys-0ac915a757a10f50fd74e18365cbcf351885c162.zip
Progress in Verific bindings
Diffstat (limited to 'tests/tools')
-rwxr-xr-xtests/tools/autotest.sh14
1 files changed, 9 insertions, 5 deletions
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh
index 0e6c357c7..fafd044d8 100755
--- a/tests/tools/autotest.sh
+++ b/tests/tools/autotest.sh
@@ -101,7 +101,7 @@ do
test_count=0
test_passes() {
- "$toolsdir"/../../yosys -b "verilog $backend_opts" "$@" -o ${bn}_syn${test_count}.v $fn $scriptfiles
+ "$toolsdir"/../../yosys -b "verilog $backend_opts" -o ${bn}_syn${test_count}.v "$@"
compile_and_run ${bn}_tb_syn${test_count} ${bn}_out_syn${test_count} \
${bn}_tb.v ${bn}_syn${test_count}.v $libs \
"$toolsdir"/../../techlibs/common/simlib.v \
@@ -112,12 +112,16 @@ do
}
if [ -n "$scriptfiles" ]; then
- test_passes
+ test_passes $fn $scriptfiles
elif [ -n "$scriptopt" ]; then
- test_passes -f "$frontend" -p "$scriptopt"
+ test_passes -f "$frontend" -p "$scriptopt" $fn
+ elif [ "$frontend" = "verific" ]; then
+ test_passes -p "verific -vlog2k $fn; verific -import -all; opt; memory;;"
+ elif [ "$frontend" = "verific_gates" ]; then
+ test_passes -p "verific -vlog2k $fn; verific -import -gates -all; opt; memory;;"
else
- test_passes -f "$frontend" -p "hierarchy; proc; opt; memory; opt; fsm; opt"
- test_passes -f "$frontend" -p "hierarchy; proc; opt; memory; opt; fsm; opt; techmap; opt; abc -dff; opt"
+ test_passes -f "$frontend" -p "hierarchy; proc; opt; memory; opt; fsm; opt" $fn
+ test_passes -f "$frontend" -p "hierarchy; proc; opt; memory; opt; fsm; opt; techmap; opt; abc -dff; opt" $fn
fi
touch ../${bn}.log
}