Functional design verification for the PowerPC 601 microprocessor. - Scott Glenn; Gavin Meil; Ed Rodriguez; Jeff Brooks (VTS, 1994)

An SPU reference model for simulation, random test generation and verification. - Yukio Watanabe; Balazs Sallay; Brad W. Michael; Daniel A. Brokenshire; Gavin Meil; Hazim Shafi; Daisuke Hiraoka (ASP-DAC, 2006)