4 seed
="" # default to no seed specified
8 S
) arg
="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space
14 # check for Icarus Verilog
15 if ! command -v iverilog
> /dev
/null
; then
16 echo "$0: Error: Icarus Verilog 'iverilog' not found."
23 exec ${MAKE:-make} -f ..
/tools
/autotest.mk
$seed *.v
*.sv EXTRA_FLAGS
="-n 300 -p '\
28 abc9 -lut 4 -box ../abc.box; \
31 select -assert-none t:${DOLLAR}_NOT_ t:${DOLLAR}_AND_ %%; \
32 setattr -mod -unset whitebox'"