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

作者：周珊; 王金波

来源：微电子学与计算机, 2016, 33(06): 82-86.

DOI：10.19304/j.cnki.issn1000-7180.2016.06.019

• SOPC测试验证
• SOPC仿真技术
• CPU内核验证
• 仿真环境
• 软件和逻辑联合验证

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

• 单位
  中国科学院空间应用工程与技术中心