aboutsummaryrefslogtreecommitdiffstats
path: root/bugs/minimal_8.v
diff options
context:
space:
mode:
authorYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-06 18:32:30 +0000
committerYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-06 18:32:30 +0000
commite98f9af5ec18f38165791914fe4d82ed87cbcc4d (patch)
treee7c4f49f79365b406222b22ac989f51fe1736e77 /bugs/minimal_8.v
parent79c53b7f034091364079c2718705408a112a687b (diff)
downloadverismith-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.v16
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