国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

一種1750A指令集仿真軟核設計與驗證
DOI:
CSTR:
作者:
作者單位:

1.海裝駐上海地區第六軍事代表室;2.上海航天電子技術(shù)研究所

作者簡(jiǎn)介:

通訊作者:

中圖分類(lèi)號:

基金項目:


Design and verification of a 1750A instruction set simulation soft core
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 圖/表
  • |
  • 訪(fǎng)問(wèn)統計
  • |
  • 參考文獻
  • |
  • 相似文獻
  • |
  • 引證文獻
  • |
  • 資源附件
  • |
  • 文章評論
    摘要:

    MIL-STD-1750A指令集是星載彈載計算機常用指令集之一,為實(shí)現該類(lèi)指令集CPU+FPGA的通用性驗證,實(shí)現安全性、強度、單粒子翻轉等異常測試,滿(mǎn)足測試覆蓋率要求,保證星載彈載計算機系統可靠性,提出了一種CPU+FPGA的仿真模型搭建方法,利用如中斷和故障處理機制的實(shí)現、浮點(diǎn)運算單元設計方式、異常注入機制設計以及圖形控制界面等關(guān)鍵技術(shù),實(shí)現了一種精簡(jiǎn)1750A仿真軟核。實(shí)驗證明,利用該仿真軟核設計的CPU+FPGA的仿真模型平臺,可極大提高1750系列CPU相關(guān)接口的FPGA產(chǎn)品的驗證效率和可靠性,也為后續星載彈載軟件的測試提供了一套故障注入方便、故障定位清晰的測試平臺。

    Abstract:

    Mil-std-1750a instruction set is one of the common instruction sets of satellite-borne missile computer. In order to realize the universality verification of CPU+FPGA of this kind of instruction set, realize the abnormal testing of safety, strength and single particle flip, meet the requirements of test coverage and ensure the reliability of satellite-borne and missile-borne computer system,A simulation model construction method of CPU+FPGA is proposed, and a simplified 1750A simulation soft core is realized by using key technologies such as the implementation of interrupt and fault processing mechanism, floating point operation unit design, anomaly injection mechanism design and graphical control interface.Experiments show that the simulation model platform of CPU+FPGA designed by using the simulation soft core can greatly improve the verification efficiency and reliability of FPGA products related to 1750 series CPU interfaces, and also provide a test platform for convenient fault injection and clear fault location for subsequent tests of satellite-borne and missile-borne software.

    參考文獻
    相似文獻
    引證文獻
引用本文

李士剛,祝周榮.一種1750A指令集仿真軟核設計與驗證計算機測量與控制[J].,2022,30(5):262-267.

復制
分享
文章指標
  • 點(diǎn)擊次數:
  • 下載次數:
  • HTML閱讀次數:
  • 引用次數:
歷史
  • 收稿日期:2022-02-23
  • 最后修改日期:2022-03-23
  • 錄用日期:2022-03-24
  • 在線(xiàn)發(fā)布日期: 2022-05-25
  • 出版日期:
文章二維碼
金溪县| 米易县| 新民市| 额敏县| 滨州市| 合山市| 双江| 渝北区| 故城县| 定边县| 澜沧| 威远县| 马公市| 鸡泽县| 宽甸| 高安市| 和平区| 黎城县| 商城县| 介休市| 右玉县| 隆德县| 抚远县| 洛扎县| 孝义市| 千阳县| 长治市| 大庆市| 蕲春县| 建始县| 项城市| 罗江县| 阿勒泰市| 龙山县| 扎兰屯市| 清流县| 江川县| 剑河县| 三门峡市| 阿克| 富平县|