您现的位置:首页 > 数据库检索 > 中文会议 

一种面向复杂处理器的指令验证方法

加收藏
  • 【题名】:一种面向复杂处理器的指令验证方法
  • 【年份】:2017
  • 【作者】:孙健,张雪,刘明,杨阳,张瑞
  • 【关键词】:处理器  指令验证  自动化  验证方法
  • 【摘要】:随着数字集成电路复杂度不断的提高,其中处理器的指令数目越来越多、功能也更加复杂,传统的验证方法已经不能解决复杂处理器指令验证面临的问题,且指令的功能验证在整个集成电路功能验证中的比重也越来越重,因此,处理器的指令验证成为制约当前集成电路功能仿真验证发展的重要因素之一。本文基于一款LEONⅡ处理器,提出了一种高效、可靠的复杂处理器指令的自动化验证方法,该方法极大的缩短验证周期,将指令验证周期相比传统
  • 【会议名称】:航天电子军民融合论坛暨第十四届学术交流会
  • 【载体】:航天电子军民融合论坛暨第十四届学术交流会优秀论文集(2017年)
  • 【会议地点】:中国北京
  • 【总分】:15000
相关文献
面向型号任务电连接贮存寿命加速评估方法研究
面向复杂环境服务机器人自主规划方法研究
面向大数据处理应用性能优化方法研究
面向复杂性状遗传性缺失关联分析方法研究
一种Ku频段12路邻接型输出多工设计方法
面向航天振动试验结构健康状态检测方法研究
一种处理微弱信号噪声干扰方法
一种防止某型发动机在低温下涡轮增压叶轮损伤改进方法
一种快速高精度转向角传感校准方法
一种基于系统级动态测量调制高速DAC接口设计方法
获取此文方式
登录后才能存到网盘,
请登录
下载请求:
   

说明:点击”存到网盘“按钮即收取费用,重复点击不收费,如果下载失败,我们会自动转为文献传递方式处理,稍侯请关注您网盘上该文献的信息,从网盘上下载该文献不用重新付费。