Verification Processor Machine Code Programming