© Egon Börger: Pipelining DLX
2
                           E. Börger, R. Stärk
                         Abstract State Machines
 A Method for High-Level System Design and Analysis
Springer-Verlag  2003
For update info see AsmBook web page:
                   http://www.di.unipi.it/~AsmBook
For details see Chapter 3.3 (Microprocessor Design Case Study) of: