A functional model of clocked microarchitectures.

Colin C. Charlton, D. Jackson, Paul H. Leng

Browse the full MICRO paper archive.