| #!/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 ! command -v 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; \ | |
| check -assert; \ | |
| select -assert-none t:${DOLLAR}_NOT_ t:${DOLLAR}_AND_ %%'" |