Robert E. Mains, Thomas A. Mosher, Lukas P. P. P. van Ginneken, Robert F. Damiano. Timing Verification and Optimization for the PowerPC:::TM::: Processor Family. In Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 94, Cambridge, MA, USA, October 10-12, 1994. pages 390-393, IEEE Computer Society, 1994.
Abstract is missing.