После стольких лет?

Xilinx в недавнем релизе Vivado добавили поддержку линта.

Чем это принципиально отличается от подсветки ошибок и ворнингов, которые были раньше не расскажу. Кому интереснее покопаться подробнее - качайте последний релиз Vivado 2023.
Из приятных фич можно вейвить ворнинги, которые вам не важны в текущем проекте.

Линтер на лету ошибки не ловит, а при каждом изменении исходником нужно его перезапускать отдельно, как синтез или RTL analysis.

В релизе про Lint ничего не упоминается, а найти хоть какую-то информацию можно в нашем любимом UG895.

А если в поисках дешевого и строгого и сердитого линта, то не забывайте про Verilator.

Вот небольшой пост про настройку линтера Verilator.