1 files changed, 2 insertions, 0 deletions
diff --git a/rtl/picorv32/picorv32.v b/rtl/picorv32/picorv32.v
index e4ef08a..58d4ac9 100644
--- a/rtl/picorv32/picorv32.v
+++ b/rtl/picorv32/picorv32.v
@@ -158,6 +158,8 @@ module picorv32 #(
 	output reg        trace_valid,
 	output reg [35:0] trace_data
 );
+    // verilator tracing_off
+
 	localparam integer irq_timer = 0;
 	localparam integer irq_ebreak = 1;
 	localparam integer irq_buserror = 2;