'VerilogLintBear' bear for coala (http://coala.rtfd.org/)
Project description
Analyze Verilog code using verilator and checks for all lint related and code style related warning messages. It supports the synthesis subset of Verilog, plus initial statements, proper blocking/non-blocking assignments, functions, tasks.
It also warns about unused code when a specified signal is never sinked, and unoptimized code due to some construct, with which the optimization of the specified signal or block is disabled.
This is done using the --lint-only command. For more information visit <http://www.veripool.org/projects/verilator/wiki/Manual-verilator>.