Proving the Correctness of Processors with Delayed Branch using Delayed PC
Silvia M. Mueller‚ Wolfgang Paul and Daniel Kroening
Book Title
Numbers‚ Information and Complexity
Editor
Althoefer‚ I. and Cai‚ N. and Dueck‚ G. and Khachatrian‚ L. and Pinsker‚ M. and Sarkozy‚ A. and Wegener‚ I. and Zhang Z.
Pages
579–588
Publisher
Kluwer
Year
2000