Title:	Proving the Correctness of a Complete Floating Point Unit on the Gate Level
Links:	Document as Postscript
Authors:	Christian Jacobi EMail
Remarks:	Talk given at the AOC Workshop on Certified Arithmetic at ENS Lyon
Topics:

Bibtex:

@misc{cjtalk00,
  AUTHOR    = { Jacobi, Christian },
  TITLE     = { Proving the Correctness of a Complete Floating Point Unit on the Gate Level },
  YEAR      = { 2000 },
  HOWPUBLISHED= { Talk given at the AOC Workshop on Certified Arithmetic at ENS Lyon },
  MONTH     = { Nov },
}