基于BOOM的浮点单元的设计优化与验证

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:brinsh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
RISC-V指令集架构的诞生让国内CPU行业的发展看到了希望,而浮点执行单元是CPU设计中的关键单元,其设计复杂,执行时间长,常常由于过长的关键路径而影响CPU的时序性能,所以怎样提高浮点单元的性能成为处理器设计中的关键研究方向。本文基于RISC-V架构满足BOOM指令集设计一款支持单、双精度的浮点执行单元并对其进行时序优化和验证。浮点单元的设计主要包括数据通路和运算模块的设计。浮点指令有54条,包括浮点乘加、浮点除法、浮点开方、浮点转换、浮点比较以及浮点存储类指令。其中浮点除法在基2的手工算法上进行改进,使用基4算法来实现,因为基4算法每次循环可以产生两位商数字,所以相比较基2的手工算法,运算周期缩短一半。浮点乘加融合部件在原有的基础上添加前导零预测部件,使得前导零的预测能够与尾数加减操作同时执行,从而提高了后续的规格化移位的效率,降低操作延时,同时采用双精度乘加部件完成单精度的乘加运算,实现方法是将单精度数在运算前先转换为双精度形式,运算后再转换成单精度形式,其引起的操作延时增加很小,但是很大的减少了面积占用。最后,基于UVM验证方法学搭建验证平台来验证FPU模块的正确性,同时使用FPGA完成系统级验证。验证平台采用定向向量和随机向量共同测试的方法,Reference采用伯克利大学的Soft Float,经过多次验证,功能覆盖率达到100%,代码覆盖率达到99.6%。FPGA验证也顺利跑过所有的SPEC2006测试集,IPC提升9%。使用Design Compile工具在28nm工艺下采用tt工艺角进行综合,时序提高2.7倍,面积减少8.7%,功耗减少7%。
其他文献
本文主要对单相电流源并网逆变器进行研究。首先分析了并网逆变器的研究现状和发展趋势,再介绍本文主要分析的单相电流源并网逆变器的关键问题:漏电流问题、系统有源阻尼、电网背景谐波影响和二倍频功率问题。对传统单相电流源逆变器,本文对其工作模式进行了分析,建立了单相电流源逆变器的数学模型。对系统稳定性进行分析,对无源阻尼方式进行了分析和对比。分析了单相电流源逆变器并网系统的控制策略,对电流环参数进行设计。建
随着课改地不断推进,广大学者和一线语文教师意识到了传统小说阅读教学的弊端,提出了许多经得起检验的教学策略。细观当前小说阅读教学不难发现,模式虽层出不穷,但仍存在诸多问题,如:课前诊断性评估缺失、教学内容固化、教学内容错位、审美解读缺失等。小说是文学类文本,应该从文学的审美角度出发,体现小说的文类特性,挖掘“这一篇”小说文本的独特魅力。真正实效的小说课堂,应该让学生在深入文本中将隐藏于字里行间的深层
核管道作为核电站的“主动脉”,是能够保证核安全的重要设备,其弯制成形过程是管材成形技术领域的难题。本文主要是针对CAP1400主管道及波动管温弯过程中产生的截面畸变、回弹等缺陷问题,展开复杂温弯工艺参数下,大口径厚壁管材综合成形性数值模拟及控制研究。首先,对管材温弯成形的全过程进行理论分析,并推导出管坯外侧最小壁厚减薄率、管坯内侧最大壁厚增厚率、椭圆度、回弹角、弯曲力矩的理论计算公式,并且给出了主
研究背景:恶性胸膜间皮瘤(malignant pleural mesothelioma,MPM)作为一在全球范围内愈发常见的肿瘤,侵袭性高、预后不良,临床方面治疗措施有限。EZH2基因是近年发现与肺癌等多种恶性肿瘤发生发展及预后相关的染色质修饰转录抑制因子,有关EZH2在MPM中的功能作用以及通路机制亦逐渐展开。目前,MPM的发病机制并未得到完全阐明,已有研究表明在MPM发生发展过程中Hedgeh
目的:探讨妇科疾病优质护理中运用个性化沟通模式的临床价值。方法:选择2017年5月-2018年9月期间我院收治的妇科疾病患者186例为研究对象,按照随机数字法将其分为两组,其中给
作为档案外延概念之一的地方特色档案,具有鲜明的地方个性,可以反映一个地区的历史特征,人文特征和民族特征,并为人们了解历史和客观世界提供良好的教材。地方特色档案从经济建设,法律政治建设,自然保护,文化习俗保存等方面展示了不同地区独特而稀缺的资源,客观真实地展现了特定地区特定事物的发展进程,为在留存历史、留存社会记忆提供了记录凭证。档案资源建设在整个档案工作中的基础性工作,没有档案资源建设,其他环节就
随着校园足球的蓬勃发展,国家不断提出相关政策,愈来愈重视足球裁判培养,将足球裁判与教练放入同等地位培养。在校园足球比赛场次日益增多、比赛质量不断提高的同时,校园足球裁判水平也深深地影响着校园足球运动发展,所以对裁判的需求变大、执法水平也要求更高。目前,我国校园足球裁判整体水平不高,成为限制足球运动发展因素之一。为了更有效的发展我国校园足球,同时也应将校园足球裁判培养放在重要的地位。随着延边校园足球
2007年随着《民事诉讼法》的修改申请执行人执行异议之诉在内的执行异议制度第一次进入诉讼程序。申请执行人执行异议之诉制度始于执行程序,因此其具有执行程序与民事诉讼的双重因素。2016年之前以吉林省为例,申请执行人执行异议之诉案件一整年才几十件,在民事诉讼中算是“冷门”。但2016年的案件数量达到了 2015年的几十倍。究其原因,与2016年周强院长表示“利用两到三年时间,基本解决执行难”有很大的关
脑胶质瘤(GBM)在所有肿瘤疾病中,是最为强侵袭性、难治疗的肿瘤之一,而胶质瘤干细胞(GSC)是导致GBM发展以及后续复发的基本因素,因此针对肿瘤干细胞的治疗是彻底根治肿瘤的过程。近年来,随着再生医学、组织工程、基因治疗等技术的快速发展,采用基因工程的方法作为一种抑制胶质瘤的治疗手段,其作用越来越突出。其中,病毒载体方法是应用最广的基因传递方法,但仍然存在一定的局限性。人们把目光更多地转向了非病毒
多目标优化问题同时求解多个互相冲突的优化目标,是一类重要但难以求解的优化问题。多目标优化问题的复杂性由两方面体现,即决策空间的复杂性和目标空间的复杂性。决策空间中的复杂性体现在决策变量的链式相关性以及决策序列维度爆炸导致的规模增大。目标空间的复杂性则由帕累托前沿面形状复杂,各目标求解难度差异导致的解集分布不均匀导致。基于分解的进化多目标优化算法借助一束权重向量,将原问题分解为一系列子问题同时求解,