公开(公告)号：US20130080380A1

公开(公告)日：2013-03-28

申请号：US13241698

申请日：2011-09-23

申请人： Stergios Stergiou ,  Jawahar Jain

发明人： Stergios Stergiou ,  Jawahar Jain

IPC分类号： G06F17/00

CPC分类号： G06F19/3418 ,  G05B23/0221 ,  G06F19/00 ,  G16H50/20 ,  H04L67/12

摘要： In particular embodiments, a method includes accessing first binary decision diagrams (BDDs) representing data streams from sensors, selecting portions from the first BDDs based on ease-of-analysis, and constructing a second BDD by performing an OR operation between the selected portions of the first BDDs.

摘要翻译： 在特定实施例中，一种方法包括访问表示来自传感器的数据流的第一二进制决策图（BDD），基于易于分析从第一BDD中选择部分，以及通过在所选择的部分之间执行OR运算来构建第二BDD 第一个BDD。

公开(公告)号：US08374991B2

公开(公告)日：2013-02-12

申请号：US12901857

申请日：2010-10-11

申请人： Stergios Stergiou ,  Jawahar Jain

发明人： Stergios Stergiou ,  Jawahar Jain

IPC分类号： G06N5/00

CPC分类号： G06N7/00

摘要： One embodiment accesses a binary decision diagram (BDD) representing a function having n variables; constructs one group of one ordered set of the n variables; recursively constructs one or more new groups of one or more ordered sets of one or more variables, replacing existing groups of one or more ordered sets of one or more variables, until each existing group comprises one or more ordered sets of k variables or less, where 1≦k

摘要翻译： 一个实施例访问表示具有n个变量的函数的二进制决策图（BDD）; 构造一组n个变量的一个有序集合; 递归地构造一个或多个变量的一个或多个有序集合的一个或多个新组，替换一个或多个变量的一个或多个有序集合的现有组，直到每个现有组包括k个变量的一个或多个有序集合或更少， 其中1＆nlE; k

公开(公告)号：US08290934B2

公开(公告)日：2012-10-16

申请号：US12537250

申请日：2009-08-06

申请人： Stergios Stergiou ,  Jawahar Jain

发明人： Stergios Stergiou ,  Jawahar Jain

IPC分类号： G06F7/00

CPC分类号： H04L45/00 ,  H04L45/60 ,  H04L45/745

摘要： A method for processing access control lists using a hashing scheme includes receiving a packet identifying data and determining a fixed number of a plurality of hash tables comprising a fixed number of two or more buckets comprising a fixed number of one or more entries, such that the two or more hash tables store data in memory associated with an access control list. The method also includes searching the one or more hash tables in parallel for the identifying data using a plurality of hashing functions and returning a search result.

摘要翻译： 一种使用散列方案来处理访问控制列表的方法包括：接收分组识别数据，并确定包括固定数目的两个或更多个桶的固定数量的多个哈希表，所述多个哈希表包括固定数量的一个或多个条目，使得 两个或多个哈希表将数据存储在与访问控制列表相关联的存储器中。 该方法还包括使用多个散列函数并行地搜索识别数据的一个或多个哈希表并返回搜索结果。

公开(公告)号：US20120089555A1

公开(公告)日：2012-04-12

申请号：US12901685

申请日：2010-10-11

申请人： Stergios Stergiou ,  Jawahar Jain

发明人： Stergios Stergiou ,  Jawahar Jain

IPC分类号： G06N5/02

CPC分类号： G06N7/00

摘要： One embodiment accesses a binary decision diagram (BDD) representing a function having n variables, where n≧2, wherein: the BDD comprises n layers corresponding to the n variables, respectively; and the BDD has a first variable order where each variable i is at layer i for 1≦i≦n; and reorders the n variables of the BDD according to a second variable order denoted as π(i), where each variable i is at layer π(i) for 1≦i≦n, by iteratively and alternatingly swapping one or more first disjoint pairs of consecutive layers during each odd iteration and swapping one or more second disjoint pairs of consecutive layers during each even iteration, until the second variable order is achieved, wherein during each iteration, two consecutive layers are swapped only if a current order of two variables at the two consecutive layers differs from an order of the two variables specified by the second variable order.

摘要翻译： 一个实施例访问表示具有n个变量的函数的二进制判定图（BDD），其中n≥2，其中：BDD分别包括对应于n个变量的n个层; 并且BDD具有第一变量顺序，其中每个变量i在层i为1＆nlE; i＆nlE; n; 并且根据表示为＆pgr;（i）的第二变量顺序来重新排列BDD的n个变量，其中每个变量i在层＆pgr;（i）对于1＆nlE; i＆nlE; n，通过迭代和交替地交换一个或多个第一 在每次奇偶迭代期间不连续的连续层对，并且在每个偶迭代期间交替连续层的一个或多个第二不相交对，直到实现第二可变顺序，其中在每次迭代期间，仅当两个连续层被交换时 两个连续层的变量与第二个变量顺序指定的两个变量的顺序不同。

公开(公告)号：US20100211534A1

公开(公告)日：2010-08-19

申请号：US12658531

申请日：2010-02-10

申请人： Stergios Stergiou ,  Yannis Labrou ,  Jawahar Jain

发明人： Stergios Stergiou ,  Yannis Labrou ,  Jawahar Jain

IPC分类号： G06F17/30 ,  G06N5/02 ,  G06F15/18

CPC分类号： G06F17/30631 ,  G06F17/30731

摘要： In one embodiment, generating an ontology includes accessing an inverted index comprising a plurality of inverted index lists. An inverted index list may correspond to a term of a language. Each inverted index list may comprise a term identifier of the term and one or more document identifiers indicating one or more documents of a document set in which the term appears. The embodiment also includes generating a term identifier index according to the inverted index. The term identifier index comprises a plurality of sections and each section corresponds to a document. Each section may comprise one or more term identifiers of one or more terms that appear in the document.

摘要翻译： 在一个实施例中，生成本体包括访问包括多个反向索引列表的反向索引。 反向索引列表可以对应于语言的术语。 每个反向索引列表可以包括该术语的术语标识符和一个或多个文档标识符，其指示出现该术语的文档集合的一个或多个文档。 该实施例还包括根据反向索引生成术语标识符索引。 术语标识符索引包括多个部分，并且每个部分对应于文档。 每个部分可以包括出现在文档中的一个或多个术语的一个或多个术语标识符。

公开(公告)号：US20100037016A1

公开(公告)日：2010-02-11

申请号：US12462700

申请日：2009-08-06

申请人： Stergios Stergiou ,  Jawahar Jain

发明人： Stergios Stergiou ,  Jawahar Jain

IPC分类号： G06F12/02

CPC分类号： H04L45/00 ,  H04L45/60 ,  H04L45/745

摘要： A method includes receiving input data comprising a plurality of bits and processing an access control list into an ESOP expression comprising a plurality of product terms. The method also includes storing a plurality of bits associated with the plurality of product terms in a TCAM comprising a plurality of rows and comparing the plurality of bits associated with the input data to the plurality of bits associated with the product terms stored in each row of the plurality of rows, such that each row of the TCAM outputs a plurality of signals, such that each of the plurality of signals indicate a match or no match for each bit stored in the selected row. The method includes receiving the plurality of signals from the plurality of rows by an ESOP evaluator and outputting an address associated with a selected row from the plurality of rows of the TCAM.

摘要翻译： 一种方法包括接收包括多个比特的输入数据并将访问控制列表处理成包括多个产品项的ESOP表达式。 该方法还包括将与多个产品项相关联的多个比特存储在包括多行的TCAM中，并将与输入数据相关联的多个比特与存储在每一行中的产品项相关联的多个比特 多个行，使得TCAM的每一行输出多个信号，使得多个信号中的每一个表示对存储在所选行中的每个位的匹配或不匹配。 该方法包括通过ESOP评估器从多个行接收多个信号，并从TCAM的多个行输出与所选行相关联的地址。

公开(公告)号：US07546563B2

公开(公告)日：2009-06-09

申请号：US11170470

申请日：2005-06-28

申请人： Jawahar Jain ,  Subramanian K. Iyer ,  Mukul R. Prasad ,  Thomas W. Sidle

发明人： Jawahar Jain ,  Subramanian K. Iyer ,  Mukul R. Prasad ,  Thomas W. Sidle

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： In one embodiment, a method for validating one or more circuits using one or more grids includes accessing a circuit and generating one or more seeds for executing one or more instances of validation on the circuit. Each instance of validation comprising one or more tasks. The method also includes distributing the tasks and the seeds across a grid including multiple nodes and, using the seeds, executing the instances of validation at the nodes in the grid according to the tasks.

摘要翻译： 在一个实施例中，使用一个或多个网格来验证一个或多个电路的方法包括访问电路并生成用于执行电路上的一个或多个验证实例的一个或多个种子。 验证的每个实例包括一个或多个任务。 该方法还包括通过包括多个节点的网格分布任务和种子，并且使用种子根据任务在网格中的节点处执行验证实例。

公开(公告)号：US20070124711A1

公开(公告)日：2007-05-31

申请号：US11421979

申请日：2006-06-02

申请人： Jawahar Jain ,  Debashis Sahoo

发明人： Jawahar Jain ,  Debashis Sahoo

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504

摘要： In one embodiment, a method for multithreaded reachability analysis includes partitioning a state space of a circuit under analysis into a plurality of partitions and assigning each partition to a thread to carry out a reachability analysis on the partition assigned to the thread. The threads carry out the reachability analyses of the partitions in parallel with each other. The method also includes using one or more of an early communication algorithm and a partial communication algorithm to communicate states from one or more first ones of the partitions to one or more second ones of the partitions to facilitate the reachability analysis of the second ones of the partitions.

摘要翻译： 在一个实施例中，一种用于多线程可达性分析的方法包括将分析中的电路的状态空间划分成多个分区，并将每个分区分配给线程以对分配给线程的分区执行可达性分析。 线程相互并行执行分区的可达性分析。 该方法还包括使用早期通信算法和部分通信算法中的一个或多个来将状态从分区中的一个或多个第一分区传送到分区中的一个或多个第二分区，以便于对第二个分区的可达性分析 分区。

公开(公告)号：US07216312B2

公开(公告)日：2007-05-08

申请号：US10704234

申请日：2003-11-07

申请人： Jawahar Jain ,  Amit Narayan ,  Yoshihisa Kojima ,  Takaya Ogawa ,  Subramanian K. Iyer ,  Debashis Sahoo

发明人： Jawahar Jain ,  Amit Narayan ,  Yoshihisa Kojima ,  Takaya Ogawa ,  Subramanian K. Iyer ,  Debashis Sahoo

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： In one embodiment, a method for determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures includes, at a first one of multiple computing systems, receiving a first partition of a circuit. The first partition corresponds to a first binary decision diagram (BDD) having a first density. The method includes performing a first reachability analysis on the first partition using the first BDD until a fixed point in the first partition has been reached and, if, during the first reachability analysis, the size of the first BDD exceeds a threshold, discarding the first BDD. The method includes communicating with at least one second one of the multiple computing systems. The second one of the multiple computing systems has received a second partition of the circuit. The second one of the multiple computing systems has performed a second reachability analysis on the second BDD without discarding the second BDD.

摘要翻译： 在一个实施例中，用于使用分布式计算和一个或多个分区数据结构来确定电路中的一个或多个可达状态的方法包括在多个计算系统中的第一个处接收电路的第一分区。 第一分区对应于具有第一密度的第一二进制决策图（BDD）。 该方法包括使用第一BDD对第一分区执行第一可达性分析，直到达到第一分区中的固定点，并且如果在第一可达性分析期间第一BDD的大小超过阈值，则丢弃第一 BDD。 该方法包括与多个计算系统中的至少一个第二个通信。 多个计算系统中的第二个已经接收到电路的第二分区。 多个计算系统中的第二个对第二BDD进行了第二次可达性分析，而不丢弃第二个BDD。

公开(公告)号：US20060129953A1

公开(公告)日：2006-06-15

申请号：US11352852

申请日：2006-02-13

申请人： Jawahar Jain

发明人： Jawahar Jain

IPC分类号： G06F17/50

CPC分类号： G06F17/504

摘要： A system and method for representing digital circuits and systems in multiple partitions of Boolean space, and for performing digital circuit or system validation using the multiple partitions. Decision diagrams are built for the digital circuit or system and pseudo-variables are introduced at decomposition points to reduce diagram size. Pseudo-variables remaining after decomposition are composed and partitioned to represent the digital circuit or system as multiple partitions of Boolean space. Each partition is built in a scheduled order, and is manipulable separately from other partitions.