| #!/bin/bash |
| |
| OPTIND=1 |
| seed="" # default to no seed specified |
| while getopts "S:" opt |
| do |
| case "$opt" in |
| S) arg="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space |
| seed="SEED=$arg" ;; |
| esac |
| done |
| shift "$((OPTIND-1))" |
| |
| # check for Icarus Verilog |
| if ! which iverilog > /dev/null ; then |
| echo "$0: Error: Icarus Verilog 'iverilog' not found." |
| exit 1 |
| fi |
| |
| cp ../simple/*.v . |
| cp ../simple/*.sv . |
| DOLLAR='?' |
| exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.v EXTRA_FLAGS="-n 300 -p 'hierarchy; synth -run coarse; opt -full; techmap; abc9 -lut 4 -box ../abc.box; stat; check -assert; select -assert-none t:${DOLLAR}_NOT_ t:${DOLLAR}_AND_ %%'" |
