diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-06 18:32:30 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-06 18:32:30 +0000 |
commit | e98f9af5ec18f38165791914fe4d82ed87cbcc4d (patch) | |
tree | e7c4f49f79365b406222b22ac989f51fe1736e77 /bugs/minimal_8.v | |
parent | 79c53b7f034091364079c2718705408a112a687b (diff) | |
download | verismith-e98f9af5ec18f38165791914fe4d82ed87cbcc4d.tar.gz verismith-e98f9af5ec18f38165791914fe4d82ed87cbcc4d.zip |
Add last bug that was found
Diffstat (limited to 'bugs/minimal_8.v')
-rw-r--r-- | bugs/minimal_8.v | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/bugs/minimal_8.v b/bugs/minimal_8.v new file mode 100644 index 0000000..cad34a1 --- /dev/null +++ b/bugs/minimal_8.v @@ -0,0 +1,16 @@ +module test_module(y, w1, w2, w3, w4, w5, w6, w7, w8, w9, w10); +output wire [1472:0] y; +input wire [23:0] w1; +input wire [20:0] w2; +input wire [1:0] w3; +input wire [29:0] w4; +input wire [23:0] w5; +input wire [22:0] w6; +input wire [20:0] w7; +input wire [26:0] w8; +input wire [3:0] w9; +input wire [8:0] w10; +wire [26:0] w99; +assign w99 = (&((30'h19) ? w8 : (30'h5))); +assign y = {w99}; +endmodule |