Formal Verification of the VAMP Floating Point Unit-Reference-Cited by-同舟云学术

Formal Verification of the VAMP Floating Point Unit

Published:2001 Issue: Volume: Page:325-339
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Berg Christoph,Jacobi Christian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44798-9_26

Reference24 articles.

1. M. D. Aagaard and C.-J. H. Seger. The formal verification of a pipelined double-precision IEEE floating-point multiplier. In ICCAD, pages 7–10. IEEE, Nov. 1995.

2. C. Berg, C. Jacobi, and D. Kroening. Formal verification of a basic circuits library. In IASTED International Conference on Applied Informatics. ACTA Press, 2001.

3. Lect Notes Comput Sci;Y.-A. Chen,1998

4. M. Cornea-Hasegan. Proving the IEEE correctness of iterative floating-point square root, divide, and remainder algorithms. Intel Technology Journal, Q2, 1998.

5. Lect Notes Comput Sci;E. M. Clarke,1996

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

1. Formal Verification of n-bit ALU Using Theorem Proving;Lecture Notes in Computer Science;2018

2. Theory of Multi Core Hypervisor Verification;Lecture Notes in Computer Science;2013

3. Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback;Electronic Proceedings in Theoretical Computer Science;2011-10-20

4. Putting it all together – Formal verification of the VAMP;International Journal on Software Tools for Technology Transfer;2006-05-02

5. Formalization of Fixed-Point Arithmetic in HOL;Formal Methods in System Design;2005-09