Verification Processor Machine Design