軟件研發(fā)全生命周期質(zhì)量管控系統(tǒng)包含需求分析，軟件設(shè)計，配置管理，軟件測試，質(zhì)量建模；
靜態(tài)測試，單元測試，性能測試，功能測試，半實物仿真環(huán)境，全數(shù)字仿真環(huán)境；
靜態(tài)分析，邏輯綜合，時序仿真，仿真加速，形式化驗證，邏輯等效性驗證；FPGA一體化測試管控平臺；軟件質(zhì)量管控平臺；
收集歸納有效信息，總結(jié)知識，實現(xiàn)知識可視化，并形成傳遞。
抓取項目信息，實現(xiàn)項目工具之間的數(shù)據(jù)交換，并將這些數(shù)據(jù)有效的保存下來。
提供基于高效算法仿真工具，實現(xiàn)產(chǎn)品交付前的各項測試。
提高團(tuán)隊合作效率/縮短交付時間 /提升開發(fā)效率
促進(jìn)測試團(tuán)隊左移/提升測試案例可靠性/提高測試質(zhì)量
維護(hù)系統(tǒng)安全/降低開發(fā)成本/優(yōu)化產(chǎn)品缺陷
知識總結(jié)歸納/結(jié)構(gòu)化存儲知識/知識多元化展示
避免信息孤島/實現(xiàn)工具信息無縫關(guān)聯(lián)/有效存儲數(shù)據(jù)
提供高質(zhì)量分析結(jié)果/依靠高效模型算法/實現(xiàn)自動測試
仿真真實物理環(huán)境，實時、 閉環(huán)、非侵入式的系統(tǒng)測 試。
形式化驗證技術(shù)工程應(yīng)用 工具，真實運行代碼，自 動快速發(fā)現(xiàn)存在問題。
表格驅(qū)動專利，自動生成測 試用例，支持單元、集成、 系統(tǒng)測試；支持語句、分支、 MC/DC覆蓋率分析。
長達(dá)32天的監(jiān)控記錄軟件硬件狀態(tài)，支持多種性能分析，同步記錄軟硬件狀態(tài)， 快速定位發(fā)現(xiàn)問題。
可幫助用戶開展規(guī)范的嵌入式軟件失效模式及其影響分析（FMEA）工作，并可自動生成軟件安全性分析報告文檔。
支持RTL與RTL、RTL與網(wǎng) 表、網(wǎng)表與網(wǎng)表的邏輯等價 性驗證。有效降低FPGA與 ASIC設(shè)計風(fēng)險。
RTL代碼分析，CDC跨時鐘 域分析，支持GJB 規(guī)則集及 自定義規(guī)則集。
原型驗證與仿真加速融合平 臺，包含軟件仿真平臺、硬 件加速系統(tǒng)；國內(nèi)研發(fā)，高 效支持。
企業(yè)公眾號
