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