I also have a post on Verilog Lint with Verilator: https://projectf.io/posts/verilog-lint-with-verilator/