'VerilogLintBear' bear for coala (http://coala.rtfd.org/)
- 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>.