機能検証手法・事例

ASIC/FPGAの機能検証について、基本的な手法や知識から、Mentor Graphics の先端ソリューションを用いた手法まで、幅広くご紹介致します。

コードカバレッジ

コードカバレッジによる検証指標を定める利点とコードカバレッジの種類、使用方法についてご紹介します。

コードカバレッジ

デザインチェック

デザインチェック(Lint/リントチェック)によるエラーの早期検出方法とコストダウン方法について紹介します。

デザインチェック

アサーション・ベース検証

アサーション・ベース検証の概念と導入して得られる効果を紹介します。

アサーション・ベース検証

CDC検証

CDC検証の課題と対策を事例を交えて紹介しております。

CDC検証

ゼロからはじめる!
SVA(SystemVerilog Assertion)文法

SVA(SystemVerilog Assertion)の文法をゼロから分かりやすく紹介します。

ゼロからはじめる!
SVA(SystemVerilog Assertion)文法

 


お問い合わせ

資料請求・お問い合わせ