無償ウェビナー:ALINT-PROを用いた階層アプローチ解析

昨今の大規模ASIC/FPGAデザインにおいて、クロックドメインクロッシング検証は重要なタスクの1つになります。
多くのデザインには多数のサードパーティ製IPが含まれており、そのソースコードは暗号化または非暗号化されています。このような暗号化IPを含むデザインに対してクロックドメインクロッシング検証することは重要なため、暗号化されたIPコア用の抽象化モデルを用意する必要が出てきます。
さらに、デザイン規模が大きくなるとシステム全体を一度に解析することは現実的ではありません。分割解析アプローチを用いたリープデザインモジュール単位で個々に検証し、システムレベルで解析を行う際は検証済みのモジュールを抽象化して全体を検証する方が合理的です。
本ウェビナーでは暗号化IPの抽象化モデルの開発方法と、抽象化したリープデザインモジュールのモデルを使用した大規模デザインを解析する方法について紹介します。

開催日時 | 2025年07月30日(水) 15:00 ~ 16:00 |
---|---|
参加費 | 無料 |
このニュースへのお問い合わせ
Webからお問い合わせこのニュースの詳細・お申し込み
詳細・お申し込み