Automatic checking of instruction representations

• 指令描述的自动检测技术