mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00
Code Activity

Merge pull request #2476 from zachjs/const-arg-width

Browse source 
Fix constants bound to single bit arguments (fixes #2383)
This commit is contained in:
whitequark 2020-12-23 23:15:30 +00:00 • committed by GitHub
commit 8ef6b77dc3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 18 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
tests/various/const_arg_loop.v
View file

@ -44,6 +44,12 @@ module top;
end
endfunction
function automatic [16:0] operation4;
input [15:0] a;
input b;
operation4 = {a, b};
endfunction
wire [31:0] a;
assign a = 2;
@ -61,6 +67,9 @@ module top;
wire [31:0] x3;
assign x3 = operation3(A, a);
wire [16:0] x4;
assign x4 = operation4(a[15:0], 0);
// `define VERIFY
`ifdef VERIFY
assert property (a == 2);
@ -69,5 +78,6 @@ module top;
assert property (x1b == 16);
assert property (x2 == 4);
assert property (x3 == 16);
assert property (x4 == a << 1);
`endif
endmodule