Siemens EDA Forum - フォーマル・カバレッジを適用した機能検証サインオフ必勝法

デジタル設計の複雑さが増す中、確実な機能検証とサインオフの重要性はますます高まっています。本ウェビナーでは、設計のあらゆる可能な動作を網羅的に確認するフォーマル検証技術によるカバレッジ手法を駆使して、機能検証サインオフを成功に導くための具体的な戦略とベストプラクティスをご紹介いたします。さらに、フォーマル・カバレッジの基本概念から始め、機能カバレッジとコード・カバレッジの違い、そしてそれぞれの効果的な活用方法について詳しく解説し、さまざまなカバレッジ手法を駆使して、検証の完全性を確保する方法をご提案いたします。

Mutation Coverageは、設計に故意にバグを導入し、それが検出されるかどうかを確認する手法で、検証の堅牢性を評価する重要な指標です。本ウェビナーでは、Mutation Coverageについても詳述します。さらに、シミュレーションとフォーマル検証を組み合わせたハイブリッドフローの重要性についても触れていきます。シミュレーションは、設計の特定の部分をテストするのには有効ですが、限定的なシナリオしかカバーできず、網羅的な検証ができませんが、フォーマル検証を組み合わせることで、設計のロバスト性と正確性を保証し、より確実なサインオフを実現します。

ウェビナーの後半では、Questa OneSpinを用いた具体的な検証手法、アサーションとカバープロパティの効果的な利用方法や、統合カバレッジ・データベース（UCDB）を活用したトラッキング、カバレッジ・マージの注意点、ガイドラインについて詳述します。これにより、設計のあらゆる側面を網羅的に検証し、サインオフの信頼性を高める方法を学ぶことができます。 本ウェビナーにご参加いただくことで、フォーマル検証技術とカバレッジ手法を駆使して、機能検証サインオフを成功に導くための知識とスキルを習得できます。 次の開発フェーズへ確実に進むために必要な設計品質と、信頼性を確保したい方にはぜひ参加していただきたい内容構成となっています。

<hr />
<span style="font-size:20px; color:#ec6602;"><strong>プログラム</strong></span>

セッション: フォーマル・カバレッジを適用した機能検証サインオフ必勝法

1. 検証の完了とは？なにをサインオフの根拠とするのか？
2. フォーマル・カバレッジへの期待
3. フォーマル・カバレッジの導入
   • 機能カバレッジ
   • コード・カバレッジ
   • シミュレーション到達性解析
   • ユースモデル／ガイドライン
4. サマリー

Q&A

<hr />
<span style="font-size:20px; color:#ec6602;"><strong>ウェビナーで学べること</strong></span>

1. フォーマル検証を活用したサインオフの信頼性向上:
   フォーマル検証を活用してサインオフの信頼性を高める具体的なアプローチを学びます。
2. フォーマル検証の基本概念:
   フォーマル検証とは何か、その重要性と基本的な仕組みを理解します。
3. フォーマル・カバレッジの種類:
   機能カバレッジとコード・カバレッジの違い、そしてそれぞれの役割について学びます。
4. Mutation Coverageの活用法:
   Mutation Coverageの概念と、それを使用して設計の堅牢性を評価する方法を学びます。
5. シミュレーションとフォーマル検証の組み合わせ:
   シミュレーションの限界を補完するためのハイブリッドフローの導入方法を理解します。
6. アサーションとカバープロパティの効果的な利用:
   設計の正確性を保証するためのアサーションとカバープロパティの使用方法を学びます。
7. 統合カバレッジデータベース（UCDB）の活用:
   UCDBを使用してトラッキングやマージのガイドライン。 これらの学びを通じて、参加者はフォーマル検証とカバレッジ手法を駆使して、機能検証サインオフを成功に導くための知識とスキルを習得できます。

<hr />
<span style="font-size:20px; color:#ec6602;"><strong>対象</strong></span>

• 検証エンジニア、マネージャー
• ハードウェア設計エンジニア、マネージャー
• 設計検証環境支援エンジニア、マネージャー

<hr />