The Cortex-A15 Verification Story by Bill Greene (Austin CPU Validation Manager, ARM) and Micah McDaniel (Principal Design Engineer, ARM, was the verification lead for the Cortex-A15 processor)