Лекарство и основное ПО нашёл у китайских товарищей, плагины с правилами удалось откопать на родине.
Никто не хочет попробовать?
Или у кого более свежая версия есть?

Так а в чём собственно суть вопроса ?

Выяснить актуальность и понять заинтересованность. Судя по отсутствию комментариев по существу, таковых не наблюдается.

LINT сам по себе хороший инструмент, особенно если речь идёт о СБИС в силу специфики рисков.

только вот у проектантов СБИС немного другие вендоры, а у C&S свои линтеры есть (в т.ч. и неплохие - от поглощенных компаний).

ТС, наверное, забыл указать свою область: FPGA с уклоном в DO-254.
Пользуясь случаем он также хотел бы ещё раз поднять тему внутрифирменных стандартов на HDL кодирование (поверхностных поиск по темам форума ничего не дал, но, уверен, что этот вопрос поднимался (и, возможно, не один раз)).
Буду благодарен любой ссылке, наподобие этой.

Долго собирался, но, наконец-то, добавил (пока) в /upload/FPGA/_Aldec_/ALINT 2012.12.SR2/

Спасибо, конечно, но для тех, кто ещё маленький, нельзя ли ещё куда-нибудь в более доступное место выложить? )

Пожалуйста )