diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 12:27:18 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-03 12:27:18 +0000 |
commit | acb51296f6fc5d7ec5ff91feace09c9f1d0a1fbc (patch) | |
tree | 7d39feb43cf6a5eadfff5fd075a435da93387e43 /bugs/minimal_4.v | |
parent | 5c6ffb3bb6801ca50608700213385e13dae4ef97 (diff) | |
download | verismith-acb51296f6fc5d7ec5ff91feace09c9f1d0a1fbc.tar.gz verismith-acb51296f6fc5d7ec5ff91feace09c9f1d0a1fbc.zip |
Add found bugs
Diffstat (limited to 'bugs/minimal_4.v')
-rw-r--r-- | bugs/minimal_4.v | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bugs/minimal_4.v b/bugs/minimal_4.v new file mode 100644 index 0000000..5cf8bbe --- /dev/null +++ b/bugs/minimal_4.v @@ -0,0 +1,16 @@ +module test_module(y, w1, w2, w3, w4, w5, w6, w7, w8, w9, w10); +output wire [1458:0] y; +input wire [26:0] w1; +input wire [24:0] w2; +input wire [23:0] w3; +input wire [1:0] w4; +input wire [5:0] w5; +input wire [12:0] w6; +input wire [27:0] w7; +input wire [16:0] w8; +input wire [14:0] w9; +input wire [13:0] w10; +wire [23:0] w96; +assign w96 = {(-(-(10'h1))), ({(6'hb), (-(25'h3)), w7, w10, (1'h0), w2, w2, (17'h1c)} ? $signed(w6) : ((22'hd) | w10))}; +assign y = {w96}; +endmodule |