Catapult Design Checkerには、プッシュボタンの静的チェックモードとフォーマルチェックモードが複数用意されているため、シミュレーションベースの設計検証の必要性が軽減されます。コーディングの問題、デザインソースのあいまいさ、QoRの懸念、および潜在的なHLS C++/SystemCとRTLの不一致の原因を迅速に把握し、原因と原因に関するフィードバックを提供します。
主な特長
カタパルトフォーマル
HL中心のアプリは、既存のRTLフローとUVM原則とプラグイン互換性があり、以下を対象としています。
- 未定義の動作がないかデザインをチェックしてください
- 補償範囲の終了を実現
- 設計動作を変えるようなセットアップミスを検出します
- 実装の正しさをチェックしてください
- バグハンティングで違いを見つけましょう
カタパルトフォーマルアサートは、カタパルトHLSと統合された正式な検証アプリです。C-Sourceで記述されたアサーションは、高速応答、設定可能なタイムアウトと解決戦略、堅牢なデバッグ環境を提供する強力なフォーマルソルバーで評価されます。 アサート、 仮定します と カバー サポートされています。反例として、CレベルのテストベンチとデフォルトのGDB設定、およびSEDAのVisualizerグラフィカル波形デバッガーを作成します。
カタパルトのオンデマンドtraining
Catapult High-Level Synthesis（HLS）オンデマンドtraining ライブラリには、エンジニアにHLSと高レベル検証を紹介するためのモジュールを含む一連の学習パスが含まれています。
ハイレベル合成検証グループ
Siemens EDA A HLSとHLVツールを使用して、設計と検証のより細かい点を議論するグループ。新しいトピック、機能、コンテンツ、技術専門家についてのディスカッションに参加してください。
HLSlibs
標準C++で実装された無料のオープンライブラリセットで、ハードウェアとソフトウェアのビットアキュレート設計が可能です。研究と設計の両方を促進するために使用できるHLSの知識と知的財産を交換するためのオープンコミュニティです。