概要
カタパルトデザインチェッカー
Catapultは、合成前にC++/SystemCの設計が正しいかどうかを検証するために、lintと形式分析を行います。初期化されていないメモリ読み取り、範囲外の配列アクセス、不完全なswitchステートメント、およびHLSのコーディング時に発生する可能性のあるQoRの問題に関連する設計上の問題を避けてください。
C++での検証により、コストを最大80％削減できます
C++/SystemC用のフォーマル＆スタティックリント
Catapult Design Checkerには複数のチェックモードがあり、設計上の問題をシミュレーションベースでデバッグする必要がありません。コーディングの問題、QoRの問題、潜在的なC++/SystemCとRTLの不一致やあいまいさは、原因と原因に関する正確なフィードバックを迅速に得ることができます。
QoR用のスタティックリント
Catapult Design Checkerを使えば、合成前のコーディングでよくある問題を簡単に見つけることができます。
特定の問題に焦点を当てる
Catapult Design Checkerを使用すると、ユーザーはチェックをカスタマイズして優先順位を付け、既知の問題からのノイズを減らしながら、差し迫った問題に集中できます。
デザインチェッカーについて話す準備はできましたか？
どんな質問でも、私たちが答えを出します！
カタパルトのオンデマンドトレーニング
Catapult High-Level Synthesis（HLS）オンデマンドトレーニングライブラリには、エンジニアにHLSと高レベル検証を紹介するためのモジュールを含む一連の学習パスが含まれています。
ハイレベル合成検証グループ
Siemens EDA A HLSとHLVツールを使用して、設計と検証のより細かい点を議論するグループ。新しいトピック、機能、コンテンツ、技術専門家についてのディスカッションに参加してください。
HLSlibs
標準C++で実装された無料のオープンライブラリセットで、ハードウェアとソフトウェアのビットアキュレート設計が可能です。研究と設計の両方を促進するために使用できるHLSの知識と知的財産を交換するためのオープンコミュニティです。