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/2_minimal.v | |
parent | 809d342084e39432615945edac7662e6f9968b7f (diff) | |
download | verismith-798f54c05376ec3b4ebbe8326d0a91eec807df3d.tar.gz verismith-798f54c05376ec3b4ebbe8326d0a91eec807df3d.zip |
Add proper reports to bugs
Diffstat (limited to 'bugs/vivado/2_minimal.v')
-rw-r--r-- | bugs/vivado/2_minimal.v | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/bugs/vivado/2_minimal.v b/bugs/vivado/2_minimal.v deleted file mode 100644 index 227550e..0000000 --- a/bugs/vivado/2_minimal.v +++ /dev/null @@ -1,28 +0,0 @@ -(* use_dsp48="no" *) module top - (y, clk, wire0, wire1, wire2, wire3); - output wire [163:0] y; - input wire clk; - input wire signed [11:0] wire0; - input wire [13:0] wire1; - input wire signed [7:0] wire2; - input wire signed [3:0] wire3; - wire signed [12:0] wire19; - wire [6:0] wire18; - wire [4:0] wire17; - wire signed [12:0] wire16; - wire signed [19:0] wire15; - wire [7:0] wire14; - wire wire13; - wire [10:0] wire12; - wire signed [9:0] wire11; - wire signed [16:0] wire10; - reg [15:0] reg9; - reg signed [11:0] reg8; - wire [6:0] wire7; - wire signed [6:0] wire6; - wire [10:0] wire5; - wire [5:0] wire4; - assign wire13 = {wire0, $unsigned(((-17'hd) ? wire0 : (-18'he))), (((9'h8) ? (11'he) : reg8) <<< (~&(-8'h2))), ({reg9, wire1, (3'h12), (-5'hc)} | (&(-1'h12)))}; - assign wire17 = ((wire13 ? 1'b1 : ( 1'b1 ? (14'he) : wire0)) ? $unsigned($unsigned(((-2'h5)))) : $unsigned($unsigned((wire13 || wire2)))); - assign y = {wire17}; -endmodule |