【摘 要】
:
随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指
【机 构】
:
湘潭大学信息工程学院,中国科学院计算技术研究所计算机体系结构国家重点实验室,中国科学院大学
论文部分内容阅读
随着集成电路设计的复杂度越来越高,功能验证成为设计流程中的瓶颈。而通用处理器是集成电路中功能最为复杂的设计之一,对其功能验证提出更高要求。为此,给出一种约束随机指令生成方法,对ARMv8处理器进行模拟验证。从指令集中提取指令模板,用指令模板生成合法的ARMv8指令,通过调整约束支持各种功能场景的验证。基于结果自动比对的验证环境,对处理器进行充分验证,发现58处设计错误,可用在后续的FPGA硬件仿真中。验证结果表明,该方法可得到90%的结构覆盖率。
其他文献
基于身份的认证密钥协商(ID-AKA)协议大多效率低下、安全性较低。针对该问题,提出一个新的ID-AKA协议。利用模块化的方法证明新协议在mBR模型满足抗密钥泄露模仿攻击、完美前向
摘要:ASP和JSP是目前两种常见的网页制作技术,以前的网页都是静态的,现在由于出现了网页设计相关的技术,当前的网页都是动态性的。本文主要从动态网页制作技术的层面上来分析ASP和JSP之间的不同点,哪种制作技术更好,它们的优缺点是什么。 关键词:ASP;JSP;动态网页技术;服务器;对比 中图分类号:TP393.092 文献标识码:A 文章编号:1007-9599 (2012) 23-0000
针对精品课程网络中存在的内容保护与行政监管问题,讨论了精品课程网站的内容公开与内部留言的实施措施,把访问精品课程网站的人群分为六类:网站管理员、教师、学生、特聘专家、
近年来伴随着经济的发展和进步,我国房地产企业不断地获得了发展机遇,当然发展当中所带来的竞争不断增加,土地价格不断上涨,对于建筑过程当中所用的材料以及人工费用也在不断
在科技发展日新月异的今天,计算机网络专业,正面临着由物联网技术的成熟和发展给它带来的新的扩展。本文分析了物联网技术的现状,并提出了在高校进行物联网专业建设和课程设计的