近日，我校计算机学院（软件学院）周建涛教授课题组与美国波特兰州立大学宋晓宇教授课题组合作的最新研究成果“Constructing High Radix Quotient Digit SelectionTables for SRT Division and Square Root”被计算机领域国际顶级期刊《IEEE Transactions on Computers》正式录用，论文的预印版本目前已发布在IEEE Xplore上。（DOI：10.1109/TC.2023.3235978）论文选题研究微处理器的除法器设计，是一项理论要求高、研究难度大的工作，团队的研究成果有望为微处理器设计的“卡脖子”问题做出贡献。

Sweeney-Robertson-Tocher(SRT)除法器将商位计算的过程转变为对商位选择表的查找，缩减了商位计算过程中的时间和性能消耗，从而得到了广泛的应用。高基数SRT除法器的设计在当代微处理器中发挥着重要作用。然而，在传统方法中，商位选择表是对重叠区域上下界进行截断操作来构建的。表格构建过程缺乏数学严谨性，因此容易出错。

为了保证商位选择表构建的正确性，论文提出了一种对任意有效冗余度情况下，计算商位选择表的代数方法。我们提出了适应任意冗余度的商位选择函数来构建SRT除法和SRT平方根设计过程中所需的商位选择表。

论文首先对SRT除法中适应任意冗余度的最大和最小商位选择函数进行了推导。

然后提出了SRT开平方计算中适应任意冗余度的最大和最小商位选择函数，同时分析了除法和平方根计算过程中商位选择表相结合的必要条件。

最后，对上述研究工作进行了程序实现，同时展示了冗余度为 2/3时基数4SRT除法与平方根中最小商位选择方式的商位选择表计算结果。

根据我们的计算结果，构建出了冗余度为2/3情况下基数4SRT除法与平方根计算的商位选择表（如Fig.1）。该商位选择表不仅用于除法，在迭代次数大于3时，对平方根的商位选择也是有效的。

《IEEE Transactions on Computers》是计算机领域顶级的国际期刊，也是中国计算机学会（CCF）认定的体系结构领域的A类期刊之一。该刊物创建于1952年，迄今已有70年历史，是计算机领域历史最悠久的期刊之一，每年录用论文仅160余篇，在计算机专业享有盛誉，行业内广受认可。我校计算机学院（软件学院）周建涛教授为该论文的通讯作者，计算机学院（软件学院）2019级博士生刘梓璇为第一作者。

周建涛教授（左二）与博士生刘梓璇（右二）等

供稿：计算机学院（软件学院）   编辑：李文娟     审核：刘雪峰