计算机算术中若前缀计算问题的研究.pdf

摘 要 计算机算术是一个亘古而恒新的论题。随着微电子技术的飞速进步，以硬件电路 来实现的算术运算种类越来越丰富、运算器的位宽越来越大。但是二进制定点整数加 法始终是通用微处理器、数字信号处理器(DSP)和专用集成电路(ASIC)等各类集 成电路中最常用和最基础的算术运算。透彻而系统地研究整数加法器以及各种算术运 算单元中的各项处理技术意义重大。 本文以前缀计算的基本概念和图示方法为基础提出前缀计算图的张度、张度空间 等一系列相关概念、定义和定理与推论，完善和丰富了前缀计算的理论体系，为本文 的后续研究和证明提供理论基础。 本文对各种经典加法器的计算原理深入、系统地进行分析和必要的证明，一方面 从逻辑功能的角度将加法器分解成“计算各单个位上的进位条件”、“进位链计算” 和“根据进位情况计算最终和”三部分计算，另一方面将各种加法器的进位链构成方 式统一成四种分块递归扩展组织方式，提出了整数加法器计算和构成的内在统一模型。 本文通过对“根据进位情况计算最终和”这一部分进行演化，指出能够以各种不 同进位链结构的整数加法器为基础而仅以极少量电路逻辑改变“根据进位情况计算最 终和”就实现各种“拓广加法”运算，如双加运算、模加运算和差的绝对值求解。 本文提出并分析、证明“模2”一1加”和“模2”+1加”的新算法。对于“模2”一1 加”运算，提出了拆环式的新方案，既可以用于1补码，也可以用于二进制原码和补 码：对于“模2”+l加”运算，改变了传统的基于缩一码的作法，改为基于原码直接 进行计算，不仅改进了计算性能还减少了为了实现计算而进行的编码转换开销。 本文将构建的前缀计算理论体系和整数加法器的内在统一模型应用于构造三类前 缀计算图：最小深度前缀计算图的规则构造、最小深度前缀计算图的混合结构构造以 及任意深度最小延迟前缀计算图的构造。进一步定义一系列概念(如计算自由度、可 行区间等)、提出并证明一系列定理和推论，并以此为基础构造求解算法并对算法的 正确性进行形式证明。 本文将前缀计算理论应用于前导零问题。从前缀计算的角度，提出一系列的定义、 定理，证明了前导零检测算法本质上都可以归结为前缀计算问题，因而适用递归式求 解方法。在此基础之上，给出了前导零的二分递归检测算法，并加以证明；对于前导 零的预测方法，通过对加法运算量做“借位留存”减法，将对两个运算量的预测转换 为对{l，0，一1}数字字符集上的数字串的特征检测问题，从而能够应用二分递归求解方 法；经过细致分析、通过采用了消除连续的“一1，，串的重编码技术而提出了一种统一 位串形式来预测前导零的位数，并设计出一组位串构成形式的递归判别方法和前导零 位数的递归推断方法，解决了前人预测方案对有些情况有可能存在误差为l的问题。 本文还进一步将前导零预测的新方法应用于乘法一加法熔合运算单元，提出了加法 与舍入处理相结合的双路径处理设计，对前人的设计作了改进，针对不同类型的运算 数据采用不同的数据通路进行计算，降低了平均节拍数、．提高了计算效率。 关键词：计算机算术前缀计算整数加法器模加运算前导零乘法．加法熔舍运算 Abstract research stilla with traditional arithmetic，a topic，is hot-spotunceasing Compmer the andso,aleof circuit integratedgetsdramatically improvements．Whileprocess progress， inhardware are moreandmore arithmetic circuitry operations becoming implemented th