コーディング基準HDLコーディング基準(Safety-Criticalデザイン)DO-254のようなセーフティ・クリティカル分野では、HDLコードに潜在的に危険な属性が入り込んでデザインの危険性が現れないようにするために、HDLコーディング基準の使用が推奨されます。HDLコーディング基準を定義して、レビューおよび文書化する必要があります。ALINT-PROTMは実証済みのVHDL/Verilog基準を装備した全自動のデザイン・ルール・チェッカで、自動的なコード・レビューの機能を備えています。このVHDL/Verilog基準は、コーディング・スタイル、可読性、シミュレーション、クロック・リセット管理、デザイン再利用、安全な合成・インプリメントのためのコーディング、クロック・ドメイン交差(CDC)、テスト容易性デザイン(DFT)など、HDLコーディングで必須の部分をカバーしています。コードのみ使用して、すべての設計要件を指定することはできません。SDCフォーマットは様々な要件を記述するために使用され、ALINT-PROはより正確なリンティング結果を得るためにSDCコマンドの重要なサブセットをサポートしています。ブロックレベルの制約メカニズムと制約付きのビルトイン・ベンダー・ライブラリにより、完全な解析のためにブラックボックスを使用したデザインでも完全に制約されます。ALINT-PROTMには強力なドキュメンテーション機能があり、レポート作成や監査、レビューに威力を発揮します。Viewerや、「違反に該当しない」違反判定に正当な理由をコメントとして付けられるウェーバー・魔訶ニズムの機能を備えています。これらの機能はコーディング基準違反解析・レポート用インタフェースと緊密に統合されているので、ボタン1つでレポートを作成したり、品質の高いデザインを作るための手順をやりやすくしたりすることで、セーフティ・クリティカルな設計保証基準の要件を遵守することができます。非同期のCDC転送、収束/発散、CDCパス上の組み合わせロジック、リンティングプロセス中に検出された不正なシンクロナイザ構造などのクロックドメインクロッシング問題は、CDCビューアー、CDCスケマティック、RTLスケマティックなどの専用ウィンドウを使用して簡単に調査できます。