This document discusses the mainline functional verification of IBM's POWER7 processor core. It provides an overview of the POWER processor history and roadmap, the verification methodology used, the execution of verification, advances in verification, and concludes with a summary. The POWER7 is IBM's next generation multi-core processor built on a 45nm process with features such as on-chip eDRAM, power optimized cores, and an improved memory subsystem.