verifier: add assert to check for concurrent bus accesses

Signed-off-by: Alban Gruin <alban.gruin@irit.fr>

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