HDL コーディング基準

HDLコーディング基準 (Safety-Criticalデザイン)

DO-254のようにセーフティ・クリティカル分野では、HDLコードに潜在的に危険な属性が入り込んでデザインの危険性が現れないようにするために、HDLコーディング基準の使用が推奨されます。HDLコーディング基準は、定義の後に見直し、文書化する必要があります。ALINT™は実証済みのVHDL/Verilog基準を装備した全自動のデザイン・ルール・チェッカで、自動コード・レビュー機能を備えています。このVHDL/Verilog基準は、コーディング・スタイル、可読性、シミュレーション、クロック・リセット管理、デザイン再利用、安全な合成・インプリメントのためのコーディング、クロック・ドメイン交差 (CDC)、テスト容易性デザイン (DFT) など、HDLコーディングの基礎的部分をカバーしています。

また、ALINT™には強力なドキュメンテーション機能があり、レポート作成や監査、レビューに威力を発揮します。ALINT™は発見された違反を表示するViolation Viewerや、「違反に該当しない」違反判定に正当な理由をコメントとして付けられるExclusion Managementの機能も付いています。これらの機能はコーディング基準違反解析・レポート用インタフェースと緊密に統合されているので、ボタン1つでレポートを作成したり、品質の高いデザインを作るための手順をやりやすくしたりすることで、セーフティ・クリティカルな設計保証基準の要件を遵守することができます。

自動コードレビューのおもな特長

• 手作業のレビューのコストを削減
• 業界の最適事例とデザイン専門技術の広範な知識ベースに基づく
• 手作業レビューよりもコードの一貫性と作業効率が高まる
• レビュー回数を増やせるので、DO-254の考え方にも合致
• デバッグ環境と統合、効率の高いデザイン解析とドキュメンテーションを実現

次が含まれます:

• ALINT™ 10日間評価版
• DO-254ベスト・プラクティス・デザイン・ルール・セット

補足的リソース:

ALINT™ 2012.01 What’s New Presentation

Automated Code Reviews for Safety-Critical Designs Presentation