Yukio Watanabe Balazs Sallay Brad W. Michael Daniel A. Brokenshire Gavin Meil Hazim Shafi Daisuke Hiraoka An SPU reference model for simulation, random test generation and verification. 860-866 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118495 db/conf/aspdac/aspdac2006.html#WatanabeSMBMSH06