公开(公告)号：US08140457B2

公开(公告)日：2012-03-20

申请号：US12169653

申请日：2008-07-09

申请人： Shady Copty ,  Roy Emek ,  Itai Jaeger ,  Yoav Katz ,  Shai Lubliner

发明人： Shady Copty ,  Roy Emek ,  Itai Jaeger ,  Yoav Katz ,  Shai Lubliner

IPC分类号： G06F17/00 ,  G06N5/02

CPC分类号： G06N3/063

摘要： Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

摘要翻译： 提供了用于解决由一个或多个变量，约束和概率请求（PR）定义的约束满足问题（CSP）的系统和方法。 在一个实施例中，每个PR映射到实现PR的一组约束上。 CSP求解器然后找到CSP的一系列解决方案。 对于每个解决方案，如果满足与PR相关联的约束，则该PR的成功计数器递增; 否则PR的失败计数器增加。 如果为了解决CSP而不考虑约束，则与约束相关联的PR的故障计数器增加。

公开(公告)号：US20100312738A1

公开(公告)日：2010-12-09

申请号：US12477145

申请日：2009-06-03

申请人： Roy Emek ,  Itai Jaeger ,  Yehuda Naveh

发明人： Roy Emek ,  Itai Jaeger ,  Yehuda Naveh

IPC分类号： G06N5/02

CPC分类号： G06N5/045

摘要： A method for solving a constraint satisfaction problem (CSP) comprises identifying a first illegal combination associated with at least one variable, wherein the first illegal combination contradicts at least one constraint; grouping the first illegal combination with a second illegal combination, in response to determining that the first and second illegal combinations contradict the same constraint; identifying at least one failure explanation for each group of illegal combinations, wherein the failure explanation is associated with at least one illegal combination in said group to provide a reason for a contradicted constraint associated with the illegal combination; assigning a value to each variable in the given domain to solve the CSP within the limitations defined by the constraints in a solution path; and generating a result, in response to determining that at least one assigned value to a variable contradicts a constraint.

摘要翻译： 一种用于解决约束满足问题（CSP）的方法包括：识别与至少一个变量相关联的第一非法组合，其中所述第一非法组合与至少一个约束相矛盾; 响应于确定第一和第二非法组合与相同的约束相矛盾，将第一非法组合与第二非法组合分组; 识别每组非法组合的至少一个故障解释，其中所述故障解释与所述组中的至少一个非法组合相关联，以提供与所述非法组合相关联的矛盾约束的原因; 为给定域中的每个变量分配一个值，以在由解决路径中的约束定义的限制内解决CSP; 以及响应于确定对变量的至少一个分配值与约束相矛盾而产生结果。

公开(公告)号：US20100010950A1

公开(公告)日：2010-01-14

申请号：US12169653

申请日：2008-07-09

申请人： SHADY COPTY ,  ROY EMEK ,  ITAI JAEGER ,  YOAV KATZ ,  SHAI LUBLINER

发明人： SHADY COPTY ,  ROY EMEK ,  ITAI JAEGER ,  YOAV KATZ ,  SHAI LUBLINER

IPC分类号： G06N5/02

CPC分类号： G06N3/063

摘要： Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

摘要翻译： 提供了用于解决由一个或多个变量，约束和概率请求（PR）定义的约束满足问题（CSP）的系统和方法。 在一个实施例中，每个PR映射到实现PR的一组约束上。 CSP求解器然后找到CSP的一系列解决方案。 对于每个解决方案，如果满足与PR相关联的约束，则该PR的成功计数器递增; 否则PR的失败计数器增加。 如果为了解决CSP而不考虑约束，则与约束相关联的PR的故障计数器增加。

公开(公告)号：US07434101B2

公开(公告)日：2008-10-07

申请号：US11085791

申请日：2005-03-21

申请人： Allon Adir ,  Roy Emek ,  Itai Jaeger ,  Eitan Marcus ,  Tzach Schechner

发明人： Allon Adir ,  Roy Emek ,  Itai Jaeger ,  Eitan Marcus ,  Tzach Schechner

IPC分类号： G06F11/00

CPC分类号： G01R31/318385 ,  G06F17/5022

摘要： Improvements in functional verification of a design are achieved by providing a test template that specifies test parameters directed to a function of the design. An exemption mode of operation is associated with a portion of the template, in which constraints and variables associated with the template are revised. The template is an input to a CSP engine, which, in cooperation with a test generator engine, produces test scenarios that lie in an expanded region of the generator's usual operational space. Provision is made for independently enabling and disabling a plurality of exemption modes of operation that are associated with the same or different areas of the template.

摘要翻译： 通过提供一个指定针对设计功能的测试参数的测试模板来实现对设计的功能验证的改进。 豁免模式与模板的一部分相关联，其中与模板相关联的约束和变量被修改。 该模板是CSP引擎的输入，CSP引擎与测试发生器引擎协同生成位于发电机通常运行空间扩展区域内的测试场景。 规定用于独立地启用和禁用与模板的相同或不同区域相关联的多个豁免操作模式。

公开(公告)号：US07370296B2

公开(公告)日：2008-05-06

申请号：US10853041

申请日：2004-05-25

申请人： Anatoly Koyfman ,  Allon Adir ,  Roy Emek ,  Yoav Katz ,  Michael Vinov

发明人： Anatoly Koyfman ,  Allon Adir ,  Roy Emek ,  Yoav Katz ,  Michael Vinov

IPC分类号： G06F17/50

CPC分类号： G06F11/263 ,  G06F11/2257

摘要： Methods and systems are disclosed that enhance the ability of a test generator to automatically deal with address translation in a processor design, and without need for creating specific code. A model of the address translation mechanism of a design-under-test is represented as a directed acyclic graph and then converted into a constraint satisfaction problem. The problem is solved by a CSP engine, and the solution used to generate test cases for execution. Using the model, testing knowledge can be propagated to models applicable to many different designs to produce extensive coverage of address translation mechanisms.

摘要翻译： 公开了增强测试发生器在处理器设计中自动处理地址转换并且不需要创建特定代码的能力的方法和系统。 被测设计的地址转换机制的模型被表示为有向非循环图，然后转换成约束满足问题。 这个问题由CSP引擎解决，用于生成用于执行的测试用例的解决方案。 使用该模型，测试知识可以传播到适用于许多不同设计的模型，以产生广泛的地址转换机制。

公开(公告)号：US20070255667A1

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

申请号：US11380955

申请日：2006-05-01

申请人： Roy Emek ,  Itai Jaeger ,  Yehuda Naveh

发明人： Roy Emek ,  Itai Jaeger ,  Yehuda Naveh

IPC分类号： G06F15/18 ,  G06E1/00

CPC分类号： G06N5/045

摘要： A method for solving a constraint satisfaction problem (CSP) comprises identifying a first illegal combination associated with at least one variable, wherein the first illegal combination contradicts at least one constraint; grouping the first illegal combination with a second illegal combination, in response to determining that the first and second illegal combinations contradict the same constraint; identifying at least one failure explanation for each group of illegal combinations, wherein the failure explanation is associated with at least one illegal combination in said group to provide a reason for a contradicted constraint associated with the illegal combination; assigning a value to each variable in the given domain to solve the CSP within the limitations defined by the constraints in a solution path; and generating a result, in response to determining that at least one assigned value to a variable contradicts a constraint.

摘要翻译： 一种用于解决约束满足问题（CSP）的方法包括：识别与至少一个变量相关联的第一非法组合，其中所述第一非法组合与至少一个约束相矛盾; 响应于确定第一和第二非法组合与相同的约束相矛盾，将第一非法组合与第二非法组合分组; 识别每组非法组合的至少一个故障解释，其中所述故障解释与所述组中的至少一个非法组合相关联，以提供与所述非法组合相关联的矛盾约束的原因; 为给定域中的每个变量分配一个值，以在由解决路径中的约束定义的限制内解决CSP; 以及响应于确定对变量的至少一个分配值与约束相矛盾而产生结果。

公开(公告)号：US20060184468A1

公开(公告)日：2006-08-17

申请号：US11040241

申请日：2005-01-21

申请人： Allon Adir ,  Eyal Bin ,  Roy Emek ,  Kirill Shoikhet

发明人： Allon Adir ,  Eyal Bin ,  Roy Emek ,  Kirill Shoikhet

IPC分类号： G06F15/18

CPC分类号： G06F11/3684

摘要： A method for automatically generating test programs includes receiving a description of a system under test, expressed in terms of variables associated with the system and conditional constraints including semantics applied to the variables, and receiving a definition of an event to be tested in the system. The method generates an ECondCSP over the variables responsively to the definition of the event and to the conditional constraints, such that at least some of the semantics of the conditional constraints are preserved in the ECondCSP when one or more of the variables to which the semantics are applied are inactive. The ECondCSP is solved to generate a test case for the system.

摘要翻译： 一种用于自动生成测试程序的方法包括：接收对与系统相关的变量表示的被测系统的描述，以及包括应用于变量的语义的条件约束，以及接收系统中要测试的事件的定义。 该方法响应于事件的定义和条件约束而对变量生成ECondCSP，使得条件约束的至少一些语义在ECondCSP中被保留，当一个或多个语义为 应用不活动。 ECondCSP解决了为系统生成测试用例。

公开(公告)号：US20050278702A1

公开(公告)日：2005-12-15

申请号：US10853041

申请日：2004-05-25

申请人： Anatoly Koyfman ,  Allon Adir ,  Roy Emek ,  Yoav Katz ,  Michael Vinov

发明人： Anatoly Koyfman ,  Allon Adir ,  Roy Emek ,  Yoav Katz ,  Michael Vinov

IPC分类号： G06F9/44 ,  G06F9/45 ,  G06F11/00 ,  G06F11/25 ,  G06F11/263 ,  G06F17/50 ,  G06K5/04

CPC分类号： G06F11/263 ,  G06F11/2257

摘要： Methods and systems are disclosed that enhance the ability of a test generator to automatically deal with address translation in a processor design, and without need for creating specific code. A model of the address translation mechanism of a design-under-test is represented as a directed acyclic graph and then converted into a constraint satisfaction problem. The problem is solved by a CSP engine, and the solution used to generate test cases for execution. Using the model, testing knowledge can be propagated to models applicable to many different designs to produce extensive coverage of address translation mechanisms.

摘要翻译： 公开了增强测试发生器在处理器设计中自动处理地址转换并且不需要创建特定代码的能力的方法和系统。 被测设计的地址转换机制的模型被表示为有向非循环图，然后转换成约束满足问题。 这个问题由CSP引擎解决，用于生成用于执行的测试用例的解决方案。 使用该模型，测试知识可以传播到适用于许多不同设计的模型，以产生广泛的地址转换机制。

公开(公告)号：US07627843B2

公开(公告)日：2009-12-01

申请号：US11087466

申请日：2005-03-23

申请人： Igor Dozorets ,  Roy Emek ,  Sanjay Gupta ,  Itai Jaeger ,  Lawrence Allyn McConville ,  Tzach Schechner ,  Todd Swanson

发明人： Igor Dozorets ,  Roy Emek ,  Sanjay Gupta ,  Itai Jaeger ,  Lawrence Allyn McConville ,  Tzach Schechner ,  Todd Swanson

IPC分类号： G06F9/00

CPC分类号： G06F17/5022 ,  G01R31/318371

摘要： The input for a test generator is a plurality of test templates, each of which typically aims at covering a specific verification task. Test templates direct the production of distinct transactions, which are the atomic functional building blocks of the design-under-verification. Test templates directed to different hardware functions of the scenario are dynamically interleaved. In this way several transactions are combined together in complex statements in order to achieve a complex test scenario. The transactions are submitted to the test generator, which generates test cases, in which the different hardware functions of the scenario are exercised in combinations. Variation among the test cases is achieved through a large number of random decisions made during the generation process.

摘要翻译： 测试发生器的输入是多个测试模板，每个测试模板通常旨在覆盖特定的验证任务。 测试模板可以直接生成不同的事务，这是不合格设计的原子功能构建块。 定向到场景的不同硬件功能的测试模板是动态交错的。 以这种方式，在复杂语句中将多个事务合并在一起，以实现复杂的测试场景。 这些事务被提交给测试发生器，该测试发生器生成测试用例，其中组合运行该场景的不同硬件功能。 测试用例之间的变化是通过在生成过程中做出的大量随机决策来实现的。

公开(公告)号：US20090259454A1

公开(公告)日：2009-10-15

申请号：US12102880

申请日：2008-04-15

申请人： Allon Adir ,  Eyal Bin ,  Roy Emek ,  Kirill Shoikhet

发明人： Allon Adir ,  Eyal Bin ,  Roy Emek ,  Kirill Shoikhet

IPC分类号： G06G7/62

CPC分类号： G06F11/263

摘要： Apparatus for automatically generating test programs is provided. The apparatus includes a test generator, which is adapted to receive a description of a system under test, expressed in terms of variables associated with the system and conditional constraints including semantics applied to the variables, to receive a definition of an event to be tested in the system, to generate an ECondCSP over the variables responsively to the definition of the event and to the conditional constraints, such that at least some of the semantics of the conditional constraints are preserved in the ECondCSP when one or more of the variables to which the semantics are applied are inactive, and to solve the ECondCSP to generate a test case for the system.

摘要翻译： 提供了自动生成测试程序的设备。 该装置包括测试发生器，其适于接收根据与系统相关联的变量表示的被测系统的描述，以及包括应用于变量的语义的条件约束，以接收待测试的事件的定义 该系统响应于事件的定义和条件约束而对变量生成ECondCSP，使得当ECULTCSP中的一个或多个变量被保留在ECondCSP中时，条件约束的至少一些语义被保留 应用语义不活跃，并解决ECondCSP为系统生成测试用例。