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 ! command -v iverilog > /dev/null ; then
  16   echo "$0: Error: Icarus Verilog 'iverilog' not found."
  17   exit 1
  18 fi
  19
  20 cp ../simple/*.v .
  21 cp ../simple/*.sv .
  22 DOLLAR='?'
  23 exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.v *.sv EXTRA_FLAGS="-n 300 -p '\
  24     hierarchy; \
  25     synth -run coarse; \
  26     opt -full; \
  27     techmap; \
  28     abc9 -lut 4; \
  29     clean; \
  30     check -assert; \
  31     select -assert-none t:${DOLLAR}_NOT_ t:${DOLLAR}_AND_ %%; \
  32     setattr -mod -unset blackbox'"