Robert H. Bell Jr. Rajiv R. Bhatia Lizy K. John Jeff Stuecheli John Griswell Paul Tu Louis Capps Anton Blanchard Ravel Thai Automatic testcase synthesis and performance model validation for high performance PowerPC processors. 154-165 2006 ISPASS http://doi.ieeecomputersociety.org/10.1109/ISPASS.2006.1620800 conf/ispass/2006 db/conf/ispass/ispass2006.html#BellBJSGTCBT06