基于powerpc的浮点单元设计与验证-软件工程专业论文.docxVIP

学校代码 分 类 号  10701 TN82TN TN82 学 号 1211122856 密 级 公开 西安电子科技大学 硕士学位论文 基于 PowerPC 的浮点单元设计与验证 作者姓名： 张镨文 领 域： 学位类别： 软件工程 工程硕士 学校导师姓名、职称： 企业导师姓名、职称： 宣荣喜教授 田泽研究员 提交日期： 2014 年 12 月 Float Point Unit Design and Verification Based On PowerPC A thesis submitted to XIDIAN UNIVERSITY in partial fulfillment of the requirements for the degree of Master of Engineering By Zhang Puwen (Software Engineering Integrated Circuit Direction) Supervisor: Xuanrongxi Tian Ze Dec 2014 西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在 导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标 注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成 果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的 材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说 明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切的法律责任。 本人签名： 日 期： 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究 生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保 留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内 容，可以允许采用影印、缩印或其它复制手段保存论文。同时本人保证，毕业后 结合学位论文研究课题再撰写的文章一律署名单位为西安电子科技大学。 （保密的论文在解密后遵守此规定） 本学位论文属于保密，在 年解密后适用本授权书。 本人签名： 导师签名： 日 期： 日 期： 摘要 摘要 西安电子科技大学硕士学位论文 西安电子科技大学硕士学位论文 I I PAGE PAGE IV 摘要 从第一款微处理器诞生至今，微处理器的浮点处理在航空航天、多媒体、信 号处理等诸多领域有着越来越广泛的应用，与人类日常生活和工作的联系越来越 紧密。伴随科技的日益进步，人们对浮点处理的要求也越来越高，这就对浮点单 元的设计与验证提出了更大挑战。为此，论文重点进行基于 PowerPC 的浮点单元 的设计与验证。 详细分析了 PowerPC 发展背景和应用范围、浮点单元的功能需求和组成机理， 重点剖析了被广泛使用的、对计算机浮点数格式进行严格定义的 IEEE754 标准， 深入研究了浮点数的相关算法，为设计和研究奠定理论基础；基于 IEEE754 标准 和浮点数算法，给出了浮点单元的整体逻辑结构，完成了流水线、存储器寻址、 浮点指令、浮点异常与处理等浮点单元主要模块和功能的原理分析、详细设计和 关键的代码实现；依靠软硬件协同验证的方法，通过 Synopsys DVE E-2011.03 仿 真软件进行模块级验证，搭建了验证平台，经过细致的验证项策划，并借助 NC_verilog 仿真软件进行虚拟平台级验证，完成了对所设计浮点单元的验证工作， 所有验证项均通过，浮点单元的设计满足设计要求。 论文工作是对浮点单元设计的一次有益探索，对相关设计具有借鉴作用。 关 键 词：浮点单元， PowerPC， IEEE754 标准， 软硬件协同验证 论文类型：应用基础研究类 AB ABSTRACT 西安电子科技大学硕士学位论文 西安电子科技大学硕士学位论文 PAGE PAGE III PAGE PAGE IV ABSTRACT Since the first microprocessor was made, the floating-point processing of microprocessor has more and more widely applied in the field of aerospace, multi-media, signal processing and many others.It become increasingly closer in human daily life and work. With the increasing de