diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-12 17:15:10 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-12 17:15:10 +0100 |
commit | 6bbb8ebdd5a95f00ec994c5df5152eab41e39d1c (patch) | |
tree | a090bd217fadd728c3378c9ac02a931dacdeb703 /bugs/vivado/1_minimal.v | |
parent | 186bb5f37770c150bd8e601e9761211af6a9c277 (diff) | |
download | verismith-6bbb8ebdd5a95f00ec994c5df5152eab41e39d1c.tar.gz verismith-6bbb8ebdd5a95f00ec994c5df5152eab41e39d1c.zip |
Add vivado bugs
Diffstat (limited to 'bugs/vivado/1_minimal.v')
-rw-r--r-- | bugs/vivado/1_minimal.v | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bugs/vivado/1_minimal.v b/bugs/vivado/1_minimal.v new file mode 100644 index 0000000..59cec6c --- /dev/null +++ b/bugs/vivado/1_minimal.v @@ -0,0 +1,8 @@ +(* use_dsp48="no" *) module top + (y, wire0); + output wire y; + input wire wire0; + wire [1:0] wire4; + assign wire4 = 1'b1; + assign y = (wire4 <<< 1'h1) && wire0; +endmodule |