Verification Processor Machine Code Definition Programming