公开(公告)号：US07133816B2

公开(公告)日：2006-11-07

申请号：US10287860

申请日：2002-11-04

申请人： Allon Adir ,  Eitan Marcus ,  Michal Rimon ,  Amir Voskoboynik

发明人： Allon Adir ,  Eitan Marcus ,  Michal Rimon ,  Amir Voskoboynik

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

CPC分类号： G06F17/5022

摘要： A preemptive reloading technique is employed in a test program generator. Initialized resources are reset with needed values by reloading instructions. The actual reloaded value is chosen later, when the instruction that actually needs the value is generated. The test program generator distances the reloading instruction from the instruction that actually needs the value, thus making it possible to avoid fixed test patterns and to generate interference-free test segments during design verification.

摘要翻译： 在测试程序生成器中采用抢先重新加载技术。 通过重新加载指令，初始化资源将重置为所需值。 当实际需要该值的指令生成时，实际重新加载的值将被选择。 测试程序发生器将重新加载指令与实际需要该值的指令进行距离，从而可以避免固定的测试模式，并在设计验证过程中产生无干扰的测试段。

公开(公告)号：US20120226952A1

公开(公告)日：2012-09-06

申请号：US13037420

申请日：2011-03-01

申请人： Yoav Avraham Katz ,  Michal Rimon ,  Elad Yom-Tov ,  Avi Ziv

发明人： Yoav Avraham Katz ,  Michal Rimon ,  Elad Yom-Tov ,  Avi Ziv

IPC分类号： G06F11/267

CPC分类号： G06N99/005 ,  G06F11/261 ,  G06F11/263

摘要： a computer-implemented method, an apparatus and a computer program for automatically extracting useful information for functional verification. The method comprising performing repeatedly both operating an instruction generator associated with a Design Under Test (DUT), whereby a generated instruction is determined, the generated instruction having one or more instruction attributes; and collecting information relating to the generated instruction. Based on the generated instruction and the collected information, a classification technique is utilized to classify the information based on the instruction attributes.

摘要翻译： 用于自动提取用于功能验证的有用信息的计算机实现的方法，装置和计算机程序。 所述方法包括重复执行操作与被测设计（DUT）相关联的指令生成器，由此确定所生成的指令，所生成的指令具有一个或多个指令属性; 并收集与所生成的指令有关的信息。 基于生成的指令和收集的信息，使用分类技术来基于指令属性对信息进行分类。

公开(公告)号：US08683282B2

公开(公告)日：2014-03-25

申请号：US13037420

申请日：2011-03-01

申请人： Yoav Avraham Katz ,  Michal Rimon ,  Elad Yom-Tov ,  Avi Ziv

发明人： Yoav Avraham Katz ,  Michal Rimon ,  Elad Yom-Tov ,  Avi Ziv

IPC分类号： G01R31/28

CPC分类号： G06N99/005 ,  G06F11/261 ,  G06F11/263

摘要： A computer-implemented method, an apparatus and a computer program for automatically extracting useful information for functional verification. The method comprising performing repeatedly both operating an instruction generator associated with a Design Under Test (DUT), whereby a generated instruction is determined, the generated instruction having one or more instruction attributes; and collecting information relating to the generated instruction. Based on the generated instruction and the collected information, a classification technique is utilized to classify the information based on the instruction attributes.

摘要翻译： 一种用于自动提取用于功能验证的有用信息的计算机实现的方法，装置和计算机程序。 所述方法包括重复执行操作与被测设计（DUT）相关联的指令生成器，由此确定所生成的指令，所生成的指令具有一个或多个指令属性; 并收集与所生成的指令有关的信息。 基于生成的指令和收集的信息，使用分类技术来基于指令属性对信息进行分类。

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

摘要翻译： 一种基于生成流生成元素的方法，装置和产品。 该方法包括：获得一个或多个生成流，其中流包括元素，其中每个元素是刺激系统的操作的形式规范，其中基于每个生成流，系统的一个或多个替代刺激可以是 所产生的刺激包括根据元素的操作; 以及根据所述一个或多个生成流产生刺激，其中所述刺激包括至少一个混合操作，其中所述混合操作同时与所述一个或多个生成流中的两个或更多个元件同时进行，由此所述刺激由 小于一个或多个生成流的元素数之和的运算次数。

公开(公告)号：US08826075B2

公开(公告)日：2014-09-02

申请号：US13400141

申请日：2012-02-20

申请人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

发明人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

IPC分类号： G06F11/00

CPC分类号： G06N5/00 ,  G06F9/4496 ,  G06F11/263

摘要： A method, apparatus and product. The method comprising automatically determining an abstract CSP based on a formally defined problem having interconnected sub-problems, wherein the abstract CSP corresponds to the problem, wherein the abstract CSP has a reduced complexity in comparison to a CSP representing the problem, wherein the abstract CSP captures the interconnection between the sub-problems and reduces the details of each sub-problem, wherein the abstract CSP comprises constraints over variables, wherein each variable having an associated domain; and repeatedly: (1) propagating constraints of the abstract CSP to reduce domains of the abstract CSP; (2) selecting a sub-problem to solve; (3) solving the sub-problem; and (4) updating the abstract CSP with values in accordance with the solution of the sub-problem. Whereby, a solution to the formally defined problem is determined based on the solutions to the sub-problems.

摘要翻译： 一种方法，装置和产品。 所述方法包括基于具有互连子问题的正式定义的问题来自动确定抽象CSP，其中所述抽象CSP对应于所述问题，其中所述抽象CSP与表示所述问题的CSP相比具有降低的复杂性，其中所述抽象CSP 捕获子问题之间的互连并减少每个子问题的细节，其中抽象CSP包括对变量的约束，其中每个变量具有相关联的域; 并反复：（1）传播抽象CSP的约束，减少抽象CSP的域; （2）选择一个子问题来解决; （3）解决子问题; 和（4）根据子问题的解决方案更新具有值的抽象CSP。 因此，根据子问题的解决方案确定正式定义的问题的解决方案。

公开(公告)号：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对于推测执行的操作的验证。 可以使用模板来生成多个测试。 除了根据模板对各种参数的测试的标准随机性之外，测试在其各自的推测性执行路径中也可以不同。 测试由发生器划分成要放置在投机路径中的部分和要放置在非推测路径中的部分。 发电机可以提供部分变化。 发生器可以提供嵌套的推测路径。

公开(公告)号：US20130262932A1

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

申请号：US13437001

申请日：2012-04-02

申请人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

发明人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

IPC分类号： G06F11/28

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.

摘要翻译： 一种基于生成流生成元素的方法，装置和产品。 该方法包括：获得一个或多个生成流，其中流包括元素，其中每个元素是刺激系统的操作的形式规范，其中基于每个生成流，系统的一个或多个替代刺激可以是 所产生的刺激包括根据元素的操作; 以及根据所述一个或多个生成流产生刺激，其中所述刺激包括至少一个混合操作，其中所述混合操作同时与所述一个或多个生成流中的两个或更多个元件同时进行，由此所述刺激由 小于一个或多个生成流的元素数之和的运算次数。

公开(公告)号：US20130219215A1

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

申请号：US13400141

申请日：2012-02-20

申请人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

发明人： Yoav Katz ,  Michal Rimon ,  Avi Ziv

IPC分类号： G06F11/00 ,  G06N5/02

CPC分类号： G06N5/00 ,  G06F9/4496 ,  G06F11/263

摘要： A method, apparatus and product. The method comprising automatically determining an abstract CSP based on a formally defined problem having interconnected sub-problems, wherein the abstract CSP corresponds to the problem, wherein the abstract CSP has a reduced complexity in comparison to a CSP representing the problem, wherein the abstract CSP captures the interconnection between the sub-problems and reduces the details of each sub-problem, wherein the abstract CSP comprises constraints over variables, wherein each variable having an associated domain; and repeatedly: (1) propagating constraints of the abstract CSP to reduce domains of the abstract CSP; (2) selecting a sub-problem to solve; (3) solving the sub-problem; and (4) updating the abstract CSP with values in accordance with the solution of the sub-problem. Whereby, a solution to the formally defined problem is determined based on the solutions to the sub-problems.

摘要翻译： 一种方法，装置和产品。 所述方法包括基于具有互连子问题的正式定义的问题来自动确定抽象CSP，其中所述抽象CSP对应于所述问题，其中所述抽象CSP与表示所述问题的CSP相比具有降低的复杂性，其中所述抽象CSP 捕获子问题之间的互连并减少每个子问题的细节，其中抽象CSP包括对变量的约束，其中每个变量具有相关联的域; 并反复：（1）传播抽象CSP的约束，减少抽象CSP的域; （2）选择一个子问题来解决; （3）解决子问题; 和（4）根据子问题的解决方案更新具有值的抽象CSP。 因此，根据子问题的解决方案确定正式定义的问题的解决方案。

公开(公告)号：US20120131386A1

公开(公告)日：2012-05-24

申请号：US12951049

申请日：2010-11-21

申请人： Lurent Fournier ,  Anatoly Koyfman ,  Michal Rimon

发明人： Lurent Fournier ,  Anatoly Koyfman ,  Michal Rimon

IPC分类号： G06F11/263

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对于推测执行的操作的验证。 可以使用模板来生成多个测试。 除了根据模板对各种参数的测试的标准随机性之外，测试在其各自的推测性执行路径中也可以不同。 测试由发生器划分成要放置在投机路径中的部分和要放置在非推测路径中的部分。 发电机可以提供部分变化。 发生器可以提供嵌套的推测路径。

公开(公告)号：US20110320784A1

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

申请号：US12822553

申请日：2010-06-24

申请人： Eli Almog ,  Christopher A. Krygowski ,  Yugi Morimoto ,  Michal Rimon

发明人： Eli Almog ,  Christopher A. Krygowski ,  Yugi Morimoto ,  Michal Rimon

IPC分类号： G06F9/30

CPC分类号： G06F9/3812 ,  G06F17/504 ,  G06F2217/68

摘要： A verification operation including generating a predefined instruction, initializing a relevant self modifying code (SMC) target memory location to form an SMC trap, binding the SMC trap to the predefined instruction to form an SMC trap source and propagating initialization of instruction code into the SMC trap source.

摘要翻译： 验证操作包括生成预定义的指令，初始化相关的自修改代码（SMC）目标存储器位置以形成SMC陷阱，将SMC陷阱绑定到预定义的指令以形成SMC陷阱源并将指令代码的初始化传播到SMC中 陷阱源。