| #!/bin/bash |
| set -e |
| |
| OPTIND=1 |
| count=100 |
| seed="" # default to no seed specified |
| while getopts "c:S:" opt |
| do |
| case "$opt" in |
| c) count="$OPTARG" ;; |
| S) seed="-S $OPTARG" ;; |
| esac |
| done |
| shift "$((OPTIND-1))" |
| |
| rm -rf temp |
| mkdir -p temp |
| echo "generating tests.." |
| python3 generate.py -c $count $seed |
| |
| cd temp |
| echo "running tests.." |
| for ((i = 0; i < $count; i++)); do |
| echo -n "[$i]" |
| idx=$( printf "%05d" $i ) |
| ../../../yosys -qq uut_${idx}.ys |
| iverilog -o uut_${idx}_tb uut_${idx}_tb.v uut_${idx}.v uut_${idx}_syn.v |
| ./uut_${idx}_tb | tee uut_${idx}.err |
| if test -s uut_${idx}.err; then |
| echo "Note: Make sure that 'iverilog' is an up-to-date git checkout of Icarus Verilog." |
| exit 1 |
| fi |
| rm -f uut_${idx}.err |
| done |
| echo |
| |
