From 04b25c4a69754319057e94f6ca91c0caf9a3091e Mon Sep 17 00:00:00 2001
From: Alban Gruin <alban.gruin@irit.fr>
Date: Tue, 1 Mar 2022 16:16:59 +0100
Subject: [PATCH] verifier: remove useless stuff

Signed-off-by: Alban Gruin <alban.gruin@irit.fr>
---
 src/verifier.sv | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/verifier.sv b/src/verifier.sv
index 3d5346bb..9c3cb3cf 100644
--- a/src/verifier.sv
+++ b/src/verifier.sv
@@ -36,6 +36,7 @@ module verifier #(
   // assign should_lock_icache_o = has_mem_access & icache_miss_i;
   assign should_lock_icache_o = has_mem_access;
 
+  //pragma translate off
   // CO
   logic [NR_COMMIT_PORTS-1:0][BITS_ENTRIES-1:0]          commit_id_n, commit_id_q;
   logic [NR_COMMIT_PORTS-1:0]       commit_correct;
@@ -67,7 +68,6 @@ module verifier #(
     end
   end
 
-  //pragma translate off
   `ifndef VERILATOR
   initial begin
     assert (NR_ENTRIES == 2**BITS_ENTRIES) else $fatal ("NR_ENTRIES is not a power of 2");
@@ -78,10 +78,6 @@ 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
 
-- 
GitLab