Who was involved in designing a processor that is manufactured by Samsung?