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

1. 发明申请

US20130007528A1 USING REVERSE TIME FOR COVERAGE ANALYSIS 失效
标题翻译：使用反向时间进行覆盖分析
公开(公告)号：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.
摘要翻译：可以使用反向时间进行覆盖分析。覆盖率分析可以基于最后的命中数据。最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。

2. 发明授权

US08756574B2 Using reverse time for coverage analysis 失效
标题翻译：使用反向时间进行覆盖分析
公开(公告)号：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.
摘要翻译：可以使用反向时间进行覆盖分析。覆盖率分析可以基于最后的命中数据。最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。

3. 发明申请

US20110239193A1 USING REVERSE TIME FOR COVERAGE ANALYSIS 审中-公开
标题翻译：使用反向时间进行覆盖分析
公开(公告)号：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.
摘要翻译：可以使用反向时间进行覆盖分析。覆盖率分析可以基于最后的命中数据。最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。

4. 发明授权

US08868977B2 Utilizing auxiliary variables in modeling test space for system behavior 有权
标题翻译：在建模测试空间中利用辅助变量进行系统行为
公开(公告)号：US08868977B2
公开(公告)日：2014-10-21
申请号：US13163702
申请日：2011-06-19
申请人： Ariel Birnbaum , Rachel Tzoref-Brill , Steven Mittermaier , Itai Erwin Segall , Avi Ziv
发明人： Ariel Birnbaum , Rachel Tzoref-Brill , Steven Mittermaier , Itai Erwin Segall , Avi Ziv
IPC分类号： G06F11/00 , G06F11/36
CPC分类号： G06F11/3608
摘要： Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space.
摘要翻译：提供了使用一个或多个辅助变量建模测试空间以验证系统行为的系统和方法。该方法包括实现功能覆盖模型，包括：一个或多个属性，其中根据测试计划分配属性的相应值，以及定义对分配给属性的值组合的限制的一个或多个约束，其中所述限制是布尔表达式定义所述值组合是否有效; 确定满足限制的属性的一组有效值组合以定义用于验证系统行为的测试空间; 并确定相关的辅助变量和所述辅助变量的相应函数，以减少与建模测试空间相关的复杂性。

5. 发明申请

US20120324286A1 UTILIZING AUXILIARY VARIABLES IN MODELING TEST SPACE FOR SYSTEM BEHAVIOR 有权
标题翻译：在系统行为建模测试空间中利用辅助变量
公开(公告)号：US20120324286A1
公开(公告)日：2012-12-20
申请号：US13163702
申请日：2011-06-19
申请人： Ariel Birnbaum , Rachel Tzoref-Brill , Steven Mittermaier , Itai Segall , Avi Ziv
发明人： Ariel Birnbaum , Rachel Tzoref-Brill , Steven Mittermaier , Itai Segall , Avi Ziv
IPC分类号： G06F11/36
CPC分类号： G06F11/3608
摘要： Systems and methods for modeling test space for verifying system behavior, using one or more auxiliary variables, are provided. The method comprises implementing a functional coverage model including: one or more attributes, wherein respective values for the attributes are assigned according to a test plan, and one or more constraints defining restrictions on value combinations assigned to the attributes, wherein the restrictions are Boolean expressions defining whether said value combinations are valid; determining a set of valid value combinations for the attributes that satisfy the restrictions to define the test space for verifying the system behavior; and determining relevant auxiliary variables and a corresponding function for said auxiliary variables to reduce the complexity associated with modeling the test space.
摘要翻译：提供了使用一个或多个辅助变量建模测试空间以验证系统行为的系统和方法。该方法包括实现功能覆盖模型，包括：一个或多个属性，其中根据测试计划分配属性的相应值，以及对分配给属性的值组合定义限制的一个或多个约束，其中所述限制是布尔表达式定义所述值组合是否有效; 确定满足限制的属性的一组有效值组合以定义用于验证系统行为的测试空间; 并确定相关的辅助变量和所述辅助变量的相应函数，以减少与建模测试空间相关的复杂性。

6. 发明申请

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

7. 发明授权

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

8. 发明授权

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

9. 发明申请

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

10. 发明授权

US08930759B2 Stream generation 有权
标题翻译：流生成
公开(公告)号：US08930759B2
公开(公告)日：2015-01-06
申请号：US13437001
申请日：2012-04-02
申请人： Yoav Katz , Michal Rimon , Avi Ziv
发明人： Yoav Katz , Michal Rimon , Avi Ziv
IPC分类号： G06F11/00
CPC分类号： G06F11/3696
摘要： A method, apparatus and product for generating elements based on generation streams. The method comprises: obtaining one or more generation streams, wherein the streams comprise elements, wherein each element is a formal specification of an operation that stimulates a system, wherein based on each of the generation streams one or more alternative stimuli for the system can be generated, which stimuli comprises operations according to the elements; and generating a stimuli in accordance with the one or more generation streams, wherein the stimuli comprises at least one hybrid operation, wherein the hybrid operation complies simultaneously with two or more elements of the one or more generation stream, whereby the stimuli is comprised of a number of operations that is smaller than a sum of the numbers of elements of the one or more generation streams.
摘要翻译：一种基于生成流生成元素的方法，装置和产品。该方法包括：获得一个或多个生成流，其中流包括元素，其中每个元素是刺激系统的操作的形式规范，其中基于每个生成流，系统的一个或多个替代刺激可以是所产生的刺激包括根据元素的操作; 以及根据所述一个或多个生成流产生刺激，其中所述刺激包括至少一个混合操作，其中所述混合操作同时与所述一个或多个生成流中的两个或更多个元件同时进行，由此所述刺激由小于一个或多个生成流的元素数之和的运算次数。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式