公开(公告)号：US20130007528A1

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

申请号：US13611798

申请日：2012-09-12

申请人： Avi Ziv ,  Laurent Fournier ,  Steven Mittermaier

发明人： Avi Ziv ,  Laurent Fournier ,  Steven Mittermaier

IPC分类号： G06F11/07

CPC分类号： G06F1/14 ,  G06F11/3676 ,  G06F17/30563 ,  G06F2201/84

摘要： Coverage analysis may be performed using reverse time. The coverage analysis may be based on last hit data. The last hit data may comprise a timestamp indicating a last time in which a coverage event was covered. Utilizing last hit data instead of first hit data as is known in the art enables distinction between coverage goals that were never covered and coverage goals that were not covered lately.

摘要翻译： 可以使用反向时间进行覆盖分析。 覆盖率分析可以基于最后的命中数据。 最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。 利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。

公开(公告)号：US08756574B2

公开(公告)日：2014-06-17

申请号：US13611798

申请日：2012-09-12

申请人： Avi Ziv ,  Laurent Fournier ,  Steven Mittermaier

发明人： Avi Ziv ,  Laurent Fournier ,  Steven Mittermaier

IPC分类号： G06F9/44

CPC分类号： G06F1/14 ,  G06F11/3676 ,  G06F17/30563 ,  G06F2201/84

摘要： Coverage analysis may be performed using reverse time. The coverage analysis may be based on last hit data. The last hit data may comprise a timestamp indicating a last time in which a coverage event was covered. Utilizing last hit data instead of first hit data as is known in the art enables distinction between coverage goals that were never covered and coverage goals that were not covered lately.

摘要翻译： 可以使用反向时间进行覆盖分析。 覆盖率分析可以基于最后的命中数据。 最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。 利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。

公开(公告)号：US20110239193A1

公开(公告)日：2011-09-29

申请号：US12731170

申请日：2010-03-25

申请人： Avi Ziv ,  Laurent Fournier ,  Steven Mittermaier

发明人： Avi Ziv ,  Laurent Fournier ,  Steven Mittermaier

IPC分类号： G06Q10/00 ,  G06F3/048

CPC分类号： G06F1/14 ,  G06F11/3676 ,  G06F16/254 ,  G06F2201/84

摘要： Coverage analysis may be performed using reverse time. The coverage analysis may be based on last hit data. The last hit data may comprise a timestamp indicating a last time in which a coverage event was covered. Utilizing last hit data instead of first hit data as is known in the art enables distinction between coverage goals that were never covered and coverage goals that were not covered lately.

摘要翻译： 可以使用反向时间进行覆盖分析。 覆盖率分析可以基于最后的命中数据。 最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。 利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。

公开(公告)号：US20070168727A1

公开(公告)日：2007-07-19

申请号：US11260781

申请日：2005-10-27

申请人： Laurent Fournier ,  Avi Ziv

发明人： Laurent Fournier ,  Avi Ziv

IPC分类号： G06F11/00

CPC分类号： G01R31/31835 ,  G01R31/318314

摘要： Functional coverage techniques during design verification using cross-product coverage models and hole analysis are enhanced by the use of coverage queries. After running a test suite, a core set of non-covered events is specified. A coverage query is then automatically constructed and executed on the test results to identify a hole in the functional coverage that satisfies conditions of the coverage query and includes the core set. The results of the query are presented as a simplified view of the coverage of the events in the cross-product space. Use of coverage queries allows a verification team to focus on specific areas of interest in the coverage space and to deal practically with highly complex coverage models. It also avoids the burden of producing and evaluating complete hole analysis reports.

摘要翻译： 通过使用覆盖查询来增强使用跨产品覆盖模型和空穴分析的设计验证过程中的功能覆盖技术。 运行测试套件后，指定了一组核心的非覆盖事件。 然后，覆盖查询将自动构建并执行测试结果，以识别满足覆盖查询条件的功能覆盖范围内的一个漏洞，并包含核心集。 查询的结果以跨产品空间中的事件的覆盖率的简化视图呈现。 使用覆盖查询允许验证团队将重点放在覆盖范围的特定领域，并实际应用高度复杂的覆盖模型。 它也避免了生产和评估完整的孔分析报告的负担。

公开(公告)号：US08019586B2

公开(公告)日：2011-09-13

申请号：US12189806

申请日：2008-08-12

申请人： Laurent Fournier ,  Avi Ziv

发明人： Laurent Fournier ,  Avi Ziv

IPC分类号： G06F17/50

CPC分类号： G01R31/31835 ,  G01R31/318314

摘要： Functional coverage techniques during design verification using cross-product coverage models and hole analysis are enhanced by the use of coverage queries. After running a test suite, a core set of non-covered events is specified. A coverage query is then automatically constructed and executed on the test results to identify a hole in the functional coverage that satisfies conditions of the coverage query and includes the core set. The results of the query are presented as a simplified view of the coverage of the events in the cross-product space. Use of coverage queries allows a verification team to focus on specific areas of interest in the coverage space and to deal practically with highly complex coverage models. It also avoids the burden of producing and evaluating complete hole analysis reports.

摘要翻译： 通过使用覆盖查询来增强使用跨产品覆盖模型和空穴分析的设计验证过程中的功能覆盖技术。 运行测试套件后，指定了一组核心的非覆盖事件。 然后，覆盖查询将自动构建并执行测试结果，以识别满足覆盖查询条件的功能覆盖范围内的一个漏洞，并包含核心集。 查询的结果以跨产品空间中的事件的覆盖率的简化视图呈现。 使用覆盖查询允许验证团队将重点放在覆盖范围的特定领域，并实际应用高度复杂的覆盖模型。 它也避免了生产和评估完整的孔分析报告的负担。

公开(公告)号：US20100042385A1

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

申请号：US12189806

申请日：2008-08-12

申请人： Laurent Fournier ,  Avi Ziv

发明人： Laurent Fournier ,  Avi Ziv

IPC分类号： G06G7/48

CPC分类号： G01R31/31835 ,  G01R31/318314

摘要： Functional coverage techniques during design verification using cross-product coverage models and hole analysis are enhanced by the use of coverage queries. After running a test suite, a core set of non-covered events is specified. A coverage query is then automatically constructed and executed on the test results to identify a hole in the functional coverage that satisfies conditions of the coverage query and includes the core set. The results of the query are presented as a simplified view of the coverage of the events in the cross-product space. Use of coverage queries allows a verification team to focus on specific areas of interest in the coverage space and to deal practically with highly complex coverage models. It also avoids the burden of producing and evaluating complete hole analysis reports.

摘要翻译： 通过使用覆盖查询来增强使用跨产品覆盖模型和空穴分析的设计验证过程中的功能覆盖技术。 运行测试套件后，指定了一组核心的非覆盖事件。 然后，覆盖查询将自动构建并执行测试结果，以识别满足覆盖查询条件的功能覆盖范围内的一个漏洞，并包含核心集。 查询的结果以跨产品空间中的事件的覆盖率的简化视图呈现。 使用覆盖查询允许验证团队将重点放在覆盖范围的特定领域，并实际应用高度复杂的覆盖模型。 它也避免了生产和评估完整的孔分析报告的负担。

公开(公告)号：US07428715B2

公开(公告)日：2008-09-23

申请号：US11260781

申请日：2005-10-27

申请人： Laurent Fournier ,  Avi Ziv

发明人： Laurent Fournier ,  Avi Ziv

IPC分类号： G06F17/50

CPC分类号： G01R31/31835 ,  G01R31/318314

摘要： Functional coverage techniques during design verification using cross-product coverage models and hole analysis are enhanced by the use of coverage queries. After running a test suite, a core set of non-covered events is specified. A coverage query is then automatically constructed and executed on the test results to identify a hole in the functional coverage that satisfies conditions of the coverage query and includes the core set. The results of the query are presented as a simplified view of the coverage of the events in the cross-product space. Use of coverage queries allows a verification team to focus on specific areas of interest in the coverage space and to deal practically with highly complex coverage models. It also avoids the burden of producing and evaluating complete hole analysis reports.

摘要翻译： 通过使用覆盖查询来增强使用跨产品覆盖模型和空穴分析的设计验证过程中的功能覆盖技术。 运行测试套件后，指定了一组核心的非覆盖事件。 然后，覆盖查询将自动构建并执行测试结果，以识别满足覆盖查询条件的功能覆盖范围内的一个漏洞，并包含核心集。 查询的结果以跨产品空间中的事件的覆盖率的简化视图呈现。 使用覆盖查询允许验证团队将重点放在覆盖范围的特定领域，并实际应用高度复杂的覆盖模型。 它也避免了生产和评估完整的孔分析报告的负担。

公开(公告)号：US07673261B2

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

申请号：US11672050

申请日：2007-02-07

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

发明人： Alion 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.

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

公开(公告)号：US5724504A

公开(公告)日：1998-03-03

申请号：US457903

申请日：1995-06-01

申请人： Aharon Aharon ,  Laurent Fournier ,  Alon Gluska ,  Yossi Lichtenstein ,  Yossi Malka

发明人： Aharon Aharon ,  Laurent Fournier ,  Alon Gluska ,  Yossi Lichtenstein ,  Yossi Malka

IPC分类号： G06F17/50 ,  G06F11/00 ,  G06G7/48

CPC分类号： G06F17/5022

摘要： A technique that applies the task coverage exercised within a behavioral model of the design to the design itself, while simulating one or more test sequences. Since the behavior model is an accurate and complete program representation of the architectural specification of the hardware design, the test case coverage of the architecture is implied by the measurement of how well the behavioral model code has been exercised. The completeness of the coverage is determined by the test coverage criteria selected, including, for example, statement coverage, branch coverage, or path coverage. The more detailed the criteria, the greater the number of tests.

摘要翻译： 同时模拟一个或多个测试序列的技术，其将设计行为模型中的任务覆盖率应用于设计本身。 由于行为模型是硬件设计的体系结构规范的准确而完整的程序表示，所以体系结构的测试用例覆盖是通过测量行为模型代码的行为来衡量的。 覆盖率的完整性由所选择的测试覆盖率标准确定，包括例如语句覆盖率，分支覆盖率或路径覆盖率。 标准越详细，测试次数越多。

公开(公告)号：US08589892B2

公开(公告)日：2013-11-19

申请号：US12951049

申请日：2010-11-21

申请人： Laurent Fournier ,  Anatoly Albert Koyfman ,  Michal Rimon

发明人： Laurent Fournier ,  Anatoly Albert Koyfman ,  Michal Rimon

IPC分类号： G06F9/44

CPC分类号： G06F11/263

摘要： A Design-Under-Test (DUT) may be designed to perform speculative execution of a branch path prior to determination whether the branch path is to be performed. Verification of the operation of DUT in respect to the speculative execution is disclosed. A template may be used to generate a plurality of tests. In addition to standard randomness of the tests to various parameters in accordance with the template, the tests may also differ in their respective speculative execution paths. The tests are partitioned by a generator into portions to be placed in speculative paths and portions to be placed in non-speculative paths. The generator may provide for a variance in portions. The generator may provide for nested speculative paths.

摘要翻译： 设计欠测试（DUT）可以被设计为在确定是否执行分支路径之前执行分支路径的推测执行。 公开了DUT对于推测执行的操作的验证。 可以使用模板来生成多个测试。 除了根据模板对各种参数的测试的标准随机性之外，测试在其各自的推测性执行路径中也可以不同。 测试由发生器划分成要放置在投机路径中的部分和要放置在非推测路径中的部分。 发电机可以提供部分变化。 发生器可以提供嵌套的推测路径。