公开(公告)号：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引擎与测试发生器引擎协同生成位于发电机通常运行空间扩展区域内的测试场景。 规定用于独立地启用和禁用与模板的相同或不同区域相关联的多个豁免操作模式。

公开(公告)号：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.

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

公开(公告)号：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引擎与测试发生器引擎协同生成位于发电机通常运行空间扩展区域内的测试场景。 规定用于独立地启用和禁用与模板的相同或不同区域相关联的多个豁免操作模式。

公开(公告)号：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.

摘要翻译： 提供计算机软件产品。 该产品包括其中存储有计算机程序指令的计算机可读介质，当由计算机读取时，哪些指令使计算机执行用于功能验证设计的方法，具有操作空间，其包括以下步骤： 输入测试模板，其指定针对设计功能的测试参数，所述模板包括约束和覆盖所述操作空间内的工作空间的变量，将所述操作的豁免模式与所述约束中的至少一个相关联， 变量，其中所述变量中的所述至少一个变量的域被修改或所述约束中的所述至少一个在所述豁免操作模式中被禁用，通过启用所述豁免模式产生位于所述设计的操作空间中的测试用例 所述测试用例包括源自所述模板的一系列交易，其中所述交易行使所述功能 在设计中，其中工作空间在豁免操作模式下被修改并且通过设计提交测试用例来执行，其中所述豁免操作模式仅与所述模板的一部分相关联。

公开(公告)号：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.

摘要翻译： 提供计算机软件产品。 该产品包括其中存储有计算机程序指令的计算机可读介质，当由计算机读取时，哪些指令使计算机执行用于功能验证设计的方法，具有操作空间，其包括以下步骤： 输入测试模板，其指定针对设计功能的测试参数，所述模板包括约束和覆盖所述操作空间内的工作空间的变量，将所述操作的豁免模式与所述约束中的至少一个相关联， 变量，其中所述变量中的所述至少一个变量的域被修改或所述约束中的所述至少一个在所述豁免操作模式中被禁用，通过启用所述豁免模式产生位于所述设计的操作空间中的测试用例 所述测试用例包括源自所述模板的一系列交易，其中所述交易行使所述功能 在设计中，其中工作空间在豁免操作模式下被修改并且通过设计提交测试用例来执行，其中所述豁免操作模式仅与所述模板的一部分相关联。

公开(公告)号：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.

公开(公告)号：US20080189094A1

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

申请号：US11672050

申请日：2007-02-07

申请人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger ,  Ofer Peled

发明人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger ,  Ofer Peled

IPC分类号： G06F17/50

CPC分类号： G06F11/3676 ,  G01R31/318371 ,  G06F11/3684

摘要： Methods and systems are presented for generation of a test suite in order to validate compliance of a process with its process specification. The methodology involves a formal description of the process using a flowchart, refinement of the flowchart to include misinterpretations of the process specification, defining compliance coverage models over the flowchart, and automatically generating test case scenarios that cover the models. Internal and external types of misinterpretation are distinguished. A compliance test suite is automatically generated and observations made of the details of the traversal through the flow chart when the tests are executed.

摘要翻译： 提供了用于生成测试套件的方法和系统，以验证过程符合其过程规范。 该方法涉及使用流程图的过程的正式描述，流程图的改进包括过程规范的误解，在流程图上定义合规性覆盖模型，以及自动生成涵盖模型的测试用例场景。 区别了内部和外部的误解。 自动生成合规性测试套件，并在执行测试时通过流程图遍历的详细信息。

公开(公告)号：US08280713B2

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

申请号：US11735510

申请日：2007-04-16

申请人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger

发明人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger

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

CPC分类号： G06F11/263 ,  G06F8/30

摘要： A parametrically controlled model-based test generator automatically generates architectural compliance test suites for different implementations of a processor architecture, based on a set of architectural decisions chosen among optional behaviors for each implementation. Thus, different implementations of the same architecture can be easily supported by modifying the parameter values. In addition, ongoing changes to the architecture or comprehensive updates to the test suite can be easily handled by updating the architecture model or the coverage models, forgoing the need to review the whole, potentially huge, set of tests.

摘要翻译： 基于对每个实现的可选行为选择的一组架构决策，参数控制的基于模型的测试发生器自动生成用于处理器架构的不同实现的架构一致性测试套件。 因此，可以通过修改参数值来容易地支持相同架构的不同实现。 此外，通过更新架构模型或覆盖模型，可以轻松地处理对架构的持续更改或测试套件的全面更新，从而需要检查整个可能巨大的测试集。

公开(公告)号：US20080255822A1

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

申请号：US11735510

申请日：2007-04-16

申请人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger

发明人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger

IPC分类号： G06F9/44

CPC分类号： G06F11/263 ,  G06F8/30

摘要： A parametrically controlled model-based test generator automatically generates architectural compliance test suites for different implementations of a processor architecture, based on a set of architectural decisions chosen among optional behaviors for each implementation. Thus, different implementations of the same architecture can be easily supported by modifying the parameter values. In addition, ongoing changes to the architecture or comprehensive updates to the test suite can be easily handled by updating the architecture model or the coverage models, forgoing the need to review the whole, potentially huge, set of tests.

摘要翻译： 基于对每个实现的可选行为选择的一组架构决策，参数控制的基于模型的测试发生器自动生成用于处理器架构的不同实现的架构一致性测试套件。 因此，可以通过修改参数值来容易地支持相同架构的不同实现。 此外，通过更新架构模型或覆盖模型，可以轻松地处理对架构的持续更改或测试套件的全面更新，从而需要检查整个可能巨大的测试集。

公开(公告)号：US20130196305A1

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

申请号：US13360808

申请日：2012-01-30

申请人： Allon Adir ,  Itai Jaeger ,  Ronen Levy ,  Tamer Salman

发明人： Allon Adir ,  Itai Jaeger ,  Ronen Levy ,  Tamer Salman

IPC分类号： G09B3/00

CPC分类号： G06Q10/10 ,  G06Q50/205 ,  G09B5/00 ,  G09B7/00 ,  G09B19/00 ,  G09B29/00

摘要： A computer-implemented method and apparatus for generating questions. The method comprises receiving a rule; dynamically generating a graph representing a question, the graph comprising one or more nodes, each node associated with a rule having one or more variables; sampling a value from the value domain for the variable; and synthesizing a textual representation of the graph.

摘要翻译： 用于产生问题的计算机实现的方法和装置。 该方法包括接收规则; 动态生成表示问题的图形，所述图形包括一个或多个节点，每个节点与具有一个或多个变量的规则相关联; 从变量的值域中抽取一个值; 并合成图形的文本表示。