Added tests/vloghtb

diff --git a/tests/vloghtb/.gitignore b/tests/vloghtb/.gitignore
new file mode 100644 (file)
index 0000000..da1ffa4
--- /dev/null
+++ b/tests/vloghtb/.gitignore
@@ -0,0 +1,7 @@
+Makefile
+refdat
+rtl
+scripts
+spec
+check_yosys
+vloghammer_tb.tar.bz2

diff --git a/tests/vloghtb/run-test.sh b/tests/vloghtb/run-test.sh
new file mode 100755 (executable)
index 0000000..9bef445
--- /dev/null
+++ b/tests/vloghtb/run-test.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+set -ex
+
+rm -rf Makefile refdat rtl scripts spec vloghammer_tb.tar.bz2
+wget http://www.clifford.at/yosys/nogit/vloghammer_tb.tar.bz2
+tar --strip=1 -xjf vloghammer_tb.tar.bz2
+
+make clean
+make -j4 YOSYS_BIN=$PWD/../../yosys YOSYS_SCRIPT="proc;;" check_yosys
+