lint機能lint機能とは、文法エラーにはならないけれども、記述上、推奨されない、バグの温床になりやすい箇所の指摘をする機能です。Veritakでは、Version1.19より、実験的にビット幅に関する機能を実装してみました。Verilogのビット幅は、言語仕様で自動拡張するので、多くのシミュレータでは、なにも言いません。VHDLユーザからするとコンパイル時に指摘される(エラーになる)ので違和感があるようです。LSIの合成ツールではやはり、文句を言うようです。このOptionをOnにすると、(ASIC屋さんに出す前に)、記述の段階で分かるので役に立つかもしれません。Veritakは、以下のとき、Warning:Lintをコンパイル時に出力します。