Specification and design of multi-million gate SOCs

Summary form only given. Recent advances in semiconductor technology have made it possible to integrate multi million transistors on a single chip; design and verification teams face several challenges managing the complexity. Some of these challenges include, specification and verification at the functional level, closing early on the system level architecture, extensive simulations of the hardware and software components and finalizing the path to implementation of the entire SOC. This tutorial covers the state-of-the-art in specification, design and verification techniques.