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)