Disable verilator warnings, fixes #128

Signed-off-by: Clifford Wolf <clifford@clifford.at>

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