Change use of blocking assignment to non-blocking inside always_ff

Fixes #1457

Signed-off-by: Henner Zeller <h.zeller@acm.org>
This commit is contained in:
Henner Zeller 2021-10-15 13:42:47 -07:00 committed by Rupert Swarbrick
parent 416ecb10df
commit a345da3bad

View file

@ -111,9 +111,9 @@ module formal_tb
f_addr_valid <= 1'b0;
end else begin
if (branch_i) begin
f_addr_valid = 1'b1;
f_addr_valid <= 1'b1;
end else if (valid_o & ready_i & err_o) begin
f_addr_valid = 1'b0;
f_addr_valid <= 1'b0;
end
end
end