公开(公告)号：US06625759B1

公开(公告)日：2003-09-23

申请号：US09502366

申请日：2000-02-18

申请人： Jeremy Petsinger ,  Kevin David Safford ,  Karl P. Brummel ,  Russell C. Brockmann ,  Bruce A. Long ,  Patrick Knebel

发明人： Jeremy Petsinger ,  Kevin David Safford ,  Karl P. Brummel ,  Russell C. Brockmann ,  Bruce A. Long ,  Patrick Knebel

IPC分类号： H02H305

CPC分类号： G06F11/261

摘要： A method and an apparatus checks the fine-grain correctness of a microcode machine central processor unit (CPU) behavioral model. Macroinstructions are decomposed into microinstructions and each microinstruction is executed sequentially. A sequence of microinstructions is determined by an emulated microinstruction sequencer, using dynamic execution information, including information from execution of prior microinstructions in the sequence of microinstructions. At the end of execution of each microinstruction, a reference state is compared to a corresponding state of the behavioral model, and any differences are noted. After execution of all microinstructions in the microinstruction sequence, a reference state is compared to a corresponding state of the behavioral model, and any differences are noted.

摘要翻译： 一种方法和装置检查微码机中央处理器单元（CPU）行为模型的细粒度正确性。 宏指令被分解为微指令，并且每个微指令都被顺序执行。 微指令序列由模拟的微指令测序仪确定，使用动态执行信息，包括在微指令序列中执行先前微指令的信息。 在每个微指令的执行结束时，将参考状态与行为模型的相应状态进行比较，并且注意到任何差异。 在微指令序列中执行所有微指令之后，将参考状态与行为模型的相应状态进行比较，并记录任何差异。

公开(公告)号：US07139936B2

公开(公告)日：2006-11-21

申请号：US10645567

申请日：2003-08-22

申请人： Jeremy Petsinger ,  Kevin David Safford ,  Karl P. Brummel ,  Russell C. Brockmann ,  Bruce A. Long ,  Patrick Knebel

发明人： Jeremy Petsinger ,  Kevin David Safford ,  Karl P. Brummel ,  Russell C. Brockmann ,  Bruce A. Long ,  Patrick Knebel

IPC分类号： G06F11/00

CPC分类号： G06F11/261

摘要： An apparatus verifies the correctness of a behavioral model of a microcode machine, where the microcode machine is operable in a native state and an emulated state. The apparatus includes means for producing the native state, means for producing the emulated state, and means for comparing the native state and the emulated state. Corresponding to the apparatus, a method verifies the correctness of a processor behavioral model, where the processor operates in a native mode state and an emulated mode state. The method includes determining if a macroinstruction to be executed is a native instruction, and, if the macroinstruction is a native instruction, executing the native instruction, the execution producing the native mode state of the processor. The method further includes, if the macroinstruction is not a native instruction, fetching the macroinstruction, providing microinstructions corresponding to the macroinstruction, and executing the microinstructions, the execution producing the native mode state of the processor. Finally, the method includes executing the macroinstruction, the execution producing an emulated state of the processor, and comparing the native mode state the of the processor with the emulated state of the processor.

摘要翻译： 一种装置验证微代码机器的行为模型的正确性，其中微代码机器可操作于原始状态和仿真状态。 该装置包括用于产生天然状态的装置，用于产生仿真状态的装置，以及用于比较天然状态和仿真状态的装置。 对应于该装置，一种方法验证处理器行为模型的正确性，其中处理器以本机模式状态和仿真模式状态操作。 该方法包括确定要执行的宏指令是否是本地指令，以及如果宏指令是本机指令，则执行本机指令，则产生处理器的本机模式状态的执行。 该方法还包括：如果宏指令不是本机指令，则获取宏指令，提供与宏指令相对应的微指令，以及执行微指令，执行产生处理器的本机模式状态。 最后，该方法包括执行宏指令，执行产生处理器的仿真状态，以及将处理器的本机模式状态与处理器的仿真状态进行比较。