Siemens EDA Forum - アサーションベース検証導入のための具体的なサンプルコードを用いたケーススタディ

アサーションベース検証（ABV）は、検証の制御性、観測性、網羅性の向上に貢献する手法として多くの開発現場で採用され、既存の設計プロセスに革新をもたらします。具体的には、様々な抽象化レベルで要求仕様を明確に表現するのに役立ちます。また、検証タスクの指針が与えられることで、テストベンチの設計が容易になります。

しかし同時に、多くの開発チームにとって、日々の開発業務と並行しながらすでに確立されている既存の設計プロセスを変化させることについては、どこから始めればよいかを明確にできないという問題を抱えています。またABVをすでに導入している開発チームにおいても、アサーションの使いこなしに課題を持っている場合があります。特に、要求仕様書、検証仕様書からアサーションの定義をどのように行えば良いのかについて、悩みを持つ検証エンジニアは少なくありません。

そこで本ウェビナーでは、要求仕様作成フェーズと検証計画策定フェーズを通じて、RTLとテストベンチにABVを活用するためのメソドロジを取り上げ、具体的なサンプルコードを用いたケーススタディと共に、要求仕様書作成からアサーションの定義、検証環境構築方法について解説いたします。ABVの導入をご検討中のお客様、既にご導入されたお客様いずれにも、役に立てる内容をお届けいたします。

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

セッション: アサーションベース検証導入のための具体的なサンプルコードを用いたケーススタディ

1. アサーションベース検証（ABV）の概要
2. 設計プロセスでのSystemVerilogアサーション
3. ケーススタディ
4. さらなる検証パフォーマンスの向上

Q&A

<span style="font-size:11px;">※ セッション内容は予告なく変更される場合がございます。あらかじめご了承ください。</span>

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

• アサーションベース検証（ABV）環境構築方法

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

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

<hr />