Proving the Correctness of Pipelined Micro−Architectures
Daniel Kroening‚ Wolfgang Paul and Silvia M. Mueller
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