diff options
author | Clifford Wolf <clifford@clifford.at> | 2013-07-07 16:49:30 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2013-07-07 16:49:30 +0200 |
commit | e8da3ea7b647f2c1eeba8a84590df7b05ca4e046 (patch) | |
tree | 61d47e86a00eedaa597129a8d161b69832e5d1d0 /tests/simple/vloghammer.v | |
parent | eff68560a2914791c8d0377edb5922fd5077f4f3 (diff) | |
download | yosys-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.v | 10 |
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 + |