期刊文献+

什么是不恢复余数法-阵列除法器的数学分析(Ⅰ) 被引量:1

On Non-restoring Division Algorithm—Mathematical Analysis on Non-restoring Array Divider(Ⅰ)
原文传递
导出
摘要 运算器对于CPU的性能有重要影响,除法器是运算器的一个重要组件.除法器电路常用不恢复余数法,但声称采用了不恢复余数法的各种电路采用的算法却有明显区别.后续文试图对不恢复余数法及不恢复余数阵列除法器电路进行分析.给出了不恢复余数法的一种数学形式及证明.这种形式经过等效变形后才成为电路所用的算法,这一点将在后续文中给出. ALU has great influenceon the performance of CPU. As an important component of ALU, divider is often an implementation of non-restoring division algorithm. However the algorithms adopted by the circuits claimed to be an implementation of non-restoring division algorithm are obviously different. This paper and its successor aim to analyze the non-restoring division algorithm and the non-restbring array divider. A kind of mathematical form and its proof of the non-restoring division algorithm are presented in this paper. After some equivalent transformation, the form will become the algorithm adopted by a circuit, as will be revealed in the successive paper.
作者 李小霞
出处 《数学的实践与认识》 CSCD 北大核心 2012年第20期191-196,共6页 Mathematics in Practice and Theory
关键词 不恢复余数法 陈列除法器 数学原理 Non-restoring division algorithm array divider mathematical principle
  • 相关文献

参考文献9

二级参考文献23

  • 1赵巍,孟庆志.FPGA及其设计方法[J].通信技术,1993(1):42-46. 被引量:2
  • 2David A P, John L H. Computer organization & design: the hardware / software interface[M]. 2nd ed. San Fransi sco: Morgan Kaufmann Publishers, 1998:202- 209. 被引量:1
  • 3龙翔,微型机与应用,1993年,1页 被引量:1
  • 4任长明,数字系统逻辑设计技术,1993年 被引量:1
  • 5刘杰.高速整数除法器的实现及仿真[J].福建电脑,2007,23(10):162-163. 被引量:4
  • 6Kapur D,Subramaniam M.Mechanizing Verification of Arithmetic Circuits:SRT Division.In:Proc.17th FSTTCS,Vol.1346 of LNCS,Springer Verlag,1997.103~122 被引量:1
  • 7Kapur D,Subramaniam M.Mechanically verifying a family of multiply circuits[A].In:Proc.of 8th Conf on Computer Aided Verification[C].Berlin:Springer-Verlag,1996.135~146 被引量:1
  • 8Kapur D,Subramaniam M.Using and Induction Prover for Verifying Arithmetic Circuits.J.of Software Tools for Technology Transfer.Springer-Verlag,2000,3(1):32~65 被引量:1
  • 9Akbarpour B,Tahar S,Dekdouk A.Formalization of Fixed-Point Arithmetic in HOL.Formal Methods in Systems Design,Springer Verlag,2005,27(1-2):173~200 被引量:1
  • 10Tahar S,Zobair M.H,Song X.Formal Verification of a SONET Data Stream Processor.IEE Proceedings-Computers and Digital Techniques,2004,151 (1):71 ~81 被引量:1

共引文献18

同被引文献7

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部