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

摘要翻译： 提供了使用一个或多个辅助变量建​​模测试空间以验证系统行为的系统和方法。 该方法包括实现功能覆盖模型，包括：一个或多个属性，其中根据测试计划分配属性的相应值，以及对分配给属性的值组合定义限制的一个或多个约束，其中所述限制是布尔表达式 定义所述值组合是​​否有效; 确定满足限制的属性的一组有效值组合以定义用于验证系统行为的测试空间; 并确定相关的辅助变量和所述辅助变量的相应函数，以减少与建模测试空间相关的复杂性。

公开(公告)号：US07729891B2

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

申请号：US11145866

申请日：2005-06-06

申请人： Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

发明人： Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

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

CPC分类号： G06F17/504

摘要： Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.

摘要翻译： 提供了方法，装置和系统，其能够生成随机回归套件以验证将被制定为优化问题的硬件或软件设计。 使用概率方法的优化问题的解决方案提供了应使用哪组测试规范的信息，以及每个规范应该生成多少个测试。 在一种操作模式中，构建了使用最少数量的测试来实现特定覆盖目标的回归套件。 在另一种操作模式下，构建回归套件，以便在运行固定数量的测试或固定成本时最大化任务覆盖。

公开(公告)号：US07389215B2

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

申请号：US11101333

申请日：2005-04-07

申请人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

发明人： Yehezkel Azatchi ,  Eitan Marcus ,  Shmuel Ur ,  Avi Ziv ,  Keren Zohar

IPC分类号： G06F17/50

CPC分类号： G06F17/5009 ,  G06F11/3676

摘要： A method for presentation of functional coverage includes representing a set of attributes of a design under test as a multi-dimensional cross-product space, which includes events corresponding to combinations of values of the attributes to be tested, the events including legal and illegal events. At least one test is run on the design, and responsively to the at least one test, a first group of the legal events that were covered by the at least one test and a second group of the legal events that remain non-covered after the at least one test are identified. One or more of the illegal events are grouped with at least one of the first and second groups so as to present a simplified model of the coverage of the events in the cross-product space.

摘要翻译： 用于呈现功能覆盖的方法包括将被测设计的一组属性表示为多维交叉产品空间，其包括对应于待测试属性的值的组合的事件，包括合法和非法事件的事件 。 对设计进行至少一次测试，并且响应于至少一次测试，由至少一次测试涵盖的第一组法律事件和第二组法律事件在第 确定至少一个测试。 一个或多个非法事件与第一和第二组中的至少一个分组，以呈现跨产品空间中的事件的覆盖的简化模型。

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

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

公开(公告)号：US08392348B2

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

申请号：US12868756

申请日：2010-08-26

申请人： Eyal Bin ,  Avi Ziv

发明人： Eyal Bin ,  Avi Ziv

IPC分类号： G06N5/00

CPC分类号： G06N5/00

摘要： A CSP is modified to include an auxiliary variable. A component of a constraint of the CSP is modified to refer to the auxiliary variable instead of referring to a pair of variables. A domain for the auxiliary variable may be defined based on domains of the pair of variables. A binding constraint is added to the CSP to bind the value of the auxiliary variable with the values of the pair of variables. The modified CSP is solved using a CSP solver.

摘要翻译： CSP被修改为包括一个辅助变量。 CSP的约束的一个组件被修改为引用辅助变量，而不是引用一对变量。 辅助变量的域可以基于变量对中的域来定义。 绑定约束被添加到CSP以将辅助变量的值与变量对的值进行绑定。 使用CSP求解器解决了修改后的CSP。

公开(公告)号：US20120054560A1

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

申请号：US12843068

申请日：2010-08-26

申请人： Allon Adir ,  John Martin Ludden ,  Avi Ziv

发明人： Allon Adir ,  John Martin Ludden ,  Avi Ziv

IPC分类号： G06F11/00 ,  G06F9/45

CPC分类号： G06F17/5022 ,  G06F11/3664 ,  G06F2217/68

摘要： An operation of a processor in respect to transactions is checked by simulating an execution of a test program, and updating a transaction order graph to identify a cycle. The graph is updated based on a value read during an execution of a first transaction and a second transaction that is the configured to set the memory with the read value. The test program comprises information useful for identifying the second transaction.

摘要翻译： 通过模拟测试程序的执行和更新交易顺序图以识别周期来检查处理器相对于交易的操作。 基于在第一事务的执行期间读取的值和被配置为设置具有读取值的存储器的第二事务来更新该图。 该测试程序包括用于识别第二个事务的信息。

公开(公告)号：US20120054138A1

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

申请号：US12868756

申请日：2010-08-26

申请人： Eyal Bin ,  Avi Ziv

发明人： Eyal Bin ,  Avi Ziv

IPC分类号： G06N5/02

CPC分类号： G06N5/00

摘要： A CSP is modified to include an auxiliary variable. A component of a constraint of the CSP is modified to refer to the auxiliary variable instead of referring to a pair of variables. A domain for the auxiliary variable may be defined based on domains of the pair of variables. A binding constraint is added to the CSP to bind the value of the auxiliary variable with the values of the pair of variables. The modified CSP is solved using a CSP solver.

摘要翻译： CSP被修改为包括一个辅助变量。 CSP的约束的一个组件被修改为引用辅助变量，而不是引用一对变量。 辅助变量的域可以基于变量对中的域来定义。 绑定约束被添加到CSP以将辅助变量的值与变量对的值进行绑定。 使用CSP求解器解决了修改后的CSP。

公开(公告)号：US20080255813A1

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

申请号：US12121962

申请日：2008-05-16

申请人： Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

发明人： Shai Fine ,  Shmuel Ur ,  Avi Ziv ,  Simon Rushton

IPC分类号： G06F7/60

CPC分类号： G06F17/504

摘要： Methods, apparatus and systems are provided that enable the generation of random regression suites for verification of a hardware or software design to be formulated as optimization problems. Solution of the optimization problems using probabilistic methods provides information on which set of test specifications should be used, and how many tests should be generated from each specification. In one mode of operation regression suites are constructed that use the minimal number of tests required to achieve a specific coverage goal. In another mode of operation regression suites are constructed so as to maximize task coverage when a fixed number of tests are run or within a fixed cost.

摘要翻译： 提供了方法，装置和系统，其能够生成随机回归套件以验证将被制定为优化问题的硬件或软件设计。 使用概率方法的优化问题的解决方案提供了应使用哪组测试规范的信息，以及每个规范应该生成多少个测试。 在一种操作模式中，构建了使用最少数量的测试来实现特定覆盖目标的回归套件。 在另一种操作模式下，构建回归套件，以便在运行固定数量的测试或固定成本时最大化任务覆盖。

公开(公告)号：US06978444B1

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

申请号：US09630411

申请日：2000-08-01

申请人： Eitan Farchi ,  Shmuol Ur ,  Avi Ziv

发明人： Eitan Farchi ,  Shmuol Ur ,  Avi Ziv

IPC分类号： G06F9/44

CPC分类号： G06F11/3636

摘要： A computer-implemented method and system for automatically invoking a predetermined debugger command at a desired location of a single thread of a program containing at least one thread. At the desired location of the program thread, there is embedded a utility which reads a trace file in which the predetermined debugger command has been previously embedded. Upon re-running the program, the trace file is read and upon reaching the predetermined debugger command, the debugger attaches itself to the running process and executes the process from its current program counter. The debugger is invoked only if there is a discrepancy between successive runs of the program.

摘要翻译： 一种用于在包含至少一个线程的程序的单个线程的期望位置处自动调用预定调试器命令的计算机实现的方法和系统。 在程序线程的所需位置，嵌入一个实用程序，该实用程序读取其中预先嵌入了预定调试器命令的跟踪文件。 在重新运行程序时，读取跟踪文件，并且在达到预定的调试器命令之后，调试器将其自身附加到运行进程，并从其当前程序计数器执行进程。 仅当程序的连续运行存在差异时才调用调试器。

公开(公告)号：US20050096861A1

公开(公告)日：2005-05-05

申请号：US10699227

申请日：2003-10-31

申请人： Shmuel Ur ,  Avi Ziv

发明人： Shmuel Ur ,  Avi Ziv

IPC分类号： G06F17/50 ,  G06F19/00

CPC分类号： G06F17/504 ,  G06F17/5022

摘要： Methods and systems are provided that improve design verification by test generators by delaying assignment of values in the generated stimuli until these values are used in the design. Late binding allows the generator to have a more accurate view of the state of the design, and in order to choose correct values. Late binding can significantly improve test coverage with a reasonable performance penalty as measured by simulation time.

摘要翻译： 提供了方法和系统，通过延迟生成的刺激中的值的分配来改进测试发生器的设计验证，直到在设计中使用这些值。 后期绑定允许发电机对设计状态进行更准确的视图，并选择正确的值。 后期绑定可以通过模拟时间测量的合理性能损失来显着提高测试覆盖率。