Fix Verilator guard statements in new modules

pulp-platform · Jan 24, 2023 · 84e482f · 84e482f
1 parent 3890cb9
commit 84e482f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/test/dmr/dmr_handshake.sv b/test/dmr/dmr_handshake.sv
@@ -79,6 +79,8 @@ module handshake_source #(
       end
     end
 
+    `ifndef VERILATOR
+    // pragma translate_off
     // Warnings
     assert property (@(posedge clk_i) disable iff (~rst_ni)
       ( data_q != 0 |-> data_d != 0)) else
@@ -101,6 +103,10 @@ module handshake_source #(
     assert property (@(posedge clk_i) disable iff (~rst_ni)
       (~ready_i &  valid_o ) |=> $stable(data_o)) else
       $error("[Handshake Source] data changed before handshake completed.");
+
+    // pragma translate_on
+    `endif
+
   endmodule
 
   module handshake_sink #(