diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-27 12:53:23 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-27 12:53:23 -0700 |
| commit | 9a371cfba925d247c63d5c33d50d272adf8356cc (patch) | |
| tree | 007f2b99d6bf78cf9b1cc2c18f564b451a22f93e | |
| parent | 440f173aef421f30c6ce63822532dbb8a1b231af (diff) | |
| parent | c4c39e98146b6837c35c425ef7987b2be45c0451 (diff) | |
| download | yosys-9a371cfba925d247c63d5c33d50d272adf8356cc.tar.gz yosys-9a371cfba925d247c63d5c33d50d272adf8356cc.tar.bz2 yosys-9a371cfba925d247c63d5c33d50d272adf8356cc.zip | |
Merge remote-tracking branch 'origin/master' into xaig
| -rw-r--r-- | Makefile | 1 | ||||
| -rwxr-xr-x | tests/arch/run-test.sh | 18 |
2 files changed, 19 insertions, 0 deletions
@@ -681,6 +681,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/svinterfaces && bash run-test.sh $(SEEDOPT) +cd tests/opt && bash run-test.sh +cd tests/aiger && bash run-test.sh + +cd tests/arch && bash run-test.sh +cd tests/simple_abc9 && bash run-test.sh $(SEEDOPT) @echo "" @echo " Passed \"make test\"." diff --git a/tests/arch/run-test.sh b/tests/arch/run-test.sh new file mode 100755 index 000000000..5292d1615 --- /dev/null +++ b/tests/arch/run-test.sh @@ -0,0 +1,18 @@ +#!/bin/bash + +set -e + +echo "Running syntax check on arch sim models" +for arch in ../../techlibs/*; do + find $arch -name cells_sim.v | while read path; do + echo -n "Test $path ->" + iverilog -t null -I$arch $path + echo " ok" + done +done + +for path in "../../techlibs/common/simcells.v" "../../techlibs/common/simlib.v"; do + echo -n "Test $path ->" + iverilog -t null $path + echo " ok" +done |