提高團隊合作效率/縮短交付時間 /提升開發效率
促進測試團隊左移/提升測試案例可靠性/提高測試質量
維護系統安全/降低開發成本/優化產品缺陷
知識總結歸納/結構化存儲知識/知識多元化展示
避免信息孤島/實現工具信息無縫關聯/有效存儲數據
提供高質量分析結果/依靠高效模型算法/實現自動測試
仿真真實物理環境,實時、 閉環、非侵入式的系統測 試。
形式化驗證技術工程應用 工具,真實運行代碼,自 動快速發現存在問題。
表格驅動專利,自動生成測 試用例,支持單元、集成、 系統測試;支持語句、分支、 MC/DC覆蓋率分析。
長達32天的監控記錄軟件硬件狀態,支持多種性能分析,同步記錄軟硬件狀態, 快速定位發現問題。
可幫助用戶開展規范的嵌入式軟件失效模式及其影響分析(FMEA)工作,并可自動生成軟件安全性分析報告文檔。
支持RTL與RTL、RTL與網 表、網表與網表的邏輯等價 性驗證。有效降低FPGA與 ASIC設計風險。
RTL代碼分析,CDC跨時鐘 域分析,支持GJB 規則集及 自定義規則集。
原型驗證與仿真加速融合平 臺,包含軟件仿真平臺、硬 件加速系統;國內研發,高 效支持。