Processor-Driven Verification