MULTI-CYCLE REGISTER FILE BYPASS
    1.
    发明申请
    MULTI-CYCLE REGISTER FILE BYPASS 审中-公开
    多周期寄存器文件旁路

    公开(公告)号:US20090249035A1

    公开(公告)日:2009-10-01

    申请号:US12058043

    申请日:2008-03-28

    IPC分类号: G06F9/30

    摘要: A method of reducing latency in instruction processing in a system, includes calculating a result of a first execution unit, storing the result of the first execution unit in a register file, forwarding the result of the first execution unit, through the bypass unit, to a second execution unit, the second execution unit conducting an instruction dependent on the result, forwarding the result of the first execution unit, from the bypass unit, to a third execution unit, without accessing the register file, the third execution unit conducting an instruction dependent on the result, wherein the execution units can extract the result of the first execution unit through the bypass unit until the new result is calculated, wherein after the new result is calculated, the execution units can access the result of the first execution unit through the register file.

    摘要翻译: 一种减少系统中指令处理的延迟的方法,包括:计算第一执行单元的结果,将第一执行单元的结果存储在寄存器文件中,并将第一执行单元的结果通过旁路单元转发到 第二执行单元,所述第二执行单元执行取决于所述结果的指令,将所述第一执行单元的结果从所述旁路单元转发到第三执行单元,而不访问所述寄存器文件,所述第三执行单元执行指令 取决于结果,其中执行单元可以通过旁路单元提取第一执行单元的结果,直到计算新结果,其中在计算新结果之后,执行单元可以通过以下方式访问第一执行单元的结果: 注册文件。

    Method and system for data dependent performance increment and power reduction
    2.
    发明授权
    Method and system for data dependent performance increment and power reduction 失效
    数据相关性能增量和功耗降低的方法和系统

    公开(公告)号:US07502918B1

    公开(公告)日:2009-03-10

    申请号:US12058256

    申请日:2008-03-28

    IPC分类号: G06F9/30

    摘要: A method of dispatching instructions includes dispatching original instructions into an instruction buffer, including at least one operand, renaming the operand, selecting the original instructions from the instruction buffer, sending selected instructions with explicit bits, to an internal operation code exchange table, which includes replacement rules for replacing the selected instructions with a simplified instruction based on the original instructions and the explicit bits, replacing the selected instructions with the simplified instruction in accordance with the explicit bits, and issuing the simplified instructions to an execution unit by sending the simplified instruction and all explicit bits for the operands to a content addressable memory address logic of the internal operation code exchange table, wherein if a bitvector, consisting of the original instruction and the explicit bits, matches a pattern stored in the internal operation code exchange table, the original instruction is replaced by the simplified instruction.

    摘要翻译: 一种调度指令的方法包括将指令分配到指令缓冲器中,该指令缓冲器包括至少一个操作数,重新命名操作数,从指令缓冲器中选择原始指令,向显示位发送所选择的指令给内部操作代码交换表,其包括 基于原始指令和显式位用简化指令替换所选指令的替换规则,根据显式位用简化指令代替所选指令,并通过发送简化指令将简化指令发送到执行单元 以及用于操作数的所有显式位到内部操作代码交换表的内容可寻址存储器地址逻辑,其中如果由原始指令和显式位组成的位向量与存储在内部操作代码交换表中的模式匹配, 原来的指示 离子被简化的指令代替。

    Formally deriving a minimal clock-gating scheme
    3.
    发明申请
    Formally deriving a minimal clock-gating scheme 有权
    正式推出最小的时钟门控方案

    公开(公告)号:US20080288901A1

    公开(公告)日:2008-11-20

    申请号:US12107940

    申请日:2008-04-23

    IPC分类号: G06F17/50

    摘要: The present invention provides a fully automatic method for obtaining a circuit having minimized power consumption due to clock-gating. A circuit design to be optimized is modified to a reduced power modified design and associated with a clock gating scheme. Verification tools compare the modified design with the original design to a predetermined trigger-events to determine if the modified design can be used. Further modifications may be made iteratively until an optimal design is achieved.

    摘要翻译: 本发明提供了一种全自动的方法,用于获得由于时钟选通而具有最小功耗的电路。 要优化的电路设计被修改为减少功率修改的设计并且与时钟门控方案相关联。 验证工具将修改后的设计与原始设计进行比较,以确定是否可以使用修改后的设计。 可以重复进行进一步的修改,直到实现最佳设计。

    Formally deriving a minimal clock-gating scheme
    4.
    发明授权
    Formally deriving a minimal clock-gating scheme 有权
    正式推出最小的时钟门控方案

    公开(公告)号:US07849428B2

    公开(公告)日:2010-12-07

    申请号:US12107940

    申请日:2008-04-23

    IPC分类号: G06F17/50

    摘要: The present invention provides a fully automatic method for obtaining a circuit having minimized power consumption due to clock-gating. A circuit design to be optimized is modified to a reduced power modified design and associated with a clock gating scheme. Verification tools compare the modified design with the original design to a predetermined trigger-events to determine if the modified design can be used. Further modifications may be made iteratively until an optimal design is achieved.

    摘要翻译: 本发明提供了一种全自动的方法,用于获得由于时钟选通而具有最小功耗的电路。 要优化的电路设计被修改为减少功率修改的设计并且与时钟门控方案相关联。 验证工具将修改后的设计与原始设计进行比较,以确定是否可以使用修改后的设计。 可以重复进行进一步的修改,直到实现最佳设计。

    Electronic computing circuit for operand width reduction for a modulo adder followed by saturation concurrent message processing
    5.
    发明授权
    Electronic computing circuit for operand width reduction for a modulo adder followed by saturation concurrent message processing 失效
    用于模加法器的操作数宽度减小的电子计算电路,然后进行饱和并发消息处理

    公开(公告)号:US08370409B2

    公开(公告)日:2013-02-05

    申请号:US12028889

    申请日:2008-02-11

    IPC分类号: G06F7/00

    CPC分类号: G06F7/727 G06F7/499

    摘要: A method for operand width reduction is described, wherein two N-bit input operands (A, B) of a bit width of N are processed and two M-bit output operands (A′, B′) of a reduced bit width of M are generated in a way, that a post-processing comprising an M-bit adder function followed by saturation to M bits performed on said two M-bit output operands (A′, B′) provides an M-bit result equal to an M-bit result of an N-bit modulo adder function of the two N-bit input operands (A, B), followed by a saturation to M bits. Further an electronic computing circuit (1, 5) is described performing said method. Additionally a computer system comprising such an electronic computing circuit is described.

    摘要翻译: 描述了一种操作数宽度减小的方法,其中处理位宽N为N的两个N位输入操作数(A,B),并减少位宽M的M位输出操作数(A',B') 以一种方式产生,包括在所述两个M位输出操作数(A',B')上执行的对M位进行饱和后的M位加法器功能的后处理提供等于M的M位结果 两个N位输入操作数(A,B)的N位模加法器功能的比特结果,后跟饱和至M位。 进一步描述执行所述方法的电子计算电路(1,5)。 另外,描述了包括这种电子计算电路的计算机系统。

    Method and apparatus for performing equivalence checking on circuit designs having differing clocking and latching schemes
    6.
    发明授权
    Method and apparatus for performing equivalence checking on circuit designs having differing clocking and latching schemes 失效
    对具有不同时钟和锁存方案的电路设计进行等价性检查的方法和装置

    公开(公告)号:US07624363B2

    公开(公告)日:2009-11-24

    申请号:US11679234

    申请日:2007-02-27

    IPC分类号: G06F17/50

    CPC分类号: G06F17/504

    摘要: A method for performing equivalence checking on logic circuit designs is disclosed. Within a composite netlist of an original version and a modified version of a logic circuit design, all level-sensitive sequential elements sensitized by a clock=0 are converted into buffers, and all level-sensitive sequential elements sensitized by a clock=1 are converted into level-sensitive registers. A subset of edge-sensitive sequential elements are selectively transformed into level-sensitive sequential elements by removing edge detection logic from the subset of the edge-sensitive sequential elements. A clock to the resulting sequential elements is then set to a logical “1” to verify the sequential equivalence of the transformed netlist.

    摘要翻译: 公开了一种用于对逻辑电路设计进行等价性检查的方法。 在原始版本的复合网表和逻辑电路设计的修改版本中,由时钟= 0敏感的所有电平敏感顺序元件都转换为缓冲器,并且转换为由时钟= 1敏感的所有电平敏感顺序元件 进入电平敏感寄存器。 通过从边缘敏感顺序元素的子集中去除边缘检测逻辑,边缘敏感顺序元素的子集被选择性地变换成等级敏感的顺序元素。 然后将产生的顺序元素的时钟设置为逻辑“1”,以验证转换的网表的顺序等价。

    Instruction set architecture with instruction characteristic bit indicating a result is not of architectural importance
    7.
    发明授权
    Instruction set architecture with instruction characteristic bit indicating a result is not of architectural importance 失效
    具有指示结果的指令特征位的指令集架构不具有架构重要性

    公开(公告)号:US08266411B2

    公开(公告)日:2012-09-11

    申请号:US12366169

    申请日:2009-02-05

    IPC分类号: G06F9/30

    摘要: Instead of having a processor with an instruction set architecture (ISA) that includes fixed architected operands, an improved processor supports additional characteristic bits for computing instructions (e.g., a multiply-add, load/store instructions). Such additional bits for the certain instructions influence the processing of these instructions by the processor. Also, a new instruction is introduced for further usage of the proposed method. Typically these additional characteristic bits as well as the instruction can be automatically generated by compilers to provide relatively well-suited instruction sequences for the processor.

    摘要翻译: 改进的处理器代替具有包括固定架构操作数的指令集体系结构(ISA)的处理器,而不是用于计算指令(例如,乘法加载/存储指令)的附加特征位。 这些特定指令的附加位影响处理器对这些指令的处理。 另外,引入了新的指令来进一步使用所提出的方法。 通常,这些附加特征位以及指令可以由编译器自动生成,以为处理器提供相对适合的指令序列。

    Method and Apparatus for Performing Equivalence Checking on Circuit Designs Having Differing Clocking and Latching Schemes
    9.
    发明申请
    Method and Apparatus for Performing Equivalence Checking on Circuit Designs Having Differing Clocking and Latching Schemes 失效
    具有不同时钟和锁存方案的电路设计的等效性检查方法和装置

    公开(公告)号:US20080209287A1

    公开(公告)日:2008-08-28

    申请号:US11679234

    申请日:2007-02-27

    IPC分类号: G01R31/28

    CPC分类号: G06F17/504

    摘要: A method for performing equivalence checking on logic circuit designs is disclosed. Within a composite netlist of an original version and a modified version of a logic circuit design, all level-sensitive sequential elements sensitized by a clock=0 are converted into buffers, and all level-sensitive sequential elements sensitized by a clock=1 are converted into level-sensitive registers. A subset of edge-sensitive sequential elements are selectively transformed into level-sensitive sequential elements by removing edge detection logic from the subset of the edge-sensitive sequential elements. A clock to the resulting sequential elements is then set to a logical “1” to verify the sequential equivalence of the transformed netlist.

    摘要翻译: 公开了一种用于对逻辑电路设计进行等价性检查的方法。 在原始版本的复合网表和逻辑电路设计的修改版本中,由时钟= 0敏感的所有电平敏感顺序元件都转换为缓冲器,并且转换为由时钟= 1敏感的所有电平敏感顺序元件 进入电平敏感寄存器。 通过从边缘敏感顺序元素的子集中去除边缘检测逻辑,边缘敏感顺序元素的子集被选择性地变换成等级敏感的顺序元素。 然后将产生的顺序元素的时钟设置为逻辑“1”,以验证转换的网表的顺序等价。

    Method and system for verifying the equivalence of digital circuits
    10.
    发明授权
    Method and system for verifying the equivalence of digital circuits 有权
    用于验证数字电路等效性的方法和系统

    公开(公告)号:US07890901B2

    公开(公告)日:2011-02-15

    申请号:US11684899

    申请日:2007-03-12

    IPC分类号: G06F17/50 G06F9/45

    CPC分类号: G06F17/504

    摘要: The automatic verification of designs of digital circuits for their equivalence, wherein logic designs implemented in different hardware description languages (HDLs) and different design methodologies are compared. The designs (Code A, Code B) are modified by adding special wrappers (Wrapper A, Wrapper B), and used to equalize the timing of pairs of selected input signals and selected output signals of the logic designs. The wrappers drive certain signals of the designs that are not relevant for actual comparison, such signals including clock signals, clock control signals, scan-path signals, scan-path control signals, and reset signals. In a preferred embodiment, HDL descriptions of logic designs are analyzed. Based on this analysis, the wrappers are implemented as changes to the HDL descriptions. In another embodiment, RTL and/or gate-level netlists are analyzed and modified.

    摘要翻译: 比较了数字电路的等效设计的自动验证,其中以不同的硬件描述语言(HDL)实现的逻辑设计和不同的设计方法进行了比较。 通过添加特殊包装器(Wrapper A,Wrapper B)来修改设计(代码A,代码B),并用于均衡所选输入信号对的时序和逻辑设计的选定输出信号。 封装器驱动与实际比较无关的设计的某些信号,包括时钟信号,时钟控制信号,扫描路径信号,扫描路径控制信号和复位信号等信号。 在优选实施例中,分析逻辑设计的HDL描述。 基于这种分析,包装器被实现为对HDL描述的改变。 在另一个实施例中,分析和修改RTL和/或门级网表。