Proving the Correctness of Pipelined Micro−Architectures
Daniel Kroening‚ Wolfgang Paul and Silvia M. Mueller
Details
| Book Title |
Proc. of ITG/GI/GMM−Workshop ”Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” |
| Editor |
Waldschmidt‚ Klaus and Grimm‚ Christoph |
| Pages |
89–98 |
| Publisher |
VDE Verlag |
| Year |
2000 |
Links
Related pages
|
People |