SVALint — SystemVerilog Assertion Linter

SVALint is an open-source linter for SystemVerilog Assertions (SVA), developed by AsFigo Technologies as part of the BYOL (Build Your Own Linter) framework.

It enforces SVA coding best practices — covering property and sequence naming conventions, assertion labels, operator usage, performance rules, and formal-argument hygiene — helping verification teams write robust, simulation- and formal-ready assertion code from day one.

python bin/svalint.py -t <your_file.sv>

Rule Reference