导读:本文包含了定点运算论文开题报告文献综述及选题提纲参考文献，主要关键词:智能芯片,云端,人工智能,寒武纪,首款,处理器,学习模型,中科院计算所,定点运算,机器学习
定点运算论文文献综述
郭静原[1]（2018）在《国内首款云端人工智能芯片发布》一文中研究指出智能芯片是前沿科技和社会关注的热点，也是人工智能技术发展过程中不可逾越的关键环节。可以说，不论有怎样领先的算法，要想最终应用，都必须通过芯片实现。5月3日，全球新一代人工智能芯片发布会在上海召开，中科院旗下的寒武纪科技公司发布了我国自主研发的C(本文来源于《经济日报》期刊2018-05-04）
夏顺兴,罗小华[2]（2018）在《一种定点化平方根倒数运算的硬件实现》一文中研究指出针对平方根倒数运算电路中传统的多次迭代法占用较多运算单元,以及多项式逼近法占用大量存储单元的问题,提出一种基于分段二次项式逼近与牛顿迭代相结合的定点化平方根倒数运算的硬件实现方法。结合两种方法的优点,即运用少量存储单元存储二次多项式系数用于求解迭代初值;然后对迭代初值进行一次牛顿迭代使根快速收敛。其中,对系数及过程变量都进行定点化处理,避免复杂的浮点运算。实验结果表明,该现实方法仅需584bit存储单元及少量乘加运算单元,求解误差小。(本文来源于《电子技术》期刊2018年01期）
席伟俤,李伟刚,李鹏杰[3]（2017）在《32位定点运算数学库IQmath在航空发动机FADEC系统中的应用》一文中研究指出为提高航空发动机FADEC系统定点CPU的计算效率和计算精度,针对实际工程应用中的数学运算的方法展开讨论,分析了定点数运算和浮点数运算在计算精度和运行效率方面存在的差异。参考TI公司的设计理念,自行设计了支持统一定点算法和可变定点算法的32位定点运算数学库IQmath。在国内发动机控制领域不再依赖国外的库函数,掌握了32位定点数学库的源代码,并在实际项目中应用了IQmath数学库。试验结果表明:IQmath数学库的应用提高了定点CPU数学运算的精度和效率,完满实现了预定的控制算法。(本文来源于《航空发动机》期刊2017年05期）
韦宏[4]（2017）在《一种基于定点DSP芯片的数据运算精度提高方法》一文中研究指出针对计量测试技术等领域对数据运算精度高的要求,提出了一种基于定点DSP芯片的数据运算精度提高方法,该方法借用浮点运算底层操作的机理,根据运算数据的数值范围,通过引入规格化因子,动态调整运算数据格式,使得参与运算的数据控制在预知的数值范围之内,该方法可以在略微增加运算量的条件下,有效提高定点DSP运算结果的精度。(本文来源于《中国新通信》期刊2017年18期）
杨天野,姜晶菲,段尧[5]（2017）在《浮动定点数运算器设计及误差分析》一文中研究指出基于大数据基础的深度学习技术的发展和成熟,使得计算平台的处理能力成为决定智能计算应用拓展的主要瓶颈之一。数据密集型的计算处理需要高性能处理器的支持,处理器或相关的计算加速器的数据表示及计算方法是影响处理器性能和实现代价的关键因素之一。双精度浮点数据表示及其运算表示数据范围大,精度高,但运算器复杂,运算速度慢,尤其不适合大规模并行实现。针对深度学习中的大量应用,有研究表明,缩减数据表示精度对应用效果没有明显影响。本文针对这一特点,研究面向定点数表示的运算器硬件结构设计及相应的误差分析,具体研究支持可浮动小数点的定点数表示方法和运算器结构,可根据具体需要改变小数点位置,并基于FPGA平台进行了设计实现。最后基于该数据表示和实现给出了详细的精度分析及评估。(本文来源于《第二十一届计算机工程与工艺年会暨第七届微处理器技术论坛论文集》期刊2017-08-17）
朱青[6]（2017）在《向量定点运算单元的形式化验证》一文中研究指出随着集成电路设计的复杂度和难度日益增大,验证作为设计过程中的关键环节,面临着巨大挑战。据统计,在芯片设计中,超过50%的人力和时间都投入到验证工作中,所以提高验证的效率和完整性,对于设计研发有着至关重要的意义。传统的模拟验证方法,其有效性很大程度上取决于测试向量的完备性,在面对大规模设计时,模拟验证逐渐暴露其难以覆盖所有测试向量的局限性。作为模拟验证的补充,形式验证能够高效地遍历整个状态空间,进而对设计进行完整的验证,近年来受到业界的广泛关注。本文针对一款服务器处理器核的向量定点运算单元展开形式化验证方法研究,结合JasperGold和ATEC形式化验证工具,采用等价性检验的方法实现对该运算单元的功能验证。本文的主要研究内容有以下几点:首先,根据向量定点运算单元的设计规范,完成参考模型的设计与验证。通过分析运算单元涉及的共138条指令功能,其中包括向量定点运算指令和少量浮点运算指令,使用C语言设计编写形式化验证中所需的参考模型。为了确保参考模型的有效性,利用定向测试和随机测试相结合的方法,完成对模型与设计规范功能一致性的验证。其次,以向量定点运算单元为对象,研究基于等价性检验的形式验证技术,解决当前形式验证能力不足的问题。首先根据向量定点运算单元的规模与电路结构特点,提出合理的验证方案;其次,针对设计中的关键子模块,使用Verilog HDL语言描述其电路功能,并应用JasperGold中的SEC(Sequential Equivalence Checking)工具完成对关键子模块的功能验证;最后,针对整个运算单元,通过ATEC工具完成电路设计与参考模型之间的等价性检验。在验证初期,为了快速定位设计缺陷,利用对控制信号的过度约束来逐条验证指令功能实现的正确性;在设计趋于稳定后,解除形式验证中的过度约束,最终实现完备的功能验证。与传统的模拟验证方法相比,形式化验证方法无需搭建复杂的验证平台和构建大量的测试向量,就能够快速找出反例,尤其是当模拟验证中随机测试难以覆盖边界情况时,该方法更加奏效。所以形式化验证方法在保证验证的完备性和提高验证效率方面具有极大优势。实验表明,本文为了解决设计规模和形式验证能力之间的矛盾所采用的利用过度约束有效分割状态空间的解决方案是行之有效的,此方案可为处理器其他运算单元的验证工作提供参考。(本文来源于《西安电子科技大学》期刊2017-06-01）
张红升,王国裕,陆明莹[7]（2017）在《基于MATLAB定点运算的数字集成电路协同设计方法》一文中研究指出为提高超大规模数字集成电路设计中算法评估和电路仿真的效率,介绍了一种基于MATLAB定点运算模型的数字集成电路协同设计方法。针对定点运算的基本操作,建立了一套可与硬件电路行为精确对应的MATLAB模型,并据此搭建出系统的总体定点算法模型。该模型既可与系统浮点算法模型对比以评估算法性能,又能模拟电路的操作,为硬件设计提供精确参考。通过与电路仿真软件的协同操作,可实现仿真结果的自动检查以及错误源头的快速定位,提高仿真和验证的效率。基于该方法设计了2种系统级芯片,均一次流片成功,证明了该方法的有效性。(本文来源于《微电子学》期刊2017年01期）
井冰,赵磊[8]（2016）在《基于定点DSP的FFT运算及误差分析》一文中研究指出在定点DSP中进行FFT运算,由于存储器字长有限,可能会产生量化误差、舍入误差和溢出误差,并随着蝶形运算级数的增加而逐渐累积。文章分别对定点FFT运算中的固定精度算法和扩展精度算法在不同字长的硬件系统中进行FFT运算所产生的误差进行仿真对比,实验结果为在定点DSP中实现FFT运算提供参考。(本文来源于《信息通信》期刊2016年03期）
汪峰[9]（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）
郑慧,缪曙霞,张伟方,杜彪,丁可[10]（2014）在《一种基于定点运算的数字低通滤波器设计》一文中研究指出本文介绍了一种基于定点运算的数字低通滤波器软件设计方法,即通过软件模拟RC一阶低通滤波器的算法设计。该算法通过对发动机进气温度信号的滤波测试验证,证明其在实现理想滤波效果的同时,可以有效解决常规低通滤波器软件算法在基于定点运算的控制单元中产生的信号失真的问题。(本文来源于《2014中国汽车工程学会年会论文集》期刊2014-10-22）
定点运算论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对平方根倒数运算电路中传统的多次迭代法占用较多运算单元,以及多项式逼近法占用大量存储单元的问题,提出一种基于分段二次项式逼近与牛顿迭代相结合的定点化平方根倒数运算的硬件实现方法。结合两种方法的优点,即运用少量存储单元存储二次多项式系数用于求解迭代初值;然后对迭代初值进行一次牛顿迭代使根快速收敛。其中,对系数及过程变量都进行定点化处理,避免复杂的浮点运算。实验结果表明,该现实方法仅需584bit存储单元及少量乘加运算单元,求解误差小。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
定点运算论文参考文献
[1].郭静原.国内首款云端人工智能芯片发布[N].经济日报.2018
[2].夏顺兴,罗小华.一种定点化平方根倒数运算的硬件实现[J].电子技术.2018
[3].席伟俤,李伟刚,李鹏杰.32位定点运算数学库IQmath在航空发动机FADEC系统中的应用[J].航空发动机.2017
[4].韦宏.一种基于定点DSP芯片的数据运算精度提高方法[J].中国新通信.2017
[5].杨天野,姜晶菲,段尧.浮动定点数运算器设计及误差分析[C].第二十一届计算机工程与工艺年会暨第七届微处理器技术论坛论文集.2017
[6].朱青.向量定点运算单元的形式化验证[D].西安电子科技大学.2017
[7].张红升,王国裕,陆明莹.基于MATLAB定点运算的数字集成电路协同设计方法[J].微电子学.2017
[8].井冰,赵磊.基于定点DSP的FFT运算及误差分析[J].信息通信.2016
[9].汪峰.M-DSP定点运算单元及混洗单元的设计验证与优化[D].国防科学技术大学.2015
[10].郑慧,缪曙霞,张伟方,杜彪,丁可.一种基于定点运算的数字低通滤波器设计[C].2014中国汽车工程学会年会论文集.2014