{-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

  • IEEE Symposium on Computer Arithmetic (ARITH-xx)
  • Asilomar Conference on Circuits, Systems and Computers
  • SPIE Conference on Algorithms and Implementations for Signal Processing
  • International Conference on Computer Design (ICCD)

Journals and magazines

  • IEEE Transactions on Computers
    (in particular, Special Issues on Computer Arithmetic)
  • IEEE Journal on Solid State Circuits
  • IEEE Transactions on VLSI
  • Journal of VLSI Signal Processing
  • IEE Proceedings: Digital Techniques
  • IEEE Micro
  • Electronic Letters

Related sites and resources on the Web

UCLA Digital Arithmetic and Reconfigurable Architectures Lab

http://arith.cs.ucla.edu/

Stanford Architecture and Arithmetic Group

http://arith.stanford.edu/

UC Irvine: Numerical Processors Lab

http://www.eng.uci.edu/numlab/

Proof assistant

http://coq.inria.fr/

IEEE Floating-Point Standard

http://www.cs.berkeley.edu/~wkahan/ieee754status
IEEE FLPT Instruction Set (Compaq Alpha processor)

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

appA.html appB.html appC.html appD.html appE.html res.html