[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Egon Börger and S. Mazzanti, "A correctness proof for pipelining in RISC architectures," DIMACS Technical Report 96-22, July 1996. |
---|---|
Summary: | An early version of a specification and proof of correctness of pipelining in the Hennesseey and Patterson DLX processor. |
Subjects: | Architectures, Hardware, Verification |
Download: | PostScript, PDF, Compressed PostScript. |
Notes: | See the final version of the paper. |