厳格な開発プロセスとASICおよびFPGAの高度な設計ツールは、性能、安全性、セキュリティの面で妥協することなく、お客様の目標達成を促進します。メンター・グラフィックスは、DO-254の品質目標、および信頼性、耐久性、効率に関する各国の政府規格に適合するデバイスの開発を支援します。要求仕様駆動型開発では、システム仕様からハードウェア・フローへの間断ないプロセスを提供し、そこにはハードウェア定義、RTLコーディングから検証や合成を含みます。

利点

• 設計から検証まで、要求仕様を継続的に追跡
• 効率的で規格に準拠した電子ハードウェアの開発と検証
• 一貫した品質管理プロセスを実現する、繰り返し可能な設計開発フロー
• プロジェクト管理用の広範な制御およびレポート機能
• プロジェクトと認証をサポートする包括的なドキュメント
• コンサルティング、トレーニング、パートナー企業によるサポートの提供

要求仕様の追跡

高品質保証の設計プロセスには、設計が対象の機能を要件仕様どおりに実行することを実証する必要があります。メンター・グラフィックスのソリューション、ReqTracerを使用した効率的な要件管理と追跡性により、すべての要求仕様がさまざまな開発段階を通じて満たされます。これらの機能を自動化することで、コスト効果の高い方法で、製品品質を確保しながら実装が要求仕様に適合していることを検証できます。 ReqTracerの詳細情報

• DOORS、ドキュメント、スプレッドシートなどの共通アプリケーションを、ハードウェア設計および検証プロセス内の詳細な要求仕様にリンク
• リンク、タグ付けの細かさ（レベル）を選択
• 以前の設計プロジェクトのコードの変更を回避するための、コードへの「シャドウ」タグ付け
• シンプルで完全に自動的な方法で、DO-254の追跡性目標に適合
• 要求仕様の変更を自動検出し、以降の工程への影響を解析することにより、変更管理プロセスをサポート
• 設計のレビューと監査をサポートするために必要なドキュメントを提供

設計

テキスト・エディタと設計開発環境には大きな違いがあります。HDL Designerは、航空宇宙および軍事防衛分野のお客様が、高品質保証の設計を作成するうえで役立つ設計開発環境です。チームの設計ニーズの合理化、コード品質チェックの自動化、繰り返し可能なメソドロジをサポートする実用的な再利用を可能にします。HDL Designerはコンフィギュレーションおよびバージョン管理機能と後工程の統合により、設計開発全体を通じて効率を改善します。 HDL Designerの詳細情報

• 構造: チームでの設計開発を容易にし、後工程で使用するすべてのツールのインタフェースにおける一貫性、繰り返し性、ECO見える化を確保します。
• プロセス制御: コーディング・スタイルの適用、ファイルおよびバージョン管理のサポート、シミュレーションと合成による最終結果の維持を行います。

検証

デバイスが目的の機能を実行するか（または意図したとおりに動作しないか）を検証することは、セーフティ・クリティカルな設計において極めて重要で、DO-254フローでは不可欠です。業界をリードするメンター・グラフィックスの検証ソリューションは、最も複雑な設計をサポートします。現在お使いの設計手法に関係なく、ラボや検証に時間がかかりすぎてお困りなら、検証効率と最終製品の品質の改善を促進するメンター・グラフィックスのソリューションをお試しください。

• ModelSimは、軍事航空業界の標準シミュレータです。フローの早期に設計動作のシミュレーション・テストを実行し、ラボテストの結果を待つよりも非常に早い段階でバグを検出できます。またModelSimには、DAL A/B DO-254のプロジェクトで要素解析の一部として実行する必要があるコード・カバレッジも含まれています。 ModelSimの詳細情報
• Questaは、ModelSimの強力なシミュレーション・エンジンのもとに構築されています。このプラットフォームは複数の機能と同時動作を伴う複雑な設計に対して最新の検証方式を提供します。これらの検証方式には、アサーションベース設計とアサーションのデバッグ、トランザクション・レベルのスティミュラス、制約付きランダム・テストの生成、機能カバレッジ、検証管理（要求仕様へのリンクの自動生成付き）があります。Questaの詳細情報
• Questaのツールは、メンター・グラフィックスの検証ツールボックスに、フォーマル検証手法をもたらします。 
  • Questa CDCは、設計サイクルの早期に（ハードウェアに深刻な影響を及ぼすことがある）CDC（Clock-Domain Crossing）問題を特定するためのマルチレベル手法を提供します。これにより、コスト効率の良い方法で簡単にCDC問題のデバッグと修正ができます。 Questa CDCの詳細情報
  • Questa Formal Verificationは、インタフェース、プロトコル、ブロック、セーフティ・クリティカルなプロパティの徹底的なチェックを保証するフォーマル検証手法（モデルチェックなど）を追加します。 Questa Formal Verificationの詳細情報

合成

セーフティ・クリティカルフローおよびDO-254フローでの最優先事項は、合成結果が再現可能で、設計の高品質保証を念頭に置いて生成されていることです。Precision Synthesisは、安全なFSMエンコーディング、耐放射線強化デバイスのサポート、最適化制御、論理的等値チェック（LEC）用のFormalProとの統合、あらゆるFPGAデバイスでの効率的な設計の再利用によって信頼性の高い設計操作を保証するベンダ非依存の合成を提供します。 Precision Synthesisの詳細情報

メソドロジの評価とコンサルティング

特に検証メソドロジに関して、プロセスの非効率性に悩まされているうえ、DO-254プログラムのコストを削減する必要がある場合は、メンター・グラフィックスのコンサルタントが設計フローのメソドロジ評価を行います。DO-254準拠に向けて、最新でより効率的な設計フローへの安全で段階的な移行プランを提案します。

メンター・グラフィックスのコンサルティング

メンター・グラフィックスのコンサルティング・サービスは、航空宇宙および軍事分野の企業における、メソドロジの改善、DO-254準拠の達成、成功までの期間短縮、特に新規の検証方法とテストベンチ作成におけるリスク低減を促進する豊富な実績を備えています。お客様の会社の設計チームや検証チームと直接協力して、検証要件の評価、検証環境の設計、ソリューションの実装、計画および管理を支援します。コンサルタントは、OVMメソドロジと高度な検証ツール群を使用するSystemVerilogベースの検証のエキスパートです。 メンター・グラフィックスのコンサルティング・サービスの詳細情報