diff options
author | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 16:27:19 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-14 16:27:19 +0000 |
commit | 798f54c05376ec3b4ebbe8326d0a91eec807df3d (patch) | |
tree | 29274e92b775d280238ea15e0b46fb545b55b559 /bugs/vivado/1_minimal.v | |
parent | 809d342084e39432615945edac7662e6f9968b7f (diff) | |
download | verismith-798f54c05376ec3b4ebbe8326d0a91eec807df3d.tar.gz verismith-798f54c05376ec3b4ebbe8326d0a91eec807df3d.zip |
Add proper reports to bugs
Diffstat (limited to 'bugs/vivado/1_minimal.v')
-rw-r--r-- | bugs/vivado/1_minimal.v | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/bugs/vivado/1_minimal.v b/bugs/vivado/1_minimal.v deleted file mode 100644 index 59cec6c..0000000 --- a/bugs/vivado/1_minimal.v +++ /dev/null @@ -1,8 +0,0 @@ -(* 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 |