diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-19 12:32:40 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-19 12:32:40 -0800 |
| commit | 2a8e5bf9535a25bba9c9c11fc7e40d5a08958d4c (patch) | |
| tree | 11fe86a3d1c5cd988593782125fc06cd26a98294 /tests/simple_defparam/run-test.sh | |
| parent | e45f62b0c56717a23099425f078d1e56212aa632 (diff) | |
| parent | 11480b4fa3ba031541e22b52d9ccd658a3e52ff1 (diff) | |
| download | yosys-2a8e5bf9535a25bba9c9c11fc7e40d5a08958d4c.tar.gz yosys-2a8e5bf9535a25bba9c9c11fc7e40d5a08958d4c.tar.bz2 yosys-2a8e5bf9535a25bba9c9c11fc7e40d5a08958d4c.zip | |
Merge pull request #805 from eddiehung/dff_init
write_verilog to write initial statement for initial flop state
Diffstat (limited to 'tests/simple_defparam/run-test.sh')
| -rwxr-xr-x | tests/simple_defparam/run-test.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tests/simple_defparam/run-test.sh b/tests/simple_defparam/run-test.sh new file mode 100755 index 000000000..137e15076 --- /dev/null +++ b/tests/simple_defparam/run-test.sh @@ -0,0 +1,21 @@ +#!/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 ! which iverilog > /dev/null ; then + echo "$0: Error: Icarus Verilog 'iverilog' not found." + exit 1 +fi + +cp ../simple/*.v . +exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.v EXTRA_FLAGS="-B \"-defparam\"" |