概要
カタパルトデザインチェッカー
Catapultは、合成前にC++/SystemC設計の正確性を検証するためのリント分析と形式分析を提供します。初期化されていないメモリ読み取り、範囲外の配列アクセス、不完全な 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と高レベル検証を紹介するためのモジュールを含む一連の学習パスが含まれています。
高位合成・検証グループ
シーメンスEDA HLSおよびHLVツールを使用した設計と検証のより細かい点について議論するグループ。新しいトピック、機能、コンテンツ、技術専門家に関するディスカッションに参加してください。
HLSLibs
標準C++で実装された無料のオープンライブラリセットで、ハードウェアとソフトウェアのビット単位での正確な設計が可能です。HLS の知識と IP を交換するためのオープンコミュニティであり、研究と設計の両方を促進するために使用できます。
EDA コンサルティング
開発と設計の経験と方法論の専門知識を独自に組み合わせて複雑なテクノロジーと企業の課題に対処することにより、ビジネスへの影響を最大化できるよう支援します。