周珊, 王金波. 基于软件和逻辑联合仿真的SOPC验证技术研究[J]. 微电子学与计算机, 2016, 33(6): 82-86.
引用本文: 周珊, 王金波. 基于软件和逻辑联合仿真的SOPC验证技术研究[J]. 微电子学与计算机, 2016, 33(6): 82-86.
ZHOU Shan, WANG Jin-bo. SOPC Verification Technology Research Based on Software and Logical Combined Simulation[J]. Microelectronics & Computer, 2016, 33(6): 82-86.
Citation: ZHOU Shan, WANG Jin-bo. SOPC Verification Technology Research Based on Software and Logical Combined Simulation[J]. Microelectronics & Computer, 2016, 33(6): 82-86.

基于软件和逻辑联合仿真的SOPC验证技术研究

SOPC Verification Technology Research Based on Software and Logical Combined Simulation

  • 摘要: 针对航天高可靠SOPC测试验证重要性, 对SOPC仿真技术进行深入剖析研究, 提炼出了一套切实可行的SOPC仿真技术.阐明了SOPC仿真技术的具体实现方法, 分析了SOPC的具体验证方法, 并把这套仿真验证技术成功地应用到了多个航天高可靠SOPC的测试中, 发现了很多引起功能失效的重大问题, 并对其中常见的问题给予归类总结.

     

    Abstract: For the significance of high reliable SOPC test verification on Spaceflight application, SOPC simulation technology is analyzed and researched, and a set of feasible SOPC simulation technology is extracted.The specific realization method of SOPC simulation technology is clarified. The specific verification method of SOPC is analyzed, the test verification method between SOPC software and logical combined test. And the simulation verification technology is applied successfully on several reliable SOPC tests, many significant functional disabled problems can be found, and the common problems are classified and summarized.

     

/

返回文章
返回