公开(公告)号：US08522091B1

公开(公告)日：2013-08-27

申请号：US13300507

申请日：2011-11-18

申请人： Dagan M. White ,  John D. Corbett

发明人： Dagan M. White ,  John D. Corbett

IPC分类号： G01R31/28

CPC分类号： G06F11/073 ,  G06F11/008 ,  G06F11/0763 ,  G06F11/27

摘要： In one embodiment, a method of detecting corruption of configuration memory is provided. A bitstream of a circuit design that includes at least a first module and a second module is generated. Configuration memory cells used to implement each of the first and second modules are determined. The configuration memory cells are programmed with the bitstream. After programming, configuration memory cells used to implement the first module are checked for corruption at a first frequency, and configuration memory cells used to implement the second module are checked for corruption at a second frequency, with the first frequency being different from the second frequency.

摘要翻译： 在一个实施例中，提供了一种检测配置存储器的损坏的方法。 生成包括至少第一模块和第二模块的电路设计的比特流。 确定用于实现第一和第二模块中的每一个的配置存储单元。 配置存储器单元用比特流编程。 在编程之后，检查用于实现第一模块的配置存储单元在第一频率处的损坏，并且检查用于实现第二模块的配置存储单元在第二频率处的损坏，其中第一频率不同于第二频率 。

公开(公告)号：US5041992A

公开(公告)日：1991-08-20

申请号：US261770

申请日：1988-10-24

申请人： Robert E. Cunningham ,  Jeffery G. Bonar ,  John D. Corbett

发明人： Robert E. Cunningham ,  Jeffery G. Bonar ,  John D. Corbett

IPC分类号： G06F9/44

CPC分类号： G06F8/38

摘要： A system and method for interactive design of user manipulable graphic elements. A computer has display and stored tasks wherein the appearance of graphic elements and methods for their manipulation are defined. Each graphic element is defined by at least one figure specification, one mask specification and one map specification. An interactive display editor program defines specifications of said graphic elements. An interactive program editor program defines programming data and methods associated with said graphic elements. A display program uses the figure, map and mask specifications for assembling graphic elements upon the display and enabling user manipulation of said graphic elements.

摘要翻译： 用于可操作图形元素的交互式设计的系统和方法。 计算机具有显示和存储的任务，其中定义了用于其操作的图形元素和方法的外观。 每个图形元素由至少一个图形规范，一个掩模规范和一个地图规范定义。 交互式显示编辑器程序定义所述图形元素的规格。 交互式节目编辑器程序定义与所述图形元素相关联的节目数据和方法。 显示程序使用图形，地图和掩模规格来在显示器上组装图形元素并使用户操纵所述图形元素。

公开(公告)号：US08065642B1

公开(公告)日：2011-11-22

申请号：US12338339

申请日：2008-12-18

申请人： John D. Corbett

发明人： John D. Corbett

IPC分类号： G06F17/50

CPC分类号： G06F17/5081

摘要： A computer-implemented method of verifying isolation of a plurality of instances of a redundant module of a circuit design that is implemented within a single, programmable integrated circuit can include counting component failures needed to establish a connection between at least two different ones of the plurality of instances of the redundant module. The method can include determining whether each instance of the redundant module is isolated from each other instance of the redundant module according to the counting of component failures, and outputting an indication whether each of the plurality of instances of the redundant module is isolated.

摘要翻译： 验证在单个可编程集成电路内实现的电路设计的冗余模块的多个实例的隔离的计算机实现的方法可以包括在多个的至少两个不同的数量之间建立连接所需的计数组件故障 冗余模块的实例。 该方法可以包括根据组件故障的计数来确定冗余模块的每个实例是否与冗余模块的每个其他实例隔离，并且输出冗余模块的多个实例中的每一个是否被隔离的指示。

公开(公告)号：US6161121A

公开(公告)日：2000-12-12

申请号：US673039

申请日：1996-07-01

申请人： Norman Hardy ,  E. Dean Tribble ,  Mark S. Miller ,  John D. Corbett ,  Eric C. Hill ,  Christopher T. Hibbert

发明人： Norman Hardy ,  E. Dean Tribble ,  Mark S. Miller ,  John D. Corbett ,  Eric C. Hill ,  Christopher T. Hibbert

IPC分类号： G06F21/00 ,  G06F9/00

CPC分类号： G06F21/6218 ,  G06F2221/2141

摘要： A system and method are disclosed that enable exclusive rights in generic goods to be transferred from one party to another. A party holds an exclusive right to a good through a rescindable capability. When two parties agree on a transfer of the exclusive right to the good, a goods description memorializing the agreement is created which is in synergy with the rescindable capability. The goods description includes an acquire method that is the only method that can extract rights from the rescindable capability with which it is in synergy. The object from which the generic right is being transferred sends a message to the recipient with a reference to the rescindable capability. Upon receiving the message, the recipient invokes the acquire method of the referenced goods description, which returns a new rescindable capability that encompasses the generic right just transferred. Once the recipient holds a reference to the new rescindable capability, the sender has had its rights rescinded. Because details of a transfer are implemented between a rescindable capability and a goods description, rights to goods of any type can be transferred. This is useful in escrow transactions, where a trusted third party with no knowledge of goods being exchanged can effect exchanges of exclusive rights to generic goods by two mutually-suspicious parties.

摘要翻译： 公开了一种允许通用商品的专有权力从一方转移到另一方的系统和方法。 一个党通过不可剥夺的能力拥有一个善良的独家权利。 当双方同意转让该商品的专有权时，就会形成纪念该协议的商品说明，该协议与可撤销的能力相协调。 货物描述包括一种获取方法，该方法是可以从协同作用的可撤销能力中提取权利的唯一方法。 正在转移通用权利的对象通过参考可重新登录的能力向收件人发送消息。 在接收到消息后，接收方调用所引用商品描述的获取方法，该方法返回包含刚被传送的通用权限的新的可重新命名的能力。 收件人一旦提到新的可撤销的功能，发件人已被取消权利。 由于转让的细节是在可撤销的能力和商品描述之间实现的，所以可以转让任何类型的商品的权利。 这对于托管交易是有用的，其中不知道货物被交换的可信赖的第三方可以通过两个相互怀疑的各方交换通用商品的专有权。

公开(公告)号：US08065644B1

公开(公告)日：2011-11-22

申请号：US12048593

申请日：2008-03-14

申请人： Neil G. Jacobson ,  John D. Corbett

发明人： Neil G. Jacobson ,  John D. Corbett

IPC分类号： G06F9/455 ,  G06F17/50

CPC分类号： G06F17/5054 ,  G06F2217/70 ,  G11C5/005 ,  G11C11/4125

摘要： A computer-implemented method of reducing susceptibility of a circuit design to single event upsets can include determining a susceptibility level of the circuit design to single event upsets, comparing the susceptibility level with a target susceptibility, and selectively applying a mitigation technique to at least one of a plurality of regions of the circuit design when the susceptibility level of the circuit design exceeds the target susceptibility. The circuit design including the mitigated region can be output.

摘要翻译： 降低电路设计对单一事件的敏感性的计算机实现的方法可以包括：确定电路设计对单事件扰乱的敏感度水平，将敏感度水平与目标敏感度进行比较，以及选择性地将缓解技术应用于至少一个 当电路设计的敏感度水平超过目标敏感性时，电路设计的多个区域。 可以输出包括缓解区域的电路设计。

公开(公告)号：US07930662B1

公开(公告)日：2011-04-19

申请号：US12264283

申请日：2008-11-04

申请人： Prasanna Sundararajan ,  John D. Corbett ,  David W. Bennett ,  Jeffrey M. Mason

发明人： Prasanna Sundararajan ,  John D. Corbett ,  David W. Bennett ,  Jeffrey M. Mason

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： Approaches for generating a design of an electronic system are disclosed. In one approach, for each of one or more components of a first specification of the design, an error mitigation technique is selected from among multiple different error mitigation techniques in response to user-specified data associated with the first specification of the design. A second specification of the design is automatically generated from the first specification. The second specification includes error mitigation logic corresponding to each selected error mitigation technique for each of the one or more components. The second specification of the design is stored for subsequent processing.

摘要翻译： 公开了用于产生电子系统设计的方法。 在一种方法中，对于设计的第一规范的一个或多个组件中的每一个，响应于与设计的第一规范相关联的用户指定的数据，从多个不同的误差减轻技术中选择错误减轻技术。 从第一规格自动生成设计的第二个规范。 第二规范包括与针对所述一个或多个组件中的每个组件的每个所选择的误差减轻技术相对应的误差减轻逻辑 设计的第二个规格被存储用于后续处理。