yosys/tests/verilog/always_comb_nolatch_4.ys

17 lines
251 B
Plaintext
Raw Permalink Normal View History

read_verilog -sv <<EOF
module top;
parameter AVOID_LATCH = 1;
logic x, z;
assign z = 1'b1;
always_comb begin
logic y;
if (z)
y = 0;
for (int i = 1; i == AVOID_LATCH; i++)
y = 1;
x = z ? y : 1'b0;
end
endmodule
EOF
proc