diff --git a/formal/icache/formal_tb.sv b/formal/icache/formal_tb.sv
index 0095e2fb..73849f2c 100644
--- 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