{1,0,1} 
Digital Arithmetic 
Milos D. Ercegovac and Tomas Lang 
Morgan Kaufmann Publishers, an imprint of Elsevier Science, 2004 
Appendix F: Resources on the Web 
This page contains links to several sites on the Web which contain information relevant to digital arithmetic 
Conference proceedings 

Journals and magazines 

Related sites and resources on the Web 

UCLA Digital Arithmetic and Reconfigurable Architectures Lab 

Stanford Architecture and Arithmetic Group 

UC Irvine: Numerical Processors Lab 

Proof assistant 

IEEE FloatingPoint Standard 
http://www.cs.berkeley.edu/~wkahan/ieee754status 
Resources for computer arithmetic  http://www.geocities.com/ieee754/resources.html 
Bibliography  http://liinwww.ira.uka.de/bibliography/Math/computer.arithmetic.html 
People  
David G. Hough  Floatingpoint arithmetic: reports and links 
William Kahan  IEEE FloatingPoint Standards 
Peter Markstein  Elementary functions; IA64 
JeanMichel Muller  ENS  Lyon: digital arithmetic; links to other people and Web sites; bibliographies 
Michael Parks  Floatingpoint arithmetic; testing 
John Harrisson  Floatingpoint verification 
David Russinoff  Floatingpoint verification 
Reto Zimmermann  VHDL libraries of arithmetic units; implementation of adders with standard cells 