tests/simple_abc9/run-test.sh

   1 #!/bin/bash
   2
   3 OPTIND=1
   4 seed=""    # default to no seed specified
   5 while getopts "S:" opt
   6 do
   7     case "$opt" in
   8         S) arg="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space
   9            seed="SEED=$arg" ;;
  10     esac
  11 done
  12 shift "$((OPTIND-1))"
  13
  14 # check for Icarus Verilog
  15 if ! which iverilog > /dev/null ; then
  16   echo "$0: Error: Icarus Verilog 'iverilog' not found."
  17   exit 1
  18 fi
  19
  20 cp ../simple/*.v .
  21 DOLLAR='?'
  22 exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.v EXTRA_FLAGS="-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_ %%'"