3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-27 02:45:52 +00:00

Fix setting bits of parameters in setundef pass

This commit also adds test that verifies correctness of this change.
This commit is contained in:
mszelwiga 2024-11-08 15:41:20 +01:00
parent cef87cc179
commit 8e508f2a2a
3 changed files with 19 additions and 1 deletions

10
tests/various/setundef.sv Normal file
View file

@ -0,0 +1,10 @@
module foo #(parameter [1:0] a) (output [1:0] o);
assign o = a;
endmodule
module top(output [1:0] o);
foo #(2'b0x) foo(o);
always_comb begin
assert(o == 2'b00);
end
endmodule

View file

@ -0,0 +1,8 @@
read_verilog -sv setundef.sv
setundef -zero -params
hierarchy -top top
flatten
proc
async2sync
write_json
sat -seq 5 -prove-asserts