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 rm partsel.v # FIXME: Contains 1'hx, thus write_xaiger fails
  22 DOLLAR='?'
  23 exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.v EXTRA_FLAGS="-p 'hierarchy; synth -run coarse; techmap; opt -full; abc9 -lut 4; stat; check -assert; select -assert-none t:${DOLLAR}_NOT_ t:${DOLLAR}_AND_'"