Early Bird 第31回: 高位合成で求められるフォーマル検証 - Catapult Formalのご紹介

「Early Bird」ウェビナーシリーズでは、Catapult高位合成および高位検証プラットフォームやPowerPro RTLローパワー・ソリューション、Precision FPGA論理合成ソリューションなどを中心に、一歩先の未来を切り拓くユニークなEDAソリューションについて多角的に解説しています。

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

本ウェビナーでは、前回のEarly Bird Basics編 その４「シーケンシャル等価性検証入門」と合わせて２回連続で、高位フォーマル検証について解説いたします。

シーメンスEDAが長年にわたる高位合成向け等価性検証の経験から導き出した最新の高位合成検証フローはどのようなものなのか。最新フォーマルツールであるCatapult Formalをご紹介し、フォーマル検証の特性を生かした適用方法について解説いたします。

世界で最も深掘りのCatapult Formal情報をEarly Birdでお届けいたします！

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

セッション: Catapult Formalの紹介 – 高位合成で求められるフォーマル検証

1. 最新フォーマルツール「Catapult Formal」の概要
2. Catapult Formalの適用
3. まとめ

Q&A

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

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

• Catapult Formalを利用するうえでの基礎知識

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

• Catapult最新版のコア技術と機能について理解を深めたいお客様
• C++からの高位設計の利用を検討されているお客様

<hr />