傳統(tǒng)的系統(tǒng)開(kāi)發(fā)過(guò)程，都是由工程師根據(jù)項(xiàng)目需求書(shū)來(lái)編寫(xiě)代碼完成系統(tǒng)的開(kāi)發(fā)，但隨著功能的完善和版本迭代，系統(tǒng)中龐大的代碼量很難確保正確無(wú)誤，給后期測(cè)試和仿真帶來(lái)了很大的壓力和成本，在航空航天、衛(wèi)星系統(tǒng)、核電等安全關(guān)鍵領(lǐng)域影響更為明顯。現(xiàn)在，代碼自動(dòng)生成技術(shù)的發(fā)展給行業(yè)發(fā)展帶來(lái)新的可能性，在需求設(shè)計(jì)階段，就由模型來(lái)完成，借助形式化驗(yàn)證技術(shù)和代碼自動(dòng)生成技術(shù)來(lái)完成項(xiàng)目開(kāi)發(fā)，在保證安全性的同時(shí)，也能極大降低開(kāi)發(fā)成本。由迪捷軟件自主設(shè)計(jì)開(kāi)發(fā)的代碼自動(dòng)生成工具SkyEye已經(jīng)在眾多安全關(guān)鍵領(lǐng)域中應(yīng)用，SkyEye可替代國(guó)外Matlab/Sumlink等同類軟件，并支持龍芯多種型號(hào)CPU的指令級(jí)仿真。

近年來(lái)，隨著國(guó)產(chǎn)芯片和國(guó)產(chǎn)基礎(chǔ)軟件替代的形式越來(lái)越緊迫，越來(lái)越多行業(yè)和相關(guān)領(lǐng)域都將關(guān)注點(diǎn)放到了國(guó)產(chǎn)自主可控的方向。除了硬件的芯片外，軟件的國(guó)產(chǎn)化支持和支撐也更為重要，龍芯從2001年至今共開(kāi)發(fā)了1號(hào)、2號(hào)、3號(hào)三個(gè)系列處理器和龍芯橋片系列，在政企、安全、金融、能源等應(yīng)用場(chǎng)景得到了廣泛的應(yīng)用。作為國(guó)產(chǎn)自主可控的全數(shù)字實(shí)時(shí)仿真軟件SkyEye可以支持龍芯多種型號(hào)的CPU搭建數(shù)字化目標(biāo)系統(tǒng)，并進(jìn)行指令級(jí)仿真。

SkyEye 運(yùn)行龍芯處理器

SkyEye 介紹

SkyEye，中文全稱天目全數(shù)字實(shí)時(shí)仿真軟件，應(yīng)用軟件仿真技術(shù)，逼真地模擬出被測(cè)軟件的物理環(huán)境。用圖形化方式構(gòu)建虛擬目標(biāo)系統(tǒng)，有效降低了硬件工程師和軟件工程師之間的溝通成本，軟件工程師可以不依賴硬件工程師，根據(jù)需求對(duì)虛擬硬件的配置進(jìn)行改動(dòng)，并可以在虛擬硬件模型上運(yùn)行與真實(shí)硬件相同的二進(jìn)制文件，可以大大縮短產(chǎn)品研發(fā)周期，提高軟件測(cè)試效率。完全自主可控的支持?jǐn)?shù)十種國(guó)產(chǎn)芯片仿真的全數(shù)字實(shí)時(shí)仿真平臺(tái)SkyEye

SkyEye功能

更靈活快速的虛擬目標(biāo)系統(tǒng)搭建–通過(guò)可視化圖形界面拖拽虛擬硬件組件快速搭建

仿真狀態(tài)可控性、確定性和重復(fù)性–在虛擬系統(tǒng)上運(yùn)行的二進(jìn)制文件與實(shí)際目標(biāo)上運(yùn)行的二進(jìn)制文件相同，仿真過(guò)程可以通過(guò)運(yùn)行、暫停控制、可以隨時(shí)重復(fù)執(zhí)行，每次運(yùn)行結(jié)果是確定的，可以使用軟件復(fù)現(xiàn)問(wèn)題

提供GDB源碼調(diào)試和匯編級(jí)調(diào)試工具，使開(kāi)發(fā)者更高效的分析和定位問(wèn)題

提供代碼覆蓋率和生成報(bào)告功能，進(jìn)行源碼和目標(biāo)碼的覆蓋率分析

提供故障注入功能，可以進(jìn)行內(nèi)存和IO的故障注入進(jìn)行測(cè)試

提供協(xié)同仿真工具，支持與其他異構(gòu)模型協(xié)同仿真

提供外設(shè)建模工具和二次開(kāi)發(fā)API接口，方便用戶進(jìn)行二次開(kāi)發(fā)

提供Python API接口，可以進(jìn)行自動(dòng)化測(cè)試腳本構(gòu)建所需測(cè)試環(huán)境

界面提供自動(dòng)化測(cè)試功能，可以選擇所需測(cè)試用例自動(dòng)運(yùn)行并給出測(cè)試結(jié)果

---

本文標(biāo)題：中國(guó)自主可控的全數(shù)字實(shí)時(shí)仿真軟件SkyEye支持龍芯CPU指令級(jí)仿真
本文鏈接：http://www.digiproto.com/archives/3062

總結(jié)

以上是生活随笔為你收集整理的中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。