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