C++ 或 SystemC 是一種選擇,可讓團隊靈活地決定其設計任務最有效的方法。無論是使用 AC 數據類型的序列 C ++ 的優異模擬和驗證速度(大陸斯利布斯 .org),或使用 SystemC 和 MatchLib(使用 AC 類型)進行明確並行建模,Catapult 可以滿足您的需求。
主要功能
卓越的設計、驗證和實施
Catapult 在手工編碼的一半時間內,從 C++/SystemC 為 ASIC/FPGA 製作高質量 RTL。設計空間探索、下游 RTL 合成整合,加上功率估算/最佳化可實現更好的設計。設計檢查、代碼覆蓋和正式功能,可將 RTL 驗證成本降低高達 80%。
隨著彈射器流程,RTL 調試實際上消失。C 模型在其環境中進行驗證,並從那裡創建正確的 RTL。這大幅減少了驗證工作。