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/minimal_8.v | |
parent | 5882e8d39792d24625dd8d6ebfbdc0a38a0f839d (diff) | |
download | verismith-858615d4e4cb6cfda09425f9f05e3eb0769b1661.tar.gz verismith-858615d4e4cb6cfda09425f9f05e3eb0769b1661.zip |
Move the analysed bugs to better file names
Diffstat (limited to 'bugs/minimal_8.v')
-rw-r--r-- | bugs/minimal_8.v | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/bugs/minimal_8.v b/bugs/minimal_8.v deleted file mode 100644 index cad34a1..0000000 --- a/bugs/minimal_8.v +++ /dev/null @@ -1,16 +0,0 @@ -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 |