Computer Architecture

View by Topics , People , Publications

 

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 },
}

Back to the institute's home page.

We welcome feedback and comments at www@wurzelausix.cs.uni-sb.de.
Last modified on Sep 25, 2000 by Daniel Kröning.