5 Verilog/SystemVerilog Static Analysis Tools

A Verilog simulation and synthesis tool that operates by compiling source code written in IEEE-1364 Verilog into some target format

A Language Server Protocol implementation for Verilog and SystemVerilog, including lint capabilities.

Automatic SystemVerilog linting in github actions with the help of Verible Used to lint Verilog and SystemVerilog source files and comment erroneous lines of code in Pull Requests automatically.

A tool which converts Verilog to a cycle-accurate behavioral model in C++ or SystemC. Performs lint code-quality checks.

Verilog HDL/SystemVerilog/Bluespec SystemVerilog support for VS Code. Provides syntax highlighting and Linting support from Icarus Verilog, Vivado Logical Simulation, Modelsim and Verilator