公开(公告)号：US07043609B2

公开(公告)日：2006-05-09

申请号：US10357643

申请日：2003-02-03

申请人： Victor Melamed ,  Sorin Iacobovici

发明人： Victor Melamed ,  Sorin Iacobovici

IPC分类号： G06F12/08

CPC分类号： G06F11/141 ,  G06F11/0724 ,  G06F11/0793 ,  G06F11/1064 ,  G06F12/0831

摘要： A method for protecting reliability of data associated with a data array is provided. The method initiates with defining state information associated with the data array. Then, crucial state information is identified from the state information. Next, a copy of the crucial state information is generated. Then, the state information and the copy of the crucial state information are protected. Next, a worst case state associated with non-crucial information is defined. In response to detecting an error associated with the non-crucial information, the method includes defaulting to the worst case state. A computer readable media and a shared memory multiprocessor chip are also provided.

摘要翻译： 提供了一种用于保护与数据阵列相关联的数据的可靠性的方法。 该方法通过定义与数据阵列相关联的状态信息来启动。 然后，从状态信息中识别关键的状态信息。 接下来，生成关键状态信息的副本。 然后，保护状态信息和关键状态信息的副本。 接下来，定义与非关键信息相关联的最坏情况状态。 响应于检测到与非关键信息相关联的错误，该方法包括默认为最坏情况状态。 还提供了计算机可读介质和共享存储器多处理器芯片。

公开(公告)号：US06842819B2

公开(公告)日：2005-01-11

申请号：US09971214

申请日：2001-10-04

申请人： Brian E. Smith ,  Victor Melamed

发明人： Brian E. Smith ,  Victor Melamed

IPC分类号： G06F11/263 ,  G06F13/00 ,  G06F13/38

CPC分类号： G06F11/263

摘要： A method for automatically creating a corner case situation on a bus is provided. The method uses a multi-agent bus interface verification tool to create the corner case situation. Further, a method for verifying a bus interface by creating a corner case situation is provided. Further, a computer system having a multi-agent bus interface verification tool is provided. Further, a multi-agent bus interface verification software tool is provided. Further, a multi-agent bus interface verification tool that can test a bus bridge is provided. Further, a multi-agent bus interface verification tool that generates erroneous response transactions to test circuit performance is provided.

摘要翻译： 提供一种在总线上自动创建角箱情况的方法。 该方法使用多代理总线接口验证工具来创建角案例。 此外，提供了一种通过产生拐角情况来验证总线接口的方法。 此外，提供具有多代理总线接口验证工具的计算机系统。 此外，提供了多代理总线接口验证软件工具。 此外，提供了可以测试总线桥的多代理总线接口验证工具。 此外，提供了生成错误响应事务以测试电路性能的多代理总线接口验证工具。