| Title: | Proving the Correctness of Pipelined Micro-Architectures |
|---|---|
| Links: | Document as Postscript Document as PDF |
| Authors: | Daniel Kroening EMail |
| Wolfgang Paul | |
| Silvia Mueller | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{KPM00,
AUTHOR = { Kroening, Daniel
and Paul, Wolfgang
and Mueller, Silvia },
TITLE = { Proving the Correctness of Pipelined Micro-Architectures },
BOOKTITLE = { Proc. of ITG/GI/GMM-Workshop ''Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen'' },
YEAR = { 2000 },
PUBLISHER = { VDE Verlag },
PAGES = { 89-98 },
ISBN = { 3-8007-2524-X },
EDITOR = { Waldschmidt, Klaus and Grimm, Christoph },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.