MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Floating-Point Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Floating-point verification
by John Harrison — 1995 — International Journal Of Man-Machine Studies
…Floating-Point Verification John Harrison (Intel Corporation, JF1-13, 2111 NE 25th Avenue…
Cited by 2 (0 self) – Add To MetaCart

Floating-Point Verification
by M. J. C. Gordon
…Floating-Point Verification M.J.C. Gordon Computer Laboratory University of Cambridge Case…
Add To MetaCart

Floating-Point Verification using Theorem Proving
by unknown authors
… Floating-Point Verification using Theorem Proving John Harrison Intel Corporation, JF1-13 2111…
Add To MetaCart

Floating-point verification using theorem proving
by John Harrison — 2006 — Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, volume 3965 of Lecture Notes in Computer Science
…Floating-Point Verification using Theorem Proving John Harrison Intel Corporation, JF1-13 2111 NE…
Cited by 2 (1 self) – Add To MetaCart

Floating point verification in HOL Light: the exponential function
by John Harrison — 1997 — University of Cambridge Computer Laboratory
…Floating point verification in HOL Light: the exponential function John Harrison University…
Cited by 14 (5 self) – Add To MetaCart

FPgen - A Test Generation Framework for Datapath Floating-Point Verification
by Merav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koifman, Raviv Nagel — 2003 — In Proc. IEEE International High Level Design Validation and Test Workshop 2003 (HLDVT03
…FPgen – A Test Generation Framework for Datapath Floating-Point Verification Merav Aharoni, Sigal…
Cited by 2 (0 self) – Add To MetaCart

A Hierarchical Verification of The IEEE-754 Table-Driven Floating- Point Exponential Function
by Amr Talaat Abdel-Hamid — 2001
…A Hierarchical Verification of the IEEE-754 Table-Driven Floating-Point Exponential Function using…
Cited by 1 (0 self) – Add To MetaCart

A summary of intrinsic partitioning verification
by David Greve, Raymond Richards, Matthew Wilding — 2004 — In In Proceedings of the Fifth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2
… [Ball2004], AMD’s floating-point verification [Russinoff2000], and Rockwell Collins’ requirements…
Cited by 15 (3 self) – Add To MetaCart

Formal Verification of Microprocessors at AMD
by Arthur Flatau, Matt Kaufmann, Matt Kaufmann (speaker, David F. Reed, David Russinoff, Eric Smith, Rob Sumners — 2002
…-level proofs 5 b Floating-point Verification, page 1 c A natural target for theorem provers [10, 4] ffl…
Cited by 3 (2 self) – Add To MetaCart

Theorem Proving with the Real Numbers
by John Robert Harrison — 1996
… interesting and important application areas, such as the verification of floating point hardware and hybrid…
Cited by 58 (10 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB