聯系電話:
400-8888-427
首頁
產品服務
解決方案
客戶案例
熱門資源
關于我們
架構設計軟件提供了一個建模，分析，仿真和軟硬件協作的平臺，含 150 +通用技術模塊和十一類模塊庫，幫助快速完成架構設計，實現模型復用率最大化。
采用了創新的架構算法，實現了高性能的仿真和約束求解器引擎，適合設計與驗證工程師從IP、子系統及全系統等不同場景的驗證需求，進而滿足當今復雜SoC的驗證需求。
思爾芯率先推出企業級硬件仿真系統OminiArk，隨后推出硬件仿真與原型驗證雙模式的第二代產品OminiDrive。目前，全系列產品已在多家芯片設計企業中投入使用，為汽車電子、CPU、AI、5G、云計算等領域的SoC設計提供強有力的復雜驗證支持，顯著縮短芯片驗證周期，助力芯片產品加速上市。
成熟的原型驗證解決方案，穩定的硬件平臺、先進的配套軟件工具以及豐富的子卡接口，助力IC企業加快設計和驗證復雜芯片，搶占市場先機。
全功能形式驗證工具平臺，平臺包括五種工具，即C-to-RTL/RTL-to-Netlist的等價性驗證、組合邏輯等價性驗證、模型檢查，以及兩種實用驗證Apps，為數字芯片設計各個環節提供了高效的驗證工具
全面且高效的分析與調試平臺，高效的源代碼追蹤和關鍵的調試功能充分滿足主流驗證調試場景的需求
將算力資源的云端虛擬化，可實現算力管理、集群管理、多用戶管理、虛機/容器資源管理等一系列功能，極大地滿足了芯片設計驗證流程中的彈性算力需求。
-889.png)
