Verification Processor Machine Code Converter