公开(公告)号：US06247163B1

公开(公告)日：2001-06-12

申请号：US09172708

申请日：1998-10-13

申请人： Jerry R. Burch ,  Vigyan Singhal

发明人： Jerry R. Burch ,  Vigyan Singhal

IPC分类号： G06F1560

CPC分类号： G06F17/504

摘要： A method and system of latch mapping for performing combinational equivalence checking on a specification and an implementation of a circuit that does not depend on signal names or circuit structure to determine the latch mapping. First, every latch is mapped to every other latch. Then, the resulting mapping is refined until it is semi-inductive. The refinement is performed by randomly producing a state that satisfies the mapping and applying a random input vector to the circuits. The resulting mappings are iteratively compared and new input vectors are applied to the circuits until the greatest fixed point of the refinement is found. Then, it is determined whether the greatest fixed point of refinement forces output equality. If the greatest fixed point does not force output equality, then a bug in a combinational block of the implementation is localized through an interactive procedure. If the greatest fixed point does force output equality, then it is determined whether it also satisfies a reset condition. If implementation latches are not mapped together, then conformance with the reset condition is guaranteed. Otherwise, conformance can be guaranteed only if the implementation latches mapped together are assumed to have the same value in the reset state. The method and system is also extended to cover ternary latch mappings having “don't care” conditions.

摘要翻译： 一种锁存映射的方法和系统，用于对不依赖于信号名称或电路结构的电路的规范和实现进行组合等价检查，以确定锁存器映射。 首先，每个锁存器映射到每隔一个锁存器。 然后，所得到的映射被改进，直到它是半归纳。 通过随机产生满足映射并将随机输入向量应用于电路的状态来进行细化。 迭代地比较所得到的映射，并且将新的输入向量应用于电路，直到发现细化的最大定点。 然后，确定最大固定点的精确力是否输出相等。 如果最大的固定点不强制输出相等，那么实现的组合块中的错误通过交互式过程进行本地化。 如果最大的固定点强制输出相等，则确定它是否也满足复位条件。 如果实现锁存器未映射到一起，则保证符合复位条件。 否则，只有在映射到一起的实现锁存器在复位状态下被假定为具有相同的值时，才能保证一致性。 该方法和系统也被扩展到覆盖具有“无关紧要”条件的三进制锁存器映射。

公开(公告)号：US06219823B1

公开(公告)日：2001-04-17

申请号：US09190735

申请日：1998-11-12

申请人： Toshiyuki Hama ,  Hiroaki Etoh

发明人： Toshiyuki Hama ,  Hiroaki Etoh

IPC分类号： G06F1560

CPC分类号： G06F17/5077 ,  H05K1/111

摘要： A plane is segmented into a plurality of regions whose vertexes are points which include the terminals, and a route search graph is generated. The route search graph expresses a connection relationship between the plurality of regions. A line connecting two objects in a shortest distance is recorded as a critical cut together with a width of wires that can go through the critical cut, the two objects including the terminals. A corresponding relationship relative to the critical cut and, when necessary, position information relative to the critical cut are recorded in edges of one of the plurality of regions related to the critical cut and in a necessary terminal. In deciding the wiring route in the route search graph and when it is detected, by using the position information recorded in a terminal or an edge on the wiring route being decided, that the wiring route has come into a certain region of the plurality of regions, the incoming direction in the critical cut related to the certain region is recorded by referring to the position information used in the detection. Also, when it is detected, from the position information recorded in a terminal or an edge which will be on the wiring route being decided, that the wiring route goes out of the region, it is judged whether the wiring route crosses the related critical cut, from the position information used when detecting the outgoing wiring route by referring to the incoming direction recorded in the related critical cut. Furthermore, when it is judged that the wiring route crosses the critical cut, it is judged whether the wiring route can be wired by referring to the width of wires that can go through the critical cut.

摘要翻译： 平面被分割成多个区域，其顶点是包括终端的点，并且生成路线搜索图。 路线搜索图表示多个区域之间的连接关系。 将两个物体以最短距离连接的线被记录为关键切口以及可以穿过关键切口的两条物体，包括端子。 相对于临界切割的相应关系，并且在必要时，相对于临界切割的位置信息被记录在与关键切割相关的多个区域中的一个区域的边缘中以及在必要的终端中。 在确定路线搜索图中的布线路线和检测到时，通过使用记录在正在决定的布线路线上的端子或边缘中的位置信息，布线路径进入多个区域的某一区域 通过参照检测中使用的位置信息来记录关于特定区域的关键切割中的进入方向。 此外，当检测到从记录在正在确定的布线路线的端子或边缘的位置信息中，布线路径超出该区域时，判断布线路线是否穿过相关的临界切口 从根据记录在相关的关键切割中的进入方向检测出射布线路径时使用的位置信息。 此外，当判断为布线路径与临界切断交叉时，判断布线路径是否可以通过参照临界切割的线的宽度进行布线。

公开(公告)号：US06697754B1

公开(公告)日：2004-02-24

申请号：US09634160

申请日：2000-08-09

申请人： Jay A. Alexander

发明人： Jay A. Alexander

IPC分类号： G06F1560

CPC分类号： G01R13/22

摘要： An apparatus and method for providing an end-user operator with the ability to assign temporary control of a set of one or more operator-specified instrument control operations to one, single-action switch on a signal measurement system front panel. The assigned instrument control operations are preferably represented by text strings in a macro text file that is developed and modified with the use of a text editor integrated into or operatively coupled with the signal measurement system.

摘要翻译： 一种用于向最终用户操作者提供将一组一个或多个操作员指定的仪器控制操作的一组临时控制分配给信号测量系统前面板上的一个单动作开关的装置和方法。 分配的仪器控制操作优选地通过使用集成到信号测量系统中或与信号测量系统可操作地耦合的文本编辑器来开发和修改的宏文本文件中的文本串表示。

公开(公告)号：US06317865B1

公开(公告)日：2001-11-13

申请号：US09275083

申请日：1999-03-24

申请人： Niichi Itoh

发明人： Niichi Itoh

IPC分类号： G06F1560

CPC分类号： G06F17/5077 ,  G06F17/5072

摘要： A wiring-capacitance improvement aid device aiding in eliminating a capacitance-attributable error of layout data generated by an automatic arrangement and routing tool includes a subject-net extraction portion extracting a subject net with a capacitance-attributable error, a network rip-up portion ripping up a cell netted within a predetermined range with respect to a subject net extracted by the subject-net extraction portion, and a constraint imposition portion imposing a wiring-capacitance constraint on a net connected to a cell ripped up by the network rip-up portion.

摘要翻译： 一种辅助消除由自动布置和布线工具产生的布局数据的容量可归因误差的布线电容改进辅助装置包括：具有电容可归因误差的被检体网提取部分，网络撕裂部分 剥离相对于由被摄体网提取部分提取的对象网络在预定范围内网络的小区，以及对连接到由网络撕裂的小区连接的网络施加布线电容约束的约束拼版部分 一部分。

公开(公告)号：US06477640B1

公开(公告)日：2002-11-05

申请号：US09659401

申请日：2000-09-11

申请人： Jeffrey Pidge Rupley, II ,  Marvin A. Denman ,  Bradley G. Burgess ,  David C. Holloway

发明人： Jeffrey Pidge Rupley, II ,  Marvin A. Denman ,  Bradley G. Burgess ,  David C. Holloway

IPC分类号： G06F1560

CPC分类号： G06F9/3851 ,  G06F9/3844 ,  G06F9/3861

摘要： A branch prediction unit apparatus and method uses an instruction buffer (20), a completion unit (24), and a branch prediction unit (BPU) (28). The instruction buffer (20) and/or the completion unit (24) contain a plurality of instruction entries that contain valid bits and stream identifier (SID) bits. The branch prediction unit contains a plurality of branch prediction buffers (28a-28c). The SID bits are used to associate the pending and executing instructions in the units (20 and 24) into instruction streams related to predicted branches located in the buffers (28a-28c). The SID bits as well as age bits associated with the buffers (28a-28c) are used to perform efficient branch prediction, branch resolution/retirement, and branch misprediction recovery.

摘要翻译： 分支预测单元装置和方法使用指令缓冲器（20），完成单元（24）和分支预测单元（BPU）（28）。 指令缓冲器（20）和/或完成单元（24）包含包含有效位和流标识符（SID）位的多个指令条目。 分支预测单元包含多个分支预测缓冲器（28a-28c）。 SID位用于将单元（20和24）中的待执行和执行的指令与位于缓冲器（28a-28c）中的预测分支相关的指令流相关联。 SID位以及与缓冲器（28a-28c）相关联的老化位用于执行有效的分支预测，分支解决/退出和分支错误预测恢复。

公开(公告)号：US06389582B1

公开(公告)日：2002-05-14

申请号：US08576634

申请日：1995-12-21

申请人： John Valainis ,  Robert Mark Sumner ,  Jing Chen

发明人： John Valainis ,  Robert Mark Sumner ,  Jing Chen

IPC分类号： G06F1560

CPC分类号： G06F17/5072 ,  Y10S257/903

摘要： A method for thermal driven placement begins by first computing thermal response functions for individual components for several locations on a placement surface as a preprocessing step to placement. The thermal response functions can then be used to compute junction temperatures of components quickly and accurately during placement of the components in a layout. For a given component location, the component's junction temperature is computed by summing the contributions of neighboring components with the component's own contribution. The difference between predefined junction temperatures for the components and the calculated junction temperatures can then be used to assess the merits of the placement.

摘要翻译： 用于热驱动放置的方法首先计算放置表面上的几个位置的各个组件的热响应函数，作为放置的预处理步骤。 然后可以将热响应函数用于在将部件放置在布局中时快速准确地计算部件的结温。 对于给定的组件位置，通过将相邻组件的贡献与组件自身的贡献相加来计算组件的结温。 然后可以使用组件的预定结温与计算的结温之间的差异来评估放置的优点。

公开(公告)号：US06336102B1

公开(公告)日：2002-01-01

申请号：US08511633

申请日：1995-08-07

申请人： Donald L. Luskin ,  Lawrence G. Tint

发明人： Donald L. Luskin ,  Lawrence G. Tint

IPC分类号： G06F1560

CPC分类号： G06Q40/02 ,  G06Q40/00 ,  G06Q40/06

摘要： Method and system for management of an investment fund over a specified life, or time horizon Ht, for that fund. Generally, the system includes an investment fund Fn having a fixed time horizon Ht and an associated length to horizon LH. The fund Fn includes several investment assets Ak, which may be contained within investment portfolios Pm, which meet some criteria defining a predetermined asset characteristics. Cash is directed to selected ones of the assets, or portfolios, to establish an investment mix for the investment fund Fn. An important aspect of the method and system is adjustment of the investment mix in accordance with some criteria related to the time horizon Ht, preferably related to the diminishing length to horizon LH, of the investment fund Fn. Thus, as the investment fund matures, the investment mix is changed.

摘要翻译： 对于该基金，在指定寿命或时间范围内管理投资基金的方法和制度。 通常，系统包括具有固定时间范围Ht的投资基金Fn和与地平线LH相关联的长度。 基金Fn包括若干投资资产Ak，其可以包含在投资组合Pm内，其符合确定预定资产特征的一些标准。 资金来源于选定的资产或投资组合，为投资基金Fn建立投资组合。 方法和制度的一个重要方面是根据与时间范围Ht相关的一些标准来调整投资组合，最好与投资基金Fn的长度下降LH相关。 因此，随着投资基金的成熟，投资组合发生变化。

公开(公告)号：US06208977B1

公开(公告)日：2001-03-27

申请号：US09394004

申请日：1999-09-10

申请人： Milton B. Hernandez ,  Dmitry Kusnetsov ,  Pablo E. Tapia

发明人： Milton B. Hernandez ,  Dmitry Kusnetsov ,  Pablo E. Tapia

IPC分类号： G06F1560

CPC分类号： H04M15/8214 ,  G06Q30/0283 ,  G06Q30/04 ,  G06Q40/12 ,  G07F17/0014 ,  H04L12/14 ,  H04L12/1432 ,  H04L12/1471 ,  H04L12/1485 ,  H04L43/0882 ,  H04M15/8044 ,  H04M15/81 ,  H04M15/825 ,  H04M2215/0112 ,  H04M2215/22 ,  H04M2215/782 ,  H04M2215/7853 ,  H04M2215/7886

摘要： A method and a system determines billing information for use of a network. For a data transmission on a path between a pair of node locations, the price for the transmission depends, inter alia, on the amount of data transported and the price of using the path. The method collects traffic data for data transmissions sent over links of the network, selects a set of paths connecting each pair of node locations, and determines a price for data transported between the pairs. The method bills an allocated portion of the total price for each pair to each node location of the pair.

摘要翻译： 方法和系统确定使用网络的计费信息。 对于在一对节点位置之间的路径上的数据传输，传输的价格尤其取决于传输的数据量和使用该路径的价格。 该方法收集通过网络的链路发送的数据传输的业务数据，选择连接每对节点位置的一组路径，并且确定在对之间传输的数据的价格。 该方法将每对的总价格的分配部分账单到该对的每个节点位置。