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

近年來，隨著國產芯片和國產基礎軟件替代的形式越來越緊迫，越來越多行業和相關領域都將關注點放到了國產自主可控的方向。除了硬件的芯片外，軟件的國產化支持和支撐也更為重要，龍芯從2001年至今共開發了1號、2號、3號三個系列處理器和龍芯橋片系列，在政企、安全、金融、能源等應用場景得到了廣泛的應用。作為國產自主可控的全數字實時仿真軟件SkyEye可以支持龍芯多種型號的CPU搭建數字化目標系統，并進行指令級仿真。

SkyEye 運行龍芯處理器

SkyEye 介紹

SkyEye，中文全稱天目全數字實時仿真軟件，應用軟件仿真技術，逼真地模擬出被測軟件的物理環境。用圖形化方式構建虛擬目標系統，有效降低了硬件工程師和軟件工程師之間的溝通成本，軟件工程師可以不依賴硬件工程師，根據需求對虛擬硬件的配置進行改動，并可以在虛擬硬件模型上運行與真實硬件相同的二進制文件，可以大大縮短產品研發周期，提高軟件測試效率。完全自主可控的支持數十種國產芯片仿真的全數字實時仿真平臺SkyEye

SkyEye功能

更靈活快速的虛擬目標系統搭建–通過可視化圖形界面拖拽虛擬硬件組件快速搭建

仿真狀態可控性、確定性和重復性–在虛擬系統上運行的二進制文件與實際目標上運行的二進制文件相同，仿真過程可以通過運行、暫停控制、可以隨時重復執行，每次運行結果是確定的，可以使用軟件復現問題

提供GDB源碼調試和匯編級調試工具，使開發者更高效的分析和定位問題

提供代碼覆蓋率和生成報告功能，進行源碼和目標碼的覆蓋率分析

提供故障注入功能，可以進行內存和IO的故障注入進行測試

提供協同仿真工具，支持與其他異構模型協同仿真

提供外設建模工具和二次開發API接口，方便用戶進行二次開發

提供Python API接口，可以進行自動化測試腳本構建所需測試環境

界面提供自動化測試功能，可以選擇所需測試用例自動運行并給出測試結果

---

本文標題：中國自主可控的全數字實時仿真軟件SkyEye支持龍芯CPU指令級仿真
本文鏈接：http://www.digiproto.com/archives/3062

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。