Early Bird - 第21回: Catapult Coverage（CCOV）による高位モデル検証カバレッジの基礎

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

シーメンスEDAのCatapult Coverage（CCOV）は、高位合成による高品質なRTL実装を念頭においた業界唯一の検証カバレッジツールです。

本ウェビナーでは、高位モデルの検証カバレッジに関して知っておくべき基礎を解説したうえで、CCOVによるコードカバレッジ、機能カバレッジ、およびそれらのハイブリッド活用の実際をご紹介いたします。高位合成により生成されるRTLモデルの原石である高位モデルへの品質向上の可能性を実感いただける内容構成となっておりますので、ぜひご参加ください。

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

セッション: Catapult Coverage（CCOV）による高位モデル検証カバレッジの基礎

1. カバレッジ基礎
   • カバレッジ、カバレッジゴールとは？
   • カバレッジのタイプ
   • カバレッジ測定基準
2. Catapult Coverageのカバレッジ機能
   • コードカバレッジ
   • 機能カバレッジ
   • カバレッジレポート
3. Catapult Coverage利用方法
   • g++環境からの移植容易性

Q&A

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

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

• 高位設計と高位検証に関する基礎知識
• C/C++による高位モデルの検証の基礎知識
• 高位モデルのコードカバレッジの基礎
• 高位モデルの機能カバレッジの基礎
• ソフトウェア用カバレッジツールとの違い

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

• Catapult最新版のコア技術と機能にういて理解を深めたいお客様
• C++からの高位設計の利用を検討されているお客様
• 高位合成を対象とした高位モデルのコードカバレッジを検討されているお客様
• 高位合成を対象とした高位モデルの機能カバレッジを検討されているお客様

<hr />