用于有限资源的微电路的代码验证方法

摘要

本发明涉及一种验证能被与外部数据处理系统相连接的有限资源的微电路执行的中间代码的方法。该方法包含涉及修改中间代码的步骤，其中包含把r类型的寄存器再分配到单态类型的虚拟v寄存器，以及构造一个具有访问虚拟v寄存器的PC指令的再分配的代码。此外，所述方法还包含在资源有限的微电路中验证该再分配的代码的步骤。本发明的特征在于，在微电路中对再分配的代码的成功验证之后，在有限资源的微电路中安装原始中间代码以供执行。