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

周珊; 王金波

首页> 中文期刊> 《微电子学与计算机》 >基于软件和逻辑联合仿真的SOPC验证技术研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《微电子学与计算机》 |2016年第6期|82-86|共5页
作者
周珊; 王金波;
展开▼
作者单位

中国科学院空间应用工程与技术中心;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机仿真;
关键词
SOPC测试验证; SOPC仿真技术; CPU内核验证; 仿真环境; 软件和逻辑联合验证;

相似文献

中文文献
外文文献
专利

1. 基于全数字仿真的航空机载软件验证技术研究 [J] . 姜磊 ,张天宏 . 航空制造技术 . 2014,第016期
2. 基于UVM的FPGA软硬件联合仿真验证技术研究 [J] . 陈锐 ,门永平 ,杨文强 . 空间电子技术 . 2017,第001期
3. 基于综合电子计算机的多系统软件协同运行及联合仿真技术研究 [J] . 贾艳胜 ,钟金凤 ,汪礼成 . 电子产品世界 . 2017,第007期
4. 基于CAN总线仿真软件的SCR系统半实物仿真验证 [J] . 刘军 ,袁所贤 ,熊明路 . 汽车技术 . 2016,第001期
5. 面向OFDM系统物理层关键算法模块逻辑设计功能联合仿真验证平台 [J] . 郝严 ,冯文楠 . 电子世界 . 2018,第021期
6. 基于线性时序逻辑的动态软件体系结构模型验证 [C] . 唐姗 ,彭鑫 ,赵文耘 . 2007全国软件及其应用学术会议 . 2007
7. 基于SoPC的光纤通道控制器仿真验证研究 [A] . 舒芳 . 2007

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

摘要

著录项

相似文献

相关主题

期刊订阅