Detecting reducible registers
    1.
    发明授权
    Detecting reducible registers 有权
    检测可还原寄存器

    公开(公告)号:US07412677B1

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

    申请号:US11360739

    申请日:2006-02-22

    IPC分类号: G06F17/50

    摘要: Reducible registers are determined to optimize a sequential circuit. A screening method tests one or more sets of registers where the registers of each set are assumed to satisfy a logic condition. The tests determine if the logic condition holds. If the logic condition of a set is found to be violated, the registers may be moved to another set having a different logic condition or removed completely. The registers remaining are potentially reducible. The reducibility of the registers is verified via Boolean analysis by verifying the logic conditions of a register set for each register. If a register does not pass verification, it then may be moved to a different set having a different logic condition or removed completely. The sets that pass verification are reducible.

    摘要翻译: 确定可减少寄存器以优化顺序电路。 一种筛选方法测试一组或多组寄存器,其中假设每个寄存器的寄存器满足逻辑条件。 测试确定逻辑条件是否成立。 如果发现集合的逻辑条件被违反,则可以将寄存器移动到具有不同逻辑条件的另一集合或完全移除。 剩余的寄存器是可以减少的。 通过布尔分析来验证寄存器的可复原性,通过验证每个寄存器的寄存器集的逻辑条件。 如果寄存器不通过验证,则可以将其移动到具有不同逻辑条件的不同集合或完全移除。 通过验证的集合是可以减少的。

    Systems and methods for mapping arbitrary logic functions into synchronous embedded memories
    2.
    发明授权
    Systems and methods for mapping arbitrary logic functions into synchronous embedded memories 有权
    将任意逻辑功能映射到同步嵌入式存储器中的系统和方法

    公开(公告)号:US07444613B1

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

    申请号:US11408762

    申请日:2006-04-21

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5054

    摘要: Systems and methods are provided for mapping logic functions from logic elements (“LEs”) into synchronous embedded memory blocks (“EMBs”) of programmable logic devices (“PLDs”). This technique increases the amount of logic that can fit into the PLD. Where area savings are significant, smaller PLDs may be selected to implement a particular circuit. One aspect of the invention relates to methods for identifying sequential cones of logic that may be mapped into synchronous EMBs. After the sequential logic cones are identified for mapping into a synchronous EMB, the logic cone may be selected, expanded, restructured, and retimed, as necessary, to implement the mapping. Another aspect of the invention relates to techniques for handling architectural restrictions of synchronous EMBs, such as the inability to implement the asynchronous behavior of synchronous logic.

    摘要翻译: 提供了将逻辑元件(“LE”)的逻辑功能映射到可编程逻辑器件(“PLD”)的同步嵌入式存储器块(“EMB”)的系统和方法。 这种技术增加了可以适应PLD的逻辑量。 如果区域节省很大,则可以选择较小的PLD来实现特定的电路。 本发明的一个方面涉及用于识别可以映射到同步EMB中的逻辑顺序锥的方法。 在确定用于映射到同步EMB中的顺序逻辑锥之后,可以根据需要选择,扩展,重构和重新定时,以实现映射。 本发明的另一方面涉及用于处理同步EMB的架构限制的技术,诸如不能实现同步逻辑的异步行为。

    Systems and methods for mapping arbitrary logic functions into synchronous embedded memories
    3.
    发明授权
    Systems and methods for mapping arbitrary logic functions into synchronous embedded memories 有权
    将任意逻辑功能映射到同步嵌入式存储器中的系统和方法

    公开(公告)号:US07797666B1

    公开(公告)日:2010-09-14

    申请号:US12244635

    申请日:2008-10-02

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5054

    摘要: Systems and methods are provided for mapping logic functions from logic elements (“LEs”) into synchronous embedded memory blocks (“EMBs”) of programmable logic devices (“PLDs”). This technique increases the amount of logic that can fit into the PLD. Where area savings are significant, smaller PLDs may be selected to implement a particular circuit. One aspect of the invention relates to methods for identifying sequential cones of logic that may be mapped into synchronous EMBs. After the sequential logic cones are identified for mapping into a synchronous EMB, the logic cone may be selected, expanded, restructured, and retimed, as necessary, to implement the mapping. Another aspect of the invention relates to techniques for handling architectural restrictions of synchronous EMBs, such as the inability to implement the asynchronous behavior of synchronous logic.

    摘要翻译: 提供了将逻辑元件(“LE”)的逻辑功能映射到可编程逻辑器件(“PLD”)的同步嵌入式存储器块(“EMB”)的系统和方法。 这种技术增加了可以适应PLD的逻辑量。 如果区域节省很大,则可以选择较小的PLD来实现特定的电路。 本发明的一个方面涉及用于识别可以映射到同步EMB中的逻辑顺序锥的方法。 在确定用于映射到同步EMB中的顺序逻辑锥之后,可以根据需要选择,扩展,重构和重新定时,以实现映射。 本发明的另一方面涉及用于处理同步EMB的架构限制的技术,诸如不能实现同步逻辑的异步行为。

    Method and apparatus for performing incremental compilation on field programmable gate arrays
    7.
    发明授权
    Method and apparatus for performing incremental compilation on field programmable gate arrays 有权
    用于在现场可编程门阵列上执行增量编译的方法和装置

    公开(公告)号:US07191426B1

    公开(公告)日:2007-03-13

    申请号:US10931953

    申请日:2004-09-01

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5054

    摘要: A method for designing a system on a target device utilizing field programmable gate arrays (FPGAs) includes generating a first design for the system that includes a first netlist describing a first logical design, and placement and routing of the first logical design. A second design for the system is generated that includes a second netlist describing a second logical design. Changes made to the first design in the second design are identified. Placement is performed on the changes made to the first design on the second design.

    摘要翻译: 利用现场可编程门阵列(FPGA)在目标设备上设计系统的方法包括为系统生成包括描述第一逻辑设计的第一网表以及第一逻辑设计的布局和路由的系统的第一设计。 生成系统的第二设计,其包括描述第二逻辑设计的第二网表。 确定了第二个设计中对第一个设计所做的更改。 对第二次设计上对第一个设计所做的更改执行放置。

    Synthesis aware placement: a novel approach that combines knowledge of possible resynthesis
    8.
    发明授权
    Synthesis aware placement: a novel approach that combines knowledge of possible resynthesis 有权
    综合知识放置:结合可能的再合成知识的新方法

    公开(公告)号:US07254801B1

    公开(公告)日:2007-08-07

    申请号:US11040323

    申请日:2005-01-20

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5054

    摘要: A system and method improves the effectiveness of logic duplication optimizations by dynamically allocating the usage of logic duplicates. Duplicate atoms in the user design are identified. Atoms satisfying heuristics can also be duplicated and added to the user design. During placement, a duplicate-aware cost function is used to determine the location on the programmable device of atoms driven by a duplicate atom. The duplicate-aware cost function evaluates the suitability of a potential location of a driven atom with respect to a source atom and any duplicates of the source atom. Following placement of the atoms of the user design, a rewiring phase establishes a connection between each driven atom and one of the duplicated source atoms. The duplicate-aware cost function can be used to evaluate sets of duplicate source atoms to optimize the operating speed, power consumption, and/or routability of a user design.

    摘要翻译: 系统和方法通过动态分配逻辑重复的使用来提高逻辑复制优化的有效性。 识别用户设计中的重复原子。 满足启发式的原子也可以复制并添加到用户设计中。 在放置期间,使用重复感知成本函数来确定可编程器件上由重复原子驱动的原子上的位置。 重复感知成本函数评估驱动原子相对于源原子的潜在位置和源原子的任何重复的适用性。 在放置用户设计的原子之后,重新布线阶段建立每个被驱动的原子和一个复制的源原子之间的连接。 重复感知成本函数可用于评估重复源原子的集合,以优化用户设计的操作速度,功耗和/或可路由性。

    Method for less invasive knee resection
    9.
    发明授权
    Method for less invasive knee resection 有权
    低侵入性膝关节切除术的方法

    公开(公告)号:US08870883B2

    公开(公告)日:2014-10-28

    申请号:US13016774

    申请日:2011-01-28

    摘要: Various method and apparatuses may be used to perform a procedure, such as a resection of a portion of the anatomy for preparation of the implants of a prosthetic. Various resecting member, including saw blades having selected geometries and shapes, can be used to assist in the resection of an anatomy to provide for implantation of a prosthetic. In addition, a cutting block assembly may be used to guide the resecting member. The cutting block assembly may be moveably mounted relative to the portion to be resected.

    摘要翻译: 可以使用各种方法和装置来执行手术,例如切除解剖结构的一部分以准备假体的植入物。 可以使用包括具有选定几何形状和形状的锯片的各种切除构件来辅助切除解剖结构以提供假体植入。 此外,可以使用切割块组件来引导切除部件。 切割块组件可相对于要切除的部分可移动地安装。

    Recombinant microorganisms for production C4-dicarboxylic acids
    10.
    发明授权
    Recombinant microorganisms for production C4-dicarboxylic acids 失效
    用于生产C4-二羧酸的重组微生物

    公开(公告)号:US08663956B2

    公开(公告)日:2014-03-04

    申请号:US13588322

    申请日:2012-08-17

    IPC分类号: C12N1/15

    CPC分类号: C12N15/8243 C12N9/88

    摘要: Provided herein are host cells comprising carbonic anhydrase activity, wherein the cells are capable of producing C4-dicarboxylic acid. Also provided are methods of producing C4-dicarboxylic acid comprising (a) cultivating the host cells having carbonic anhydrase activity in a medium under suitable conditions to produce C4-dicarboxylic acid; and (b) recovering the C4-dicarboxylic acid.

    摘要翻译: 本文提供了包含碳酸酐酶活性的宿主细胞,其中细胞能够产生C4-二羧酸。 还提供了生产C4-二羧酸的方法,其包括(a)在合适条件下培养在培养基中具有碳酸酐酶活性的宿主细胞以产生C4-二羧酸; 和(b)回收C4-二羧酸。