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_1.v | |
| parent | 5c6ffb3bb6801ca50608700213385e13dae4ef97 (diff) | |
| download | verismith-acb51296f6fc5d7ec5ff91feace09c9f1d0a1fbc.tar.gz verismith-acb51296f6fc5d7ec5ff91feace09c9f1d0a1fbc.zip | |
Add found bugs
Diffstat (limited to 'bugs/minimal_1.v')
| -rw-r--r-- | bugs/minimal_1.v | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/bugs/minimal_1.v b/bugs/minimal_1.v new file mode 100644 index 0000000..95957ff --- /dev/null +++ b/bugs/minimal_1.v @@ -0,0 +1,7 @@ +// Increasing the size of the wires makes yosys hang +module div_error(y, w1, w2); + output [50:0] y; + input [50:0] w1; + input [50:0] w2; + assign y = w1 / w2; +endmodule // div_error |