Verifying the SRT division algorithm using theorem proving techniques-Reference-Cited by-同舟云学术

Verifying the SRT division algorithm using theorem proving techniques

Published:1996 Issue: Volume: Page:111-122
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Clarke E. M.,German S. M.,Zhao X.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61474-5_62.pdf

Reference18 articles.

1. APT Data Services. Pentium bug fiasco costs Intel dear. Computer Business Review, January 3, 1995.

2. D. E. Atkins. Higher-radix division using estimates of the divisor and partial remainders. IEEE Transactions on Computers, C-17(10):925–934, October 1968.

3. W. W. Bledsoe. The UT natural deduction prover. Technical Report ATP-17B, Mathematical Dept., University of Texas at Austin, 1983.

4. W. W. Bledsoe, P. Bruell, and R. Shostak. A prover for general inequalities. Technical Report ATP-40A, Mathematical Dept., University of Texas at Austin, 1979.

5. R. S. Boyer and J. S. Moore. A Computational Logic Handbook. Academic Press, 1988.

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient Formal Verification and Debugging of Arithmetic Divider Circuits;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28

2. Scalable architecture of constant division on FPGA;2023 IEEE 30th Symposium on Computer Arithmetic (ARITH);2023-09-04

3. Novel data dependent divider circuit block implementation for complex division and area critical applications;Scientific Reports;2023-02-21

4. Formal Verification of the VAMP Floating Point Unit;Formal Methods in System Design;2005-05

5. Verification of an Advanced mips-Type Out-of-Order Execution Algorithm;Computer Aided Verification;2004