EDA Frontier - 機能検証入門

最新の市場調査によれば、ASICやFPGAのプロジェクトでは、初回のサインオフが成功する確率はASICで14%、FPGAでは13%しかありません。この状況を改善するには、機能検証における生産性と網羅性を上げることが欠かせません。一方で機能検証には、様々な技術、メソドロジ、プロセスがあり、これらを一度に理解することも困難です。

本ウェビナーは、機能検証にこれから携わる方から、設計プロジェクトを管理するマネージャークラスの方に至るまでを対象に、機能検証が抱える本質的な課題やそれらの解決方法についてのみならず、機能検証の考え方の基礎を学習することができる講座を目指して企画されています。本ウェビナーのコンテンツが、皆さんのプロジェクト内で共通意識を持って機能検証に取り組むための一助となりましたら幸いです。ぜひご参加ください！

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

セッション: 機能検証入門

1. 機能検証とは
2. シミュレーションベースの検証
   1. アサーションベース検証
   2. ディレクテッドテストと制約付きランダムテスト
   3. コードカバレッジ
   4. 機能カバレッジ
   5. 検証メソドロジ
3. フォーマル検証
   1. プロパティチェッキング
   2. 自動フォーマル・アプリケーション
4. 機能検証技術の効果

Q&A

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

• 機能検証の重要性と各検証技術の役割

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

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

<hr />