2006 · 13 citations · 7 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureMicroelectronicsOperating SystemsHardware SpecificationIntegrated Circuit DesignMicroarchitecture DesignProcessor Core DesignProcessor MicroarchitectureComplexityEmbedded Processor DesignFormal Hardware VerificationFormal Verification Of Processor CoresHardware Verification Of Processor CoresOperating System ArchitectureSiliconVerification Of Integrated Circuits
Successfully developing an implementation of entirely new chip architecture such as the Cell Broadband Engine (Cell BE) processor from scratch is a notable achievement.Consider further the design complexity (234 million transistors) and the project management complexity (5 participating companies, work in 5 different time zones), and the task seems quite challenging.This paper describes how the central verification team staffed by Sony Computer Entertainment Inc. (SCEI), Toshiba Corporation, and IBM, produced on first silicon a Cell BE microprocessor functional enough to boot an operating system and run applications.
7
The design and implementation of a first-generation CELL processor
D. Pham, S. Asano, M. Bolliger et al. · 2005 · 547 citations
Engineering, Computer Engineering, Electrical Engineering +17
Test program generation for functional verification of PowerPC processors in IBM
Aharon Aharon, Dave Goodman, Moshe Levinger et al. · 1995 · 165 citations
X-Gen: a random test-case generator for systems and SoCs
R. Emek, Itai Jaeger, Y. Naveh et al. · 2003 · 62 citations