Automatic Refinement Checking of Pipelines with Out-of-Order Execution

[摘要]：We show how to automatically verify pipelined machines with out-of-order execution using refinement. Our notion of refinement is based on Well-Founded Equivalence Bisimulations. Proving refinement guarantees that a pipelined machine will preserve all safe

[全文传递流程]：

一般上传文献全文的时限在1个工作日内