aboutsummaryrefslogtreecommitdiffstats
path: root/tests/simple/vloghammer.v
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-07-07 16:49:30 +0200
committerClifford Wolf <clifford@clifford.at>2013-07-07 16:49:30 +0200
commite8da3ea7b647f2c1eeba8a84590df7b05ca4e046 (patch)
tree61d47e86a00eedaa597129a8d161b69832e5d1d0 /tests/simple/vloghammer.v
parenteff68560a2914791c8d0377edb5922fd5077f4f3 (diff)
downloadyosys-e8da3ea7b647f2c1eeba8a84590df7b05ca4e046.tar.gz
yosys-e8da3ea7b647f2c1eeba8a84590df7b05ca4e046.tar.bz2
yosys-e8da3ea7b647f2c1eeba8a84590df7b05ca4e046.zip
Fixed another bug found using vloghammer
Diffstat (limited to 'tests/simple/vloghammer.v')
-rw-r--r--tests/simple/vloghammer.v10
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/simple/vloghammer.v b/tests/simple/vloghammer.v
new file mode 100644
index 000000000..a0cde043a
--- /dev/null
+++ b/tests/simple/vloghammer.v
@@ -0,0 +1,10 @@
+
+// test cases found using vloghammer
+// https://github.com/cliffordwolf/VlogHammer
+
+module test01(a, y);
+ input [7:0] a;
+ output [3:0] y;
+ assign y = ~a >> 4;
+endmodule
+