公开(公告)号：US20090204796A1

公开(公告)日：2009-08-13

申请号：US12028038

申请日：2008-02-08

申请人： Michael P. Mullen ,  Marvin J. Rich ,  James L. Schafer

发明人： Michael P. Mullen ,  Marvin J. Rich ,  James L. Schafer

IPC分类号： G06F9/30

CPC分类号： G06F11/261 ,  G06F9/3824 ,  G06F9/3826

摘要： Method, system and computer program product for verifying the address generation, address generation, interlocks, and address generation bypassing controls in a CPU. An exemplary embodiment includes a verification method in a processor, the method including propagating a first set general purpose register values fern a first instruction to a second instruction, wherein the simulation monitor is coupled to a first stage of the instruction pipeline, and wherein the first set of general purpose register values are stored in a simulation instruction object, selecting a second set of general purpose register values, updating the first set of general purpose register values with the second set of general purpose register values and placing the second, set of general purpose register values on a bus.

摘要翻译： 方法，系统和计算机程序产品，用于验证CPU中的地址生成，地址生成，互锁和地址生成旁路控制。 示例性实施例包括处理器中的验证方法，所述方法包括将第一组通用寄存器值蕨类化第一指令传播到第二指令，其中所述模拟监视器耦合到所述指令流水线的第一级，并且其中所述第一 通用寄存器值集合存储在模拟指令对象中，选择第二组通用寄存器值，用第二组通用寄存器值更新第一组通用寄存器值，并将第二组通用寄存器值 总线上的目的寄存器值。

公开(公告)号：US07213122B2

公开(公告)日：2007-05-01

申请号：US10817091

申请日：2004-04-02

申请人： Dean G. Bair ,  Edward J. Kaminski, Jr. ,  James L. Schafer

发明人： Dean G. Bair ,  Edward J. Kaminski, Jr. ,  James L. Schafer

IPC分类号： G06F12/00

CPC分类号： G11C29/56 ,  G11C29/56004

摘要： The generation and selection of addresses to be employed in a verification environment are tightly coupled to ensure that the addresses a user desires to be selected have been generated. Addresses are generated based on one or more defined selection attributes. The generated addresses are maintained in a database structure that also includes any attributes associated with the addresses. At least one address is selected from the database structure via a filter and forwarded to a component under test.

摘要翻译： 要在验证环境中采用的地址的生成和选择紧密耦合，以确保用户希望被选择的地址已被生成。 基于一个或多个定义的选择属性生成地址。 生成的地址被保存在数据库结构中，该数据库结构还包括与地址相关联的任何属性。 通过过滤器从数据库结构中选择至少一个地址，并将其转发到被测组件。

公开(公告)号：US08165864B2

公开(公告)日：2012-04-24

申请号：US12028038

申请日：2008-02-08

申请人： Michael P. Mullen ,  Marvin J. Rich ,  James L. Schafer

发明人： Michael P. Mullen ,  Marvin J. Rich ,  James L. Schafer

IPC分类号： G06G7/62 ,  G06F17/50 ,  G06F7/38 ,  G06F11/00

CPC分类号： G06F11/261 ,  G06F9/3824 ,  G06F9/3826

摘要： Method, system and computer program product for verifying the address generation, address generation interlocks, and address generation bypassing controls in a CPU. An exemplary embodiment includes a verification method in a processor, the method including propagating a first set general purpose register values from a first instruction to a second instruction, wherein the simulation monitor is coupled to a first stage of the instruction pipeline, and wherein the first set of general purpose register values are stored in a simulation instruction object, selecting a second set of general purpose register values, updating the first set of general purpose register values with the second set of general purpose register values and placing the second set of general purpose register values on a bus.

摘要翻译： 方法，系统和计算机程序产品，用于验证CPU中的地址生成，地址生成互锁和地址生成旁路控制。 示例性实施例包括处理器中的验证方法，该方法包括将第一集合通用寄存器值从第一指令传播到第二指令，其中模拟监视器耦合到指令流水线的第一级，并且其中第一 一组通用寄存器值存储在模拟指令对象中，选择第二组通用寄存器值，用第二组通用寄存器值更新第一组通用寄存器值，并将第二组通用寄存器值 在总线上注册值。