导读:本文包含了标量微处理器论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:标量,微处理器,浮点,向量,指令,法学,处理器。
标量微处理器论文文献综述
肖云飞[1](2017)在《微处理器向量标量定浮点转换单元的验证研究》一文中研究指出随着集成电路进入超摩尔时代,集成电路规模日益增大,功能日渐复杂,验证工作在芯片研发周期中占到约70%的时间,传统的直接验证已无法满足工程上的要求。工程师希望通过提高代码复用率,随机化测试激励,自动化结果比对等方法来缩短验证周期,因此提出了基于System Verilog的通用验证方法学,并成为业界主流。然而,在某些数据量巨大的工程中,通用验证方法学也遇到了瓶颈,工程师们期待通过使用较少的测试用例来实现所有功能点的验证,并且开始将目光从仿真验证转向形式验证,即通过数学方法来更加高效的验证电路的正确性,从而提高验证效率。本文的验证对象是一款微处理器的向量标量定浮点转换单元,其功能繁杂且没有类似的验证方案供参考。针对这一问题,本文详细研究了IEEE754标准以及指令集对浮点数的特殊规定、指令运行的架构基础,并在此基础上,制定出以仿真验证为主形式验证为辅的验证方案。向量标量定浮点转换单元还具有数据类型多、数据量大的特点,单条指令的输入变化最高可达2~(133)种情况,测试所有的输入在工程上不具有可行性,对验证的完备性也构成了很大的挑战。针对这一问题,本文深入分析了每类指令在每种运算模式下的运算过程,综合运用等价类分解法、边界值分解法等方法,从运算过程中归纳出每类指令的功能点,依据功能点设置指令源操作数激励的约束,从而只需较少的测试用例即可测试所有的功能点,同时保证了项目的可行性以及验证的完备性。此外,本文还简单探究了等价性检验的方法,并归纳其优缺点。仿真验证的验证平台需要模拟指令的执行环境,包括实现指令译码,模拟源操作数寄存器以及浮点状态控制寄存器,以及上述叁者的同步等较多功能。针对这一问题,本文采用了通用验证方法学组件来划分并模拟各模块的功能,使得平台更具条理性以及维护性。依据验证方案进行验证后,仿真验证代码覆盖率达到97%,功能覆盖率达到100%,并针对未覆盖到的代码覆盖率给出合理的解释,形式验证中部分代表性的指令通过了等价性检验,项目最终取得了比较理想的验证效果。(本文来源于《西安电子科技大学》期刊2017-04-01)
王光[2](2002)在《视频DSP XY-VDSP中32位标量微处理器的研究与设计》一文中研究指出本论文的设计工作源于国家八六叁项目——《视频数字信号处理IP核的设计》。论文完成了其中的标量微处理器部分的研究与设计。 论文采用自顶向下的正向设计方法,完成了视频DSP XY-VDSP芯片中的32位标量微处理器的体系结构设计、电路实现以及FPGA验证。 本论文作者的主要研究与设计工作如下: 首先,论文作者参与研究和设计了整个视频DSP系统的体系结构;在此基础上作者研究提交了32位标量微处理器的实现方案,并完全实现了其电路。其中,特别研究了合理选择处理器数据通路中最主要的两个部件——加法器和移位寄存器的方法,并最终实现了32位标量微处理器中的跳跃进位加法器和桶式移位寄存器。 其次,论文讨论了中断控制器和系统的内建测试功能的设计方案,并实现了其功能。 第叁,对整个标量微处理器进行了功能级仿真,包括逐条指令仿真,特殊指令程序段仿真和应用程序实例仿真,并且进一步与整个视频DSP系统连在一起,对标量微处理器进行了功能仿真。 最后,对32位标量处理器进行了FPGA验证。 目前,该视频DSP项目已经通过了国家八六叁专家组的验收。该项目的研究成果,有助于加快我国研制具有自主版权的视频DSP芯片的进程,为视讯电子系统的核心芯片国产化打下基础,具有重要的应用前景。(本文来源于《西安电子科技大学》期刊2002-01-01)
标量微处理器论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本论文的设计工作源于国家八六叁项目——《视频数字信号处理IP核的设计》。论文完成了其中的标量微处理器部分的研究与设计。 论文采用自顶向下的正向设计方法,完成了视频DSP XY-VDSP芯片中的32位标量微处理器的体系结构设计、电路实现以及FPGA验证。 本论文作者的主要研究与设计工作如下: 首先,论文作者参与研究和设计了整个视频DSP系统的体系结构;在此基础上作者研究提交了32位标量微处理器的实现方案,并完全实现了其电路。其中,特别研究了合理选择处理器数据通路中最主要的两个部件——加法器和移位寄存器的方法,并最终实现了32位标量微处理器中的跳跃进位加法器和桶式移位寄存器。 其次,论文讨论了中断控制器和系统的内建测试功能的设计方案,并实现了其功能。 第叁,对整个标量微处理器进行了功能级仿真,包括逐条指令仿真,特殊指令程序段仿真和应用程序实例仿真,并且进一步与整个视频DSP系统连在一起,对标量微处理器进行了功能仿真。 最后,对32位标量处理器进行了FPGA验证。 目前,该视频DSP项目已经通过了国家八六叁专家组的验收。该项目的研究成果,有助于加快我国研制具有自主版权的视频DSP芯片的进程,为视讯电子系统的核心芯片国产化打下基础,具有重要的应用前景。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
标量微处理器论文参考文献
[1].肖云飞.微处理器向量标量定浮点转换单元的验证研究[D].西安电子科技大学.2017
[2].王光.视频DSPXY-VDSP中32位标量微处理器的研究与设计[D].西安电子科技大学.2002