Automatic testcase synthesis and performance model validation for high performance PowerPC processors