指令描述的自动检测技术

• Automatic checking of instruction representations