diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-16 10:43:06 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-16 10:43:06 +0000 |
commit | 858615d4e4cb6cfda09425f9f05e3eb0769b1661 (patch) | |
tree | 193fb668863b06609009103cc9be7a4123365db1 /bugs/xst_2_minimal.v | |
parent | 5882e8d39792d24625dd8d6ebfbdc0a38a0f839d (diff) | |
download | verismith-858615d4e4cb6cfda09425f9f05e3eb0769b1661.tar.gz verismith-858615d4e4cb6cfda09425f9f05e3eb0769b1661.zip |
Move the analysed bugs to better file names
Diffstat (limited to 'bugs/xst_2_minimal.v')
-rw-r--r-- | bugs/xst_2_minimal.v | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bugs/xst_2_minimal.v b/bugs/xst_2_minimal.v new file mode 100644 index 0000000..027cb92 --- /dev/null +++ b/bugs/xst_2_minimal.v @@ -0,0 +1,16 @@ +module test_module(y, w1, w2, w3, w4, w5, w6, w7, w8, w9, w10); +output wire [1288:0] y; +input wire [17:0] w1; +input wire [11:0] w2; +input wire [24:0] w3; +input wire [2:0] w4; +input wire [26:0] w5; +input wire [22:0] w6; +input wire [2:0] w7; +input wire [10:0] w8; +input wire [23:0] w9; +input wire [5:0] w10; +wire [8:0] w95; +assign w95 = ({(1'h0), (-(4'hf)), (1'h0), w7, (-(6'h1)), w8, (-(2'he)), (-(7'h3)), (20'h7), (16'h13), (1'h0), (1'h0), (1'h0), w8, (26'ha), (23'h9), w7, (1'h0), (-(13'h17)), w4, w5, w7, (8'h3), (33'h19)} ? $signed((~|w6)) : (1'h0)); +assign y = {w95}; +endmodule |