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

摘要

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

主权项

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