Fix Verilator guard statements in new modules

pulp-platform · Jan 24, 2023 · 8095cd5 · 8095cd5
1 parent 3890cb9
commit 8095cd5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/rtl/dmr/DMR_write_mux.sv b/rtl/dmr/DMR_write_mux.sv
@@ -78,4 +78,4 @@ for (genvar i = 0; i < NumDataItems; i++) begin
   assign data_o[i] = wen[i] ? wdata_expanded[i] : data_i[i];
 end
 
-endmodule
+endmodule
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 #(