Catapult CoverageはHLS対応のコードカバレッジを提供します。ソフトウェア中心のカバレッジツールとは異なり、設計構成とHLS指令が出来上がったポストHLSハードウェアにどのように影響するかを認識し、HLSデザインソースのコードカバレッジを収集して報告する際にこれらを考慮に入れます。例としては、関数のインライン化やループ展開のディレクティブがあります。Catapult Coverageは、条件カバレッジやフォーカスエクスプレッション(FEC)カバレッジやアレイアクセスカバレッジなど、HLSデザインソースで必要なカバレッジタイプもサポートします。
Catapult Coverage
Catapult Coverageは、C++/SystemC HLS設計向けに、ステートメント、ブランチ、条件、FEC、配列アクセスカバレッジを含む、HLS対応のコードカバレッジを提供します。また、C++/SystemCテストベンチ内のカバーグループ、カバーポイント、ビン、クロスをサポートする、SVにインスパイアされた機能カバレッジも提供します。
主な機能
指標主導型HLVへの効率的なアプローチ
ステートメント、ブランチ、条件、式のカバレッジなどの従来のRTLメトリックを、SystemVerilogに触発された機能カバレッジと組み合わせて使用すると、ハイレベル合成の前に高品質のHLS対応カバレッジを実現できます。
カタパルトのオンデマンドトレーニング
Catapult High-Level Synthesis(HLS)オンデマンドトレーニングライブラリには、エンジニアにHLSと高レベル検証を紹介するためのモジュールを含む一連の学習パスが含まれています。
ハイレベル合成検証グループ
Siemens EDA A HLSとHLVツールを使用して、設計と検証のより細かい点を議論するグループ。新しいトピック、機能、コンテンツ、技術専門家についてのディスカッションに参加してください。
HLSlibs
標準C++で実装された無料のオープンライブラリセットで、ハードウェアとソフトウェアのビットアキュレート設計が可能です。研究と設計の両方を促進するために使用できるHLSの知識と知的財産を交換するためのオープンコミュニティです。

