专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20060218513A1 Dynamically interleaving randomly generated test-cases for functional verification 失效
公开(公告)号：US20060218513A1
公开(公告)日：2006-09-28
申请号：US11087466
申请日：2005-03-23
申请人： Igor Dozorets , Roy Emek , Sanjay Gupta , Itai Jaeger , Lawrence McConville , Tzach Schechner , Todd Swanson
发明人： Igor Dozorets , Roy Emek , Sanjay Gupta , Itai Jaeger , Lawrence McConville , Tzach Schechner , Todd Swanson
IPC分类号： G06F17/50 , G06F9/45
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.

2. 发明授权

US07627843B2 Dynamically interleaving randomly generated test-cases for functional verification 失效
标题翻译：随机生成测试用例的动态交织功能验证
公开(公告)号：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.
摘要翻译：测试发生器的输入是多个测试模板，每个测试模板通常旨在覆盖特定的验证任务。测试模板可以直接生成不同的事务，这是不合格设计的原子功能构建块。定向到场景的不同硬件功能的测试模板是动态交错的。以这种方式，在复杂语句中将多个事务合并在一起，以实现复杂的测试场景。这些事务被提交给测试发生器，该测试发生器生成测试用例，其中组合运行该场景的不同硬件功能。测试用例之间的变化是通过在生成过程中做出的大量随机决策来实现的。

3. 发明申请

US20060212756A1 Highly specialized scenarios in random test generation 有权
标题翻译：随机测试生成中的高度专业化场景
公开(公告)号：US20060212756A1
公开(公告)日：2006-09-21
申请号：US11085791
申请日：2005-03-21
申请人： Roy Emek , Itai Jaeger , Tzach Schechner
发明人： Roy Emek , Itai Jaeger , 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引擎与测试发生器引擎协同生成位于发电机通常运行空间扩展区域内的测试场景。规定用于独立地启用和禁用与模板的相同或不同区域相关联的多个豁免操作模式。

4. 发明授权

US08161440B2 Highly specialized scenarios in random test generation 有权
标题翻译：随机测试生成中的高度专业化场景
公开(公告)号：US08161440B2
公开(公告)日：2012-04-17
申请号：US12139476
申请日：2008-06-15
申请人： Roy Emek , Itai Jaeger , Tzach Schechner
发明人： Roy Emek , Itai Jaeger , Tzach Schechner
IPC分类号： G06F17/50
CPC分类号： G01R31/318385 , G06F17/5022
摘要： A computer software product is provided. The product includes a computer-readable medium in which computer program instructions are stored, which instructions, when read by a computer, cause the computer to perform a method for functional verification of a design, having an operational space comprising the steps of accepting as an input a test template that specifies test parameters directed to a function of the design, the template comprising constraints and variables covering a working space within the operational space, associating an exemption mode of operation with at least one of the constraints or at least one of the variables, wherein a domain of the at least one of the variables is modified or the at least one of the constraints is disabled in the exemption mode of operation, producing a test case that lies in the operational space of the design by enabling the exemption mode of operation, the test case comprising a series of transactions originating from the template, wherein the transactions exercise the function of the design, wherein the working space is modified in the exemption mode of operation and submitting the test case for execution by the design, wherein the exemption mode of operation is associated with only a portion of the template.
摘要翻译：提供计算机软件产品。该产品包括其中存储有计算机程序指令的计算机可读介质，当由计算机读取时，哪些指令使计算机执行用于功能验证设计的方法，具有操作空间，其包括以下步骤：输入测试模板，其指定针对设计功能的测试参数，所述模板包括约束和覆盖所述操作空间内的工作空间的变量，将所述操作的豁免模式与所述约束中的至少一个相关联，变量，其中所述变量中的所述至少一个变量的域被修改或所述约束中的所述至少一个在所述豁免操作模式中被禁用，通过启用所述豁免模式产生位于所述设计的操作空间中的测试用例所述测试用例包括源自所述模板的一系列交易，其中所述交易行使所述功能在设计中，其中工作空间在豁免操作模式下被修改并且通过设计提交测试用例来执行，其中所述豁免操作模式仅与所述模板的一部分相关联。

5. 发明授权

US07434101B2 Highly specialized scenarios in random test generation 有权
标题翻译：随机测试生成中的高度专业化场景
公开(公告)号：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引擎与测试发生器引擎协同生成位于发电机通常运行空间扩展区域内的测试场景。规定用于独立地启用和禁用与模板的相同或不同区域相关联的多个豁免操作模式。

6. 发明申请

US20090313590A1 HIGHLY SPECIALIZED SCENARIOS IN RANDOM TEST GENERATION 有权
标题翻译：随机测试生成中的高度专业化风景
公开(公告)号：US20090313590A1
公开(公告)日：2009-12-17
申请号：US12139476
申请日：2008-06-15
申请人： Roy Emek , Itai Jaeger , Tzach Schechner
发明人： Roy Emek , Itai Jaeger , Tzach Schechner
IPC分类号： G06F17/50
CPC分类号： G01R31/318385 , G06F17/5022
摘要： A computer software product is provided. The product includes a computer-readable medium in which computer program instructions are stored, which instructions, when read by a computer, cause the computer to perform a method for functional verification of a design, having an operational space comprising the steps of accepting as an input a test template that specifies test parameters directed to a function of the design, the template comprising constraints and variables covering a working space within the operational space, associating an exemption mode of operation with at least one of the constraints or at least one of the variables, wherein a domain of the at least one of the variables is modified or the at least one of the constraints is disabled in the exemption mode of operation, producing a test case that lies in the operational space of the design by enabling the exemption mode of operation, the test case comprising a series of transactions originating from the template, wherein the transactions exercise the function of the design, wherein the working space is modified in the exemption mode of operation and submitting the test case for execution by the design, wherein the exemption mode of operation is associated with only a portion of the template.
摘要翻译：提供计算机软件产品。该产品包括其中存储有计算机程序指令的计算机可读介质，当由计算机读取时，哪些指令使计算机执行用于功能验证设计的方法，具有操作空间，其包括以下步骤：输入测试模板，其指定针对设计功能的测试参数，所述模板包括约束和覆盖所述操作空间内的工作空间的变量，将所述操作的豁免模式与所述约束中的至少一个相关联，变量，其中所述变量中的所述至少一个变量的域被修改或所述约束中的所述至少一个在所述豁免操作模式中被禁用，通过启用所述豁免模式产生位于所述设计的操作空间中的测试用例所述测试用例包括源自所述模板的一系列交易，其中所述交易行使所述功能在设计中，其中工作空间在豁免操作模式下被修改并且通过设计提交测试用例来执行，其中所述豁免操作模式仅与所述模板的一部分相关联。

7. 发明授权

US08140457B2 Determining compliance rates for probabilistic requests 失效
标题翻译：确定概率请求的符合率
公开(公告)号：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的故障计数器增加。

8. 发明申请

US20100312738A1 CONTEXT-BASED FAILURE REPORTING FOR A CONSTRAINT SATISFACTION PROBLEM 失效
标题翻译：基于上下文的失败报告的约束满意度问题
公开(公告)号：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; 以及响应于确定对变量的至少一个分配值与约束相矛盾而产生结果。

9. 发明申请

US20070255667A1 Context-Based Failure Reporting For A Constraint Satisfaction Problem 失效
标题翻译：基于上下文的失败报告用于约束满足问题
公开(公告)号：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; 以及响应于确定对变量的至少一个分配值与约束相矛盾而产生结果。

10. 发明授权

US07788610B2 Random stimuli generation of memory maps and memory allocations 失效
标题翻译：随机刺激生成内存映射和内存分配
公开(公告)号：US07788610B2
公开(公告)日：2010-08-31
申请号：US11625831
申请日：2007-01-23
申请人： Roy Emek , Itai Jaeger , Yoav Avraham Katz
发明人： Roy Emek , Itai Jaeger , Yoav Avraham Katz
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： A computer-implemented method for verification of a hardware design includes specifying requests to allocate regions in a memory of the hardware design, such that at least two of the requests are specified independently of one another. The requests indicate respective allocation types.Overlap restrictions are specified between at least some of the allocation types. The requests and the overlap restrictions are automatically converted to a constraint satisfaction problem (CSP), which includes CSP constraints based on the requests, the allocation types and the overlap restrictions.The CSP is solved to produce a random test program, which includes a memory map that allocates the regions in the memory while complying with the requests and the overlap restrictions. The test program is applied to the hardware design.
摘要翻译：用于验证硬件设计的计算机实现的方法包括指定在硬件设计的存储器中分配区域的请求，使得至少两个请求彼此独立地指定。请求指示相应的分配类型。在至少一些分配类型之间指定重叠限制。请求和重叠限制自动转换为约束满足问题（CSP），其包括基于请求的CSP约束，分配类型和重叠限制。 CSP被解决以产生随机测试程序，其包括在遵守请求和重叠限制的情况下在存储器中分配区域的存储器映射。测试程序适用于硬件设计。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式