Add verilator linting

1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index e241b34..214771e 100644
--- a/Makefile
+++ b/Makefile
@@ -53,6 +53,9 @@ clean:
 simu: $(PROGRAM).lxt2
 	gtkwave $<
 
+lint: $(PROGRAM).v
+	verilator --lint-only -Wall -Wno-PROCASSINIT $(PROGRAM).v
+
 ## Patterns
 
 # synthesize