Event Details

ALINT-PROを用いた階層アプローチ解析
Date: Wed, July 30, 2025
Time: 3:00 PM - 4:00 PM (JPT)

 

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