1 files changed, 5 insertions, 0 deletions
diff --git a/picorv32.v b/picorv32.v
index dc041c7..62e7770 100644
--- a/picorv32.v
+++ b/picorv32.v
@@ -17,6 +17,11 @@
  *
  */
 
+/* verilator lint_off WIDTH */
+/* verilator lint_off PINMISSING */
+/* verilator lint_off CASEOVERLAP */
+/* verilator lint_off CASEINCOMPLETE */
+
 `timescale 1 ns / 1 ps
 // `default_nettype none
 // `define DEBUGNETS