diff --git a/src/verifier.sv b/src/verifier.sv
index 80d2059119f0cb9053a1d8adc3b7dcae6938ced9..3d5346bb22a3d23d981b0f2006d1f4312c33ed88 100644
--- a/src/verifier.sv
+++ b/src/verifier.sv
@@ -78,6 +78,10 @@ module verifier #(
       @(posedge clk_i) disable iff (!rst_ni) commit_ack_i[i] |-> commit_correct[i])
       else $warning (1,"Invalid commit");
   end
+
+  assert property (
+    @(posedge clk_i) disable iff (!rst_ni) ~should_lock_icache_o)
+    else $warning (1,"Concurrent access on the bus");
   `endif
   //pragma translate on