公司周建涛教授课题组与美国波特兰州立大学宋晓宇教授课题组合作研究的论文《Constructing High Radix Quotient Digit Selection Tables for SRT Division and Square Root》被国际期刊《IEEE Transactions on Computers》录用，即将发表。该期刊为国际上公认的极少数的顶级期刊，是中国计算机学会（CCF）推荐的A类学术期刊。

在现代微处理器的除法器设计中，高基数SRT（Sweeney-Robertson-Tocher）除法算法中商位选择表（quotient digit selection table）的正确构建发挥着重要作用。论文提出了一种在高基数SRT除法及平方根中计算商位选择表的代数方法，该方法构建了在任意冗余度情况下的商位选择表，有效地保证了商位选择表在构建过程中的数学严谨性。

公司博士生刘梓璇是论文的第一作者，2019年9月通过申请考核方式录取到周教授团队攻读博士学位。选题研究微处理器的除法器设计，是一项理论要求高、研究难度大的工作，团队的研究成果有望为微处理器设计的“卡脖子”问题做出贡献。

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