基于RISC-V的BOOM处理器的验证

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:zhangshun102
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,RISC-V指令集获得了全球范围的密切关注和大量企业的加入。各种知名企业、高校纷纷设计了各自的RISC-V处理器。但作为一个新的精简指令集,RISCV指令集处理器的验证却面临着测试集少、双核参考模型不精确、双核一致性验证方式混乱等问题。本文以优化后的BOOM作为研究对象,对功能点、测试激励、判别方式三方面进行了研究和探索,构建验证方案并完成验证。为了弥补原验证平台验证验证进展判断依据的缺失,阅读相关文献和设计代码,设置各个功能点,搭建了功能模型作为判断依据。针对原有测试集无法覆盖到功能角的现状,文中分析了原验证功能覆盖率的不足和真实程序需求,制定受约束随机化的生成策略,实现了六个功能场景,搭建了随机指令生成平台。随机指令生成平台生成的随机指令和定向测试相结合完成了测试激励生成工作。最后针对验证的正确性校验缺失问题,制订了以参考模型比较系统为主,浮点验证子平台和缓存一致性校验为辅的校验方案。针对第三方参考模型无法实现双核指令级精确的问题,参考模型比较系统重构了第三方参考模型,优化了模型的时序精确性,精确高效的完成双核寄存器和PC值的校验。文中研究了前递机制和内部标准转换规则,修正了浮点参考模型,搭建了浮点验证子平台,实现了浮点寄存器的自动化校验和控制信号检查。针对缓存一致性问题,缓存一致性校验系统构建了一套基于BOOM的缓存一致性判别规则,自动对各级缓存中缓存一致性进行校验。相较于原有的单项测试集,随机指令生成平台产生的随机测试的代码覆盖率从79.87%提高到91.92%,功能点覆盖率从62.1%提高到100%。校验系统的仿真速度从600条/min提升到2000条/min。校验方式由指令自检扩展为参考模型比较、一致性断言、浮点校验多种方式结合。同等测试激励下,可判别的BUG从7个提高到21个。验证的效率和完备性大幅提高,满足了验证目标。
其他文献
随着电子商务的高速发展,各种类型的电商平台与网络商店不断涌现,在为消费者带来购物便利的同时,也让其面临信息超载、选择困难等问题,难以快速有效地做出购物决策。因此,电商平台相继推出了个性化推荐服务,通过系统算法比对过滤商品信息,为消费者给出个性化推荐,以此提升消费者购物体验。但是,目前有很多消费者对个性化推荐服务存在抵触和怀疑心理,表现为拒绝采纳个性化推荐信息。在此背景下,寻找影响消费者采纳个性化推
随着列车运行控制系统的发展,基于精确可靠列车位置的移动闭塞是未来发展方向。全球卫星导航系统(Global Navigation Satellite System,GNSS)能够提供位置服务,减少列控系统定位方法对轨旁设备依赖,基于卫星导航系统的自主定位是实现列车“车载中心化”的重要方式。然而铁路沿线环境复杂多变,山体、隧道等使卫星导航信号传播出现阻挡、反射,导致列车运行过程中的位置估计存在不确定性
在人工智能技术的驱动下,具备多种类型车载传感器的自动驾驶技术正在快速发展。然而,单车的感知信息受限将会造成严重的安全事故,对自动驾驶技术的实用化提出挑战。为实现安全智能的自动驾驶,多车海量感知信息亟需宽带可靠传输技术来实现有效共享,这对海量数据低时延传输技术提出了极大挑战。为此,本文提出了基于5G毫米波频段的感知通信一体化系统时间资源分配方法与可靠传输技术来实现多车协同超视距感知,提高自动驾驶安全
随着海上风电产业日益迅速的发展,风能已逐渐成为大众化,经济型的清洁能源。在深远海风能开发领域,海上浮式风力机是各个国家的学者都关注的科学前沿问题,本文的研究对于开发新的浮式基础结构,提高风能利用效率具有重要的意义。本文首先分析了浮式风机的发展情况,并给出本文的浮式风机设计,进而介绍了海上浮式风机的环境载荷的计算理论。水动力分析中先分析了浮式基础的水动力系数,后又对浮式基础的频域和时域下的水动力特性
16-18世纪土默特地区的行政制度先后经历了蒙古土默特部万户、归化城土默特都统旗、绥远驻防制和道厅制并存三个阶段。16世纪初,达延汗统一东部蒙古并分封万户,阿勒坦以集权手段促使了土默特部走向兴盛,人口流动,贸易兴起。但阿勒坦去世后,土默特部因内斗而衰落。权力的集中与分散影响了土默特部这一阶段的制度变迁,这符合传统游牧政权制度变迁的“路径依赖”。后金在统治漠南蒙古后,总体上实施盟旗制,土默特属于享受
随着淘宝村转型升级发展,创业者进入淘宝村创业的难度也随之升高。淘宝村已经表现出明显的生态特征,淘宝村生态系统的发展为农业生产方式、农村生活方式、农民思维方式和价值观念带来了深刻变革,成为影响农村经济发展的新型力量。研究淘宝村生态系统的实现机制为淘宝村生态系统的持续性发展具有重要意义。目前,对于淘宝村的研究内容已经非常丰富,但已有研究主要集中在淘宝村的形成动力、发展模式、产业集群、空间特征方面,且多
NBA作为世界篮球水平最高的联盟,篮球的发展始终处于世界前列,同时也聚焦着世界顶尖的篮球运动员。金州勇士队以“死亡五小”为战术核心,将后卫/前锋/中锋的位置全面模糊,帮助其取得四年内三次赢得冠军得傲人成绩。现代篮球发展视角下后卫/前锋/中锋的“位置模糊”现象开始逐步形成,而这类“位置模糊”的相关研究比较有限。对于这种现象,本研究通过系统地展开咨询、收集、整理和研究大量数据,梳理了运动员“位置模糊”
分数阶微积分(fractional order calculus,FOC)是在传统的整数阶微积分基础上,把传统的整数阶微积分运算推广到阶次为分数的运算。随着计算机技术的高速发展,制约分数阶微积分发展的因素越来越小,对分数阶微积分理论在各个领域的应用的研究都大规模开展起来。在控制领域,分数阶微积分可以为运动控制系统建立更精确的对象模型,设计性能更好的控制器,使系统获得更好的性能。本文利用分数阶微积分
远程监督关系抽取作为信息抽取领域的主要研究热点,逐渐受到了越来越多的学者的关注。远程监督关系抽取任务是通过远程监督方法自动生成训练数据集,并且识别出句子中实体对间的语义关系。但是现阶段远程监督关系抽取方法存在三个问题:(1)基于包级别的远程监督关系抽取方法大多采用卷积神经网络学习文本特征,但是卷积神经网络不能学习到文本的上下文信息;(2)基于句子级别的远程监督关系抽取去噪任务中现有模型对数据探索能
汽车安全是一个越来越重要的话题,随着我国汽车保有量和车辆碰撞事故人员伤亡数量的增加,汽车安全部件的优化设计显得尤为重要。汽车吸能盒是车辆被动安全措施之一,是碰撞过