scientific article; zbMATH DE number 1852159

MaRDI QIDQ4787230zbMATH OpenFDO

Authors Roope Kaivola, Katherine Kohatsu

Publication date 9 January 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2144/21440196

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Computing methodologies and applications (68U99)

Recommendations

• Computer Aided Verification
• scientific article; zbMATH DE number 1670752
• scientific article; zbMATH DE number 1670746
• scientific article; zbMATH DE number 1852167
• A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7^™ Processor

Cited in

(11)

• scientific article; zbMATH DE number 1670752 (Why is no real title available?)
• Challenges and experiences in managing large-scale proofs
• Symbolic trajectory evaluation
• A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7^™ Processor
• scientific article; zbMATH DE number 1744957 (Why is no real title available?)
• A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program
• Computer Aided Verification
• Verification: industrial applications
• Computer Aided Verification
• A light-weight framework for hardware verification
• Formal verification of the VAMP floating point unit

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4787230)