{-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 Floating-Point 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 | Floating-point arithmetic: reports and links |
William Kahan | IEEE Floating-Point Standards |
Peter Markstein | Elementary functions; IA-64 |
Jean-Michel Muller | ENS - Lyon: digital arithmetic; links to other people and Web sites; bibliographies |
Michael Parks | Floating-point arithmetic; testing |
John Harrisson | Floating-point verification |
David Russinoff | Floating-point verification |
Reto Zimmermann | VHDL libraries of arithmetic units; implementation of adders with standard cells |