1.IBM Power SystemsMainline Functional Verification of IBM’sPOWER7 Processor Core John Ludden Senior Technical Staff Member Hardware Verification IBM Systems & Technology…