データシートをダウンロード DO-254 Solutions[英語] 検証と妥当性確認（V&V)
DO-254ライフサイクル
RTLシミュレーションと解析
DO-254プロジェクトのRTLシミュレーションフェーズは通常、要求ベースのテストセットの実施や要求仕様の追跡性確認、そしてコードカバレッジの実行が必要で、これによりRTLコードの隅々にわたってテストが行われることを確保します。
複雑なデバイスの場合は、アサーションベース設計やクロックドメイン・クロッシング解析など更に洗練された手法が必要となる場合があります。
RTLシミュレーションと解析の合理化
RTL対応のModelSim
ModelSimは、伝統的な命令テストシミュレーションアプローチをサポートするだけでなく、要素解析をサポートするコードカバレッジ機能も含みます。
アドバンスドRTL検証対応のQuesta
Questaは、アサーションベース設計、検証管理、その他の高度な機能を含む、複雑なデバイスのためのアドバンスド検証メソドロジにも対応しています。
準安定解析対応のQuesta CDC
Questa CDC（Clock Domain Crossing）は、マルチクロック設計上で分析を実行して潜在的な準安定性問題を検出します。
網羅解析のためのQuesta Formal Verification
Questa Formal Verificationは、設計のセーフティクリティカル特性を徹底検証する際に使用できるモデルチェックツールです。