scientific article; zbMATH DE number 1543287

MaRDI QIDQ4520749zbMATH OpenFDO

Authors Hesham A. al-Twaijry, Stuart F. Oberman, Steve T. Fu, Michael J. Flynn

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_4_2/the_snap_project_building

zbMATH Keywords

arithmetic processorcomputer arithmetic

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• scientific article; zbMATH DE number 1852167
• scientific article; zbMATH DE number 4182703
• scientific article; zbMATH DE number 1206079
• A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7^™ Processor
• Formal verification of the VAMP floating point unit

Cited in

(1)

• A bit-serial floating-point unit for a massively parallel system on a chip

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 Q4520749)