Change use of blocking assignment to non-blocking inside always_ff

Fixes lowRISC#1457 Signed-off-by: Henner Zeller <[email protected]>
KatCe · Oct 16, 2021 · a345da3 · a345da3
1 parent 416ecb1
commit a345da3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/formal/icache/formal_tb.sv b/formal/icache/formal_tb.sv
@@ -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