Title:	Formal Verification of the VAMP Microprocessor (Project Status)
Links:	Document as Postscript
Authors:	Christoph Berg EMail
	Sven Beyer EMail
	Christian Jacobi EMail
	Daniel Kröning EMail
	Dirk Leinenbach EMail
Remarks:
Topics:	FPU , Verif , Systems

Bibtex:

@inproceedings{ELICS02,
  AUTHOR    = { Berg, Christoph
                and Beyer, Sven
                and Jacobi, Christian
                and Kröning, Daniel
                and Leinenbach, Dirk },
  TITLE     = { Formal Verification of the {VAMP} Microprocessor (Project Status) },
  BOOKTITLE = { Symposium on the Effectiveness of Logic in Computer Science (ELICS02), },
  NOTE      = { Technical Report MPI-I-2002-2-007, Max-Planck-Institut für Informatik, Saarbruecken, Germany },
  YEAR      = { 2002 },
  PAGES     = { 31-36 },
  EDITOR    = { Witold Charatonik and Harald Ganzinger },
}