导读:本文包含了定点运算论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:单元,计算所,指令,处理器,运算器,标量,平方根。
定点运算论文文献综述
冯艳清,李德生,熊爱金[1]（2019）在《基于定点DSP的自然对数运算快速算法》一文中研究指出针对定点DSP在进行取自然对数运算时运算速度慢,无法满足日益增长的高速数字信号处理需求这一问题提出一种快速算法。该算法在分析浮点数据存储格式的基础上推导出该快速算法,并用C语言在TMS320C6455平台上进行了仿真实现,仿真验证了该算法可以极大提高取自然对数运算速度。(本文来源于《电脑知识与技术》期刊2019年31期）
郭静原[2]（2018）在《国内首款云端人工智能芯片发布》一文中研究指出智能芯片是前沿科技和社会关注的热点，也是人工智能技术发展过程中不可逾越的关键环节。可以说，不论有怎样领先的算法，要想最终应用，都必须通过芯片实现。5月3日，全球新一代人工智能芯片发布会在上海召开，中科院旗下的寒武纪科技公司发布了我国自主研发的C(本文来源于《经济日报》期刊2018-05-04）
夏顺兴,罗小华[3]（2018）在《一种定点化平方根倒数运算的硬件实现》一文中研究指出针对平方根倒数运算电路中传统的多次迭代法占用较多运算单元,以及多项式逼近法占用大量存储单元的问题,提出一种基于分段二次项式逼近与牛顿迭代相结合的定点化平方根倒数运算的硬件实现方法。结合两种方法的优点,即运用少量存储单元存储二次多项式系数用于求解迭代初值;然后对迭代初值进行一次牛顿迭代使根快速收敛。其中,对系数及过程变量都进行定点化处理,避免复杂的浮点运算。实验结果表明,该现实方法仅需584bit存储单元及少量乘加运算单元,求解误差小。(本文来源于《电子技术》期刊2018年01期）
杨天野,姜晶菲,段尧[4]（2017）在《浮动定点数运算器设计及误差分析》一文中研究指出基于大数据基础的深度学习技术的发展和成熟,使得计算平台的处理能力成为决定智能计算应用拓展的主要瓶颈之一。数据密集型的计算处理需要高性能处理器的支持,处理器或相关的计算加速器的数据表示及计算方法是影响处理器性能和实现代价的关键因素之一。双精度浮点数据表示及其运算表示数据范围大,精度高,但运算器复杂,运算速度慢,尤其不适合大规模并行实现。针对深度学习中的大量应用,有研究表明,缩减数据表示精度对应用效果没有明显影响。本文针对这一特点,研究面向定点数表示的运算器硬件结构设计及相应的误差分析,具体研究支持可浮动小数点的定点数表示方法和运算器结构,可根据具体需要改变小数点位置,并基于FPGA平台进行了设计实现。最后基于该数据表示和实现给出了详细的精度分析及评估。(本文来源于《第二十一届计算机工程与工艺年会暨第七届微处理器技术论坛论文集》期刊2017-08-17）
朱青[5]（2017）在《向量定点运算单元的形式化验证》一文中研究指出随着集成电路设计的复杂度和难度日益增大,验证作为设计过程中的关键环节,面临着巨大挑战。据统计,在芯片设计中,超过50%的人力和时间都投入到验证工作中,所以提高验证的效率和完整性,对于设计研发有着至关重要的意义。传统的模拟验证方法,其有效性很大程度上取决于测试向量的完备性,在面对大规模设计时,模拟验证逐渐暴露其难以覆盖所有测试向量的局限性。作为模拟验证的补充,形式验证能够高效地遍历整个状态空间,进而对设计进行完整的验证,近年来受到业界的广泛关注。本文针对一款服务器处理器核的向量定点运算单元展开形式化验证方法研究,结合JasperGold和ATEC形式化验证工具,采用等价性检验的方法实现对该运算单元的功能验证。本文的主要研究内容有以下几点:首先,根据向量定点运算单元的设计规范,完成参考模型的设计与验证。通过分析运算单元涉及的共138条指令功能,其中包括向量定点运算指令和少量浮点运算指令,使用C语言设计编写形式化验证中所需的参考模型。为了确保参考模型的有效性,利用定向测试和随机测试相结合的方法,完成对模型与设计规范功能一致性的验证。其次,以向量定点运算单元为对象,研究基于等价性检验的形式验证技术,解决当前形式验证能力不足的问题。首先根据向量定点运算单元的规模与电路结构特点,提出合理的验证方案;其次,针对设计中的关键子模块,使用Verilog HDL语言描述其电路功能,并应用JasperGold中的SEC(Sequential Equivalence Checking)工具完成对关键子模块的功能验证;最后,针对整个运算单元,通过ATEC工具完成电路设计与参考模型之间的等价性检验。在验证初期,为了快速定位设计缺陷,利用对控制信号的过度约束来逐条验证指令功能实现的正确性;在设计趋于稳定后,解除形式验证中的过度约束,最终实现完备的功能验证。与传统的模拟验证方法相比,形式化验证方法无需搭建复杂的验证平台和构建大量的测试向量,就能够快速找出反例,尤其是当模拟验证中随机测试难以覆盖边界情况时,该方法更加奏效。所以形式化验证方法在保证验证的完备性和提高验证效率方面具有极大优势。实验表明,本文为了解决设计规模和形式验证能力之间的矛盾所采用的利用过度约束有效分割状态空间的解决方案是行之有效的,此方案可为处理器其他运算单元的验证工作提供参考。(本文来源于《西安电子科技大学》期刊2017-06-01）
井冰,赵磊[6]（2016）在《基于定点DSP的FFT运算及误差分析》一文中研究指出在定点DSP中进行FFT运算,由于存储器字长有限,可能会产生量化误差、舍入误差和溢出误差,并随着蝶形运算级数的增加而逐渐累积。文章分别对定点FFT运算中的固定精度算法和扩展精度算法在不同字长的硬件系统中进行FFT运算所产生的误差进行仿真对比,实验结果为在定点DSP中实现FFT运算提供参考。(本文来源于《信息通信》期刊2016年03期）
汪峰[7]（2015）在《M-DSP定点运算单元及混洗单元的设计验证与优化》一文中研究指出随着航空航天、通信、医疗等领域中数据处理量的增大以及实时信息处理能力的需求提升,使得高性能DSP(Digital Signal Processing)成为国内外的研究热点。M-DSP是一款自主研发的32位高性能DSP,采用11发射的超长指令字(VLIW)体系结构,拥有强大的并行计算能力,在40nm工艺下主频达1GHz。本文基于M-DSP的研发平台,完成IALU单元和混洗单元的设计、优化、验证工作,主要内容如下:一、根据M-DSP的设计需求,设计了IALU单元的指令集和微体系结构,并实现了两种各具优点的IALU单元设计方案。一种是以Kogge-Stone树为核心的加法器分立式IALU结构,具有较好的时序,而且便于采用门控精细控制功耗,但面积较大;另一种是二级超前进位加法器IALU结构,IALU大多数指令通过复用加法器实现,IALU单元面积较小,但其结构复杂,时序相对较差。本文根据M-DSP的设计需要最终采用第一种实现方案。二、目前,传统的混洗指令需要使用Load指令提前加载混洗模式,这种方式占用过多的系统寄存器资源并且执行周期较长。为克服上述问题,本文设计了一款配置和执行相分离,并且拥有特定的混洗模式地址寄存器和混洗模式存储体的高效混洗单元。叁、针对本文所设计的IALU单元和混洗单元的特点,设计了完整详细的验证方案。主要采用模拟验证的方法,分别从模块级到系统级对IALU单元和混洗单元进行验证。模块级验证包括功能点、ATEC和随机数验证;系统级包括全局信号和指令组合验证等,并对验证情况做覆盖率统计,分析消除验证盲点。另外,采用形式化验证的方法,验证综合后网表和RTL级代码的一致性。四、分别对IALU单元和混洗单元设计采用树状选择结构、逻辑优化和流水线技术等方法进行时序优化,并采用门控时钟、逻辑重组、操作数隔离和状态码优化等方法进行RTL级功耗优化。最后在40nm CMOS工艺下,使用Design Complier综合工具对IALU单元和Shuffle单元进行综合,其中IALU关键路径延时为400ps,总面积为7004.2372um2;Shuffle单元关键路径延时为430ps,总面积为151811.721um2,结果表明其性能、面积达到M-DSP的设计要求。(本文来源于《国防科学技术大学》期刊2015-03-01）
郑慧,缪曙霞,张伟方,杜彪,丁可[8]（2014）在《一种基于定点运算的数字低通滤波器设计》一文中研究指出本文介绍了一种基于定点运算的数字低通滤波器软件设计方法,即通过软件模拟RC一阶低通滤波器的算法设计。该算法通过对发动机进气温度信号的滤波测试验证,证明其在实现理想滤波效果的同时,可以有效解决常规低通滤波器软件算法在基于定点运算的控制单元中产生的信号失真的问题。(本文来源于《2014中国汽车工程学会年会论文集》期刊2014-10-22）
易学渊,李涛,蒲林[9]（2014）在《一种图形处理用的多格式定点运算器》一文中研究指出典型图形处理管线中的隐藏面消除、视窗变换、图元光栅化和像素着色等渲染阶段只需要定点运算,但是这些定点运算的数值范围需要变动。因此,设计了一种多格式定点处理单元来满足这些运算需求。设计中采用了指令双发射和多配置流水线等超标量处理机制,访存采用直接寻址,不含通用寄存器和LD/ST操作。值得一提的是,指令字中设置了阻塞标志位,用于控制互连通信模式,数据字中设置了格式标志位,用于控制多格式定点数据的处理。处理器实现了指令级并行、数据级并行等并行处理方式。(本文来源于《计算机技术与发展》期刊2014年10期）
邬建方[10]（2013）在《定点问题中减少运算量的几种有效途径》一文中研究指出定点问题主要分成两大块,一类是直线经过定点的问题;另一类是除直线外通常是二次曲线经过定点的问题.本文笔者要阐述的是对直线经过定点这个问题的几点想法.根据笔者的教学经验,教师在指导学生解决直线经过定点时的常规思路是这(本文来源于《教学月刊·中学版(教学参考)》期刊2013年09期）
定点运算论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
智能芯片是前沿科技和社会关注的热点，也是人工智能技术发展过程中不可逾越的关键环节。可以说，不论有怎样领先的算法，要想最终应用，都必须通过芯片实现。5月3日，全球新一代人工智能芯片发布会在上海召开，中科院旗下的寒武纪科技公司发布了我国自主研发的C
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
定点运算论文参考文献
[1].冯艳清,李德生,熊爱金.基于定点DSP的自然对数运算快速算法[J].电脑知识与技术.2019
[2].郭静原.国内首款云端人工智能芯片发布[N].经济日报.2018
[3].夏顺兴,罗小华.一种定点化平方根倒数运算的硬件实现[J].电子技术.2018
[4].杨天野,姜晶菲,段尧.浮动定点数运算器设计及误差分析[C].第二十一届计算机工程与工艺年会暨第七届微处理器技术论坛论文集.2017
[5].朱青.向量定点运算单元的形式化验证[D].西安电子科技大学.2017
[6].井冰,赵磊.基于定点DSP的FFT运算及误差分析[J].信息通信.2016
[7].汪峰.M-DSP定点运算单元及混洗单元的设计验证与优化[D].国防科学技术大学.2015
[8].郑慧,缪曙霞,张伟方,杜彪,丁可.一种基于定点运算的数字低通滤波器设计[C].2014中国汽车工程学会年会论文集.2014
[9].易学渊,李涛,蒲林.一种图形处理用的多格式定点运算器[J].计算机技术与发展.2014
[10].邬建方.定点问题中减少运算量的几种有效途径[J].教学月刊·中学版(教学参考).2013
论文知识图
