Title:	Proving the Correctness of a Complete Microprocessor
Links:	Document as Postscript Document as PDF
Authors:	Christian Jacobi EMail
	Daniel Kröning EMail
Remarks:
Topics:	Sched , Verif , FPU , Systems

Bibtex:

@inproceedings{JK00,
  AUTHOR    = { Jacobi, Christian
                and Kröning, Daniel },
  TITLE     = { Proving the Correctness of a Complete Microprocessor },
  BOOKTITLE = { Informatik 2000, Proc. of the 30. Jahrestagung der Gesellschaft für Informatik },
  YEAR      = { 2000 },
  PUBLISHER = { Springer-Verlag },
  ISBN      = { 3-540-67880-8 },
  SERIES    = { Informatik aktuell },
  EDITOR    = { Mehlhorn, Kurt and Snelting, Gregor },
}