aa35f24290
If a local variable is always assigned before it is used, then adding nosync prevents latches from being needlessly generated.
18 lines
244 B
Plaintext
18 lines
244 B
Plaintext
read_verilog -sv <<EOF
|
|
module top;
|
|
logic [4:0] x;
|
|
logic z;
|
|
assign z = 1'b1;
|
|
always_comb begin
|
|
x = '0;
|
|
if (z) begin
|
|
int i;
|
|
for (i = 0; i < 5; i++) begin
|
|
x[i] = 1'b1;
|
|
end
|
|
end
|
|
end
|
|
endmodule
|
|
EOF
|
|
proc
|