Slide 1 Pipelining a RISC Architecture Stepwise Verification of DLX Egon Börger Dipartimento di Informatica, Universita di Pisa http://www.di.unipi.it/~boerger Slide 2 ©…