概述
投射器設計檢查器
Catapult 帶來細紋和正式分析,以在合成之前驗證您的 C++/SystemC 設計的正確性。避免與 HLS 編碼時可能發生的未初始化記憶體讀取、外綁定陣列存取、不完整的交換器陳述式以及可能發生的 QoR 問題相關的設計問題。
在 C ++ 進行驗證可降低高達 80% 的成本
主要功能
C++/系統C 的正式和靜態毛線
Catapult 設計檢查器提供多種檢查模式,可以消除基於模擬的設計中調試問題的需求。編碼問題、QoR 問題以及潛在的 C++/SystemC 到 RTL 不匹配和不明確的問題都被迅速發現,提供關於來源和原因的準確反饋。
查找 QOR 問題
適用於 QoR 的靜態毛線
使用 Catapult 設計檢查器在合成之前找到編碼中的常見問題很容易。
自訂檢查模式
專注於特定問題
Catapult 設計檢查器可讓使用者自訂檢查和優先順序,以專注於緊急問題,同時減少已知問題的噪音。
準備好進行關於設計檢查器的對話了嗎?
您可能有任何問題,我們將有答案!
subject=卡普爾特 %20設計 %20查詢 %20"> 電子郵件給我們