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

发布时间：2017-07-30 20:23

  本文关键词：基于软件和逻辑联合仿真的SOPC验证技术研究

  更多相关文章： SOPC测试验证 SOPC仿真技术 CPU内核验证 仿真环境 软件和逻辑联合验证

【摘要】：针对航天高可靠SOPC测试验证重要性,对SOPC仿真技术进行深入剖析研究,提炼出了一套切实可行的SOPC仿真技术.阐明了SOPC仿真技术的具体实现方法,分析了SOPC的具体验证方法,并把这套仿真验证技术成功地应用到了多个航天高可靠SOPC的测试中,发现了很多引起功能失效的重大问题,并对其中常见的问题给予归类总结.
【作者单位】： 中国科学院空间应用工程与技术中心;
【关键词】： SOPC测试验证 SOPC仿真技术 CPU内核验证 仿真环境 软件和逻辑联合验证
【基金】：国家重大专项(Y214010RN)
【分类号】：V446;TP391.9
【正文快照】： 1引言SOPC(可编程片上系统)技术是SOC(片上系统)和FPGA(可编程逻辑)技术结合的产物,它是将处理器、存储器、I/O接口、422协议接口等系统设计需要的元素集成在一个可编程器件中,具备可裁剪、可升级、可扩充、软硬件可编程等优点[1-2].基于上述特点,SOPC在空间应用环境中的运用

【参考文献】

中国期刊全文数据库 前2条

1 魏子杰;许军;张磊;杜康;;基于SOPC的电力电子器件实时仿真系统设计[J];电测与仪表;2012年11期

2 刘景宁;舒芳;童薇;张宇;;SoPC光纤通道控制器IP核的仿真验证[J];华中科技大学学报(自然科学版);2008年10期

中国硕士学位论文全文数据库 前4条

1 姚凤振;基于SOPC技术的水声通信半物理仿真平台设计与实现[D];中国海洋大学;2013年

2 陈叶富;集成处理器仿真平台SOPC系统可测性方法研究[D];哈尔滨工业大学;2011年

3 沈浩;基于SOPC的短波OFDM通信系统仿真平台的研究[D];武汉工程大学;2011年

4 姚双武;基于SOPC的集成处理器仿真平台研制[D];哈尔滨工业大学;2010年

【共引文献】

中国期刊全文数据库 前5条

1 周珊;王金波;;基于软件和逻辑联合仿真的SOPC验证技术研究[J];微电子学与计算机;2016年06期

2 屠晓杰;熊华钢;徐鼎;周一伟;;支持多种FC-4层协议的光纤通道接口卡实现[J];电讯技术;2013年02期

3 李佳妮;汪健甄;周拥军;丁凡;;FC-AE-FCLP网络建模与仿真研究[J];电光与控制;2010年11期

4 郭志君;路永涛;;光纤通道链路层IP核的硬件设计[J];光通信技术;2010年07期

5 杨王君;曹阳;王敏;马秦生;;事务级随机测试功能验证方法[J];华中科技大学学报(自然科学版);2010年01期

中国硕士学位论文全文数据库 前7条

1 奚嘉琦;基于SOPC的步进电机驱动控制系统设计[D];杭州电子科技大学;2015年

2 张斌益;水声通信海测平台的设计与实现[D];厦门大学;2014年

3 姜月明;IP核可测性设计中扫描链插入与测试封装加载研究[D];哈尔滨理工大学;2014年

4 何永福;基于FPGA的轨道几何状态检测系统研究与设计[D];中南大学;2013年

5 杨艺勇;基于SOPC技术的编码器检测装置研究与实现[D];华中科技大学;2013年

6 陈宇贤;基于多通道的实时视频传输关键技术研究[D];哈尔滨工程大学;2012年

7 陈叶富;集成处理器仿真平台SOPC系统可测性方法研究[D];哈尔滨工业大学;2011年

【二级参考文献】

中国期刊全文数据库 前4条

1 汪书林;周宇飞;陈军宁;;开关切换非线性系统的同步方法研究[J];电测与仪表;2011年04期

2 毛鹏;谢少军;许泽刚;;IGBT模块的开关暂态模型及损耗分析[J];中国电机工程学报;2010年15期

3 郅银周;张彦军;洪应平;;基于FPGA的脉冲变换器测试系统设计[J];电测与仪表;2010年05期

4 王芳;柴红刚;童薇;;基于FPGA的光纤通道适配器研究[J];华中科技大学学报(自然科学版);2008年01期

中国硕士学位论文全文数据库 前10条

1 李坤;基于Turbo码的水声信道编译码技术研究及其FPGA实现[D];中国海洋大学;2011年

2 许丽丽;水声通信半物理仿真平台的设计与实现[D];中国海洋大学;2011年

3 何辉;基于OFDM的水声语音通信系统的设计[D];哈尔滨工程大学;2011年

4 姚双武;基于SOPC的集成处理器仿真平台研制[D];哈尔滨工业大学;2010年

5 郭志强;水声通信算法半物理仿真平台的设计与开发[D];中国海洋大学;2010年

6 周俊杰;新型抽油机用复合式永磁电机及其驱动系统与检测系统的研究[D];浙江大学;2010年

7 罗杰俊;基于Nios II的SOPC应用技术研究[D];哈尔滨工业大学;2009年

8 李可非;水声无线传感器网络节点的设计与开发[D];中国海洋大学;2009年

9 徐海涛;基于SOPC的软硬件划分算法研究[D];哈尔滨理工大学;2009年

10 彭雪峰;基于SOPC的嵌入式导航计算机设计[D];哈尔滨工程大学;2009年

，

本文编号：595994