DO-254 Verilog / VHDLルール・ライブラリCategory : デザイン・ルール・チェックALINTはDO-254準拠を促進する新しいルール・ライブラリ・セットに対応します。適切な信号代入、クロック・リセットの扱い、正しい宣言、正確なインスタンス化、レース・コンディションの取り扱い、ビット幅のミスマッチなどをカバーします。
