Skip to main content
此頁面使用自動翻譯顯示。 是否要改為用英語檢視?

概述

投射器設計檢查器

Catapult 帶來細紋和正式分析,以在合成之前驗證您的 C++/SystemC 設計的正確性。避免與 HLS 編碼時可能發生的未初始化記憶體讀取、外綁定陣列存取、不完整的交換器陳述式以及可能發生的 QoR 問題相關的設計問題。


在 C ++ 進行驗證可降低高達 80% 的成本

彈射器設計檢查器促銷
主要功能

C++/系統C 的正式和靜態毛線

Catapult 設計檢查器提供多種檢查模式,可以消除基於模擬的設計中調試問題的需求。編碼問題、QoR 問題以及潛在的 C++/SystemC 到 RTL 不匹配和不明確的問題都被迅速發現,提供關於來源和原因的準確反饋。

查找 QOR 問題

適用於 QoR 的靜態毛線

使用 Catapult 設計檢查器在合成之前找到編碼中的常見問題很容易。

QoR 流程的靜態毛線:使用 Catapult 設計檢查器在合成之前找到編碼中的常見問題很容易。
自訂檢查模式

專注於特定問題

Catapult 設計檢查器可讓使用者自訂檢查和優先順序,以專注於緊急問題,同時減少已知問題的噪音。

流程圖圖顯示用箭頭連接各種形狀和文本元素的自定義檢查過程的步驟。

準備好進行關於設計檢查器的對話了嗎?

您可能有任何問題,我們將有答案!

subject=卡普爾特 %20設計 %20查詢 %20"> 電子郵件給我們

彈射器隨選訓練

Catapult 高級合成 (HLS) 隨需培訓庫包含一組學習路徑,其中包含模塊,可將工程師介紹 HLS 和高級驗證。

高級合成和驗證小組

一個小組討論使用西門子 EDA HLS 和 HLV 工具的設計和驗證的細節。加入討論新主題、功能、內容和技術專家。

HL SLIB

在標準 C ++ 中實現的免費開放庫集,用於比特準的硬件和軟件設計。這是一個開放的社區,用於 HLS 的知識和知識產權交換,可用於加速研究和設計。

帶有藍色水滴和一本書的白色輪廓的圖標。

HLS 設計與驗證部落格

博客涵蓋下一代高級合成 (HLS) 設計和驗證方法和技術。

耳機

投射器支撐

存取詳細的文件、版本、資源等。

EDA 諮詢

透過獨特的開發和設計經驗和方法專業知識,解決複雜的技術和企業挑戰,幫助您實現最大的業務影響。