3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00

Improvements in tests/vloghtb

This commit is contained in:
Clifford Wolf 2014-07-28 09:15:40 +02:00
parent 8b0f50792c
commit c469be883b
2 changed files with 17 additions and 11 deletions

View file

@ -11,27 +11,28 @@ log_fail()
test_autotest() test_autotest()
{ {
# Usage: # Usage:
# test_autotest <test_name> <mod_name> <vlog_file> <autotest_cmd_line_options> # test_autotest <test_name> <synth_script> <mod_name> <vlog_file>
test_name="$1" test_name="$1"
mod_name="$2" synth_cmd="$2"
vlog_file="$3" mod_name="$3"
shift 3 vlog_file="$4"
mkdir -p log_test_$test_name mkdir -p log_test_$test_name
rm -rf log_test_$test_name/$mod_name.* rm -rf log_test_$test_name/$mod_name.*
cp $vlog_file log_test_$test_name/$mod_name.v ../../yosys -q -l log_test_$test_name/$mod_name.out -o log_test_$test_name/$mod_name.v -p "$synth_cmd" "$vlog_file"
cat spec/${mod_name}_spec.v scripts/check.v >> log_test_$test_name/$mod_name.v
iverilog -o log_test_$test_name/$mod_name.bin -D"REFDAT_FN=\"refdat/${mod_name}_refdat.txt\"" log_test_$test_name/$mod_name.v
cd log_test_$test_name if log_test_$test_name/$mod_name.bin 2>&1 | tee -a log_test_$test_name/$mod_name.out | grep -q '++OK++'; then
if bash ../../tools/autotest.sh "$@" $mod_name.v > /dev/null 2>&1; then mv log_test_$test_name/$mod_name.out log_test_$test_name/$mod_name.txt
mv $mod_name.out $mod_name.txt
log_pass test_$test_name $mod_name log_pass test_$test_name $mod_name
else else
mv log_test_$test_name/$mod_name.out log_test_$test_name/$mod_name.err
log_fail test_$test_name $mod_name log_fail test_$test_name $mod_name
exit 1
fi fi
cd ..
} }
test_equiv() test_equiv()

View file

@ -6,7 +6,12 @@ source common.sh
f=$1 f=$1
n=$(basename ${f%.v}) n=$(basename ${f%.v})
mkdir -p log_test_mapopt
rm -f log_test_mapopt/$n.*
test_equiv mapopt_1 "opt -fine; techmap; opt" "-set-def-inputs" $n $f test_equiv mapopt_1 "opt -fine; techmap; opt" "-set-def-inputs" $n $f
test_autotest mapopt_2 $n $f -p "opt; techmap -extern; opt" test_autotest mapopt_2 "proc; opt; techmap; opt" $n $f
tail -n20 log_test_mapopt_1/$n.txt log_test_mapopt_2/$n.txt > log_test_mapopt/$n.txt
exit 0 exit 0