公开(公告)号：US20080208827A1

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

申请号：US11677589

申请日：2007-02-22

申请人： Allon Adir ,  Roy Emek ,  Eitan Marcus ,  Gil Eliezer Shurek

发明人： Allon Adir ,  Roy Emek ,  Eitan Marcus ,  Gil Eliezer Shurek

IPC分类号： G06F17/30

CPC分类号： G06F17/30604

摘要： Device, system and method of modeling homogeneous information. For example, a method that includes providing to a model-based application an input model including a refinable homogeneous record having a base type, wherein said homogeneous record is defined with a homogeneous constraint to only include data members of a type compatible with the base type. The homogeneous record is defined in a modeling environment that is able to automatically enforce the homogeneous constraint for the homogeneous record and for refinements thereof.

摘要翻译： 设备，系统和均匀信息建模方法。 例如，一种方法，其包括向基于模型的应用提供包括具有基本类型的可修改同构记录的输入模型，其中所述同构记录被定义为具有均匀约束，以仅包括与基本类型兼容的类型的数据成员 。 在建模环境中定义了同质记录，该建模环境能够自动强制同构记录的均匀约束及其优化。

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

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

公开(公告)号：US08458652B2

公开(公告)日：2013-06-04

申请号：US11677589

申请日：2007-02-22

申请人： Allon Adir ,  Roy Emek ,  Eitan Marcus ,  Gil Eliezer Shurek

发明人： Allon Adir ,  Roy Emek ,  Eitan Marcus ,  Gil Eliezer Shurek

IPC分类号： G06F9/44

CPC分类号： G06F17/30604

摘要： Device, system and method of modeling homogeneous information. For example, a method that includes providing to a model-based application an input model including a refinable homogeneous record having a base type, wherein said homogeneous record is defined with a homogeneous constraint to only include data members of a type compatible with the base type. The homogeneous record is defined in a modeling environment that is able to automatically enforce the homogeneous constraint for the homogeneous record and for refinements thereof.

摘要翻译： 设备，系统和均匀信息建模方法。 例如，一种方法，其包括向基于模型的应用提供包括具有基本类型的可修改同构记录的输入模型，其中所述同构记录被定义为具有均匀约束，以仅包括与基本类型兼容的类型的数据成员 。 在建模环境中定义了同质记录，该建模环境能够自动强制同构记录的均匀约束及其优化。

公开(公告)号：US08121827B2

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

申请号：US12061662

申请日：2008-04-03

申请人： 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

摘要： Apparatus for presentation of functional coverage, including one or more processors and a memory, wherein the memory stores software instructions including instructions for representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested, the events comprising legal and illegal events, instructions for running at least one test on the design, instructions for identifying, 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, instructions for grouping one or more of the illegal events with at least one of the first and second groups so as to generate a simplified model of the functional coverage of the events in the cross-product space and instructions for presenting the simplified model of the functional coverage on an output device. The apparatus further includes an output device coupled to the coverage processor to present the simplified model of the functional coverage to a user.

摘要翻译： 用于呈现功能覆盖的装置，包括一个或多个处理器和存储器，其中所述存储器存储软件指令，其包括用于将被测设计的一组属性表示为多维交叉产品空间的指令，所述指令包括与组合相对应的事件 要测试的属性的值，包括合法和非法事件的事件，用于对设计进行至少一次测试的指令，响应于至少一个测试的用于识别被覆盖的法律事件的第一组的指令 通过所述至少一个测试和在所述至少一个测试之后未被覆盖的所述法律事件的第二组，用于将所述非法事件中的一个或多个与所述第一和第二组中的至少一个分组的指令，以便生成 交叉产品空间中的事件的功能覆盖的简化模型以及用于呈现功能覆盖的简化模型的指令 在输出设备上。 该装置还包括耦合到覆盖处理器以向用户呈现功能覆盖的简化模型的输出设备。

公开(公告)号：US20090254332A1

公开(公告)日：2009-10-08

申请号：US12061662

申请日：2008-04-03

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

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

IPC分类号： G06G7/62

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

摘要： Apparatus for presentation of functional coverage, including one or more processors and a memory, wherein the memory stores software instructions including instructions for representing a set of attributes of a design under test as a multi-dimensional cross-product space, comprising events corresponding to combinations of values of the attributes to be tested, the events comprising legal and illegal events, instructions for running at least one test on the design, instructions for identifying, 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, instructions for grouping one or more of the illegal events with at least one of the first and second groups so as to generate a simplified model of the functional coverage of the events in the cross-product space and instructions for presenting the simplified model of the functional coverage on an output device. The apparatus further includes an output device coupled to the coverage processor to present the simplified model of the functional coverage to a user.

摘要翻译： 用于呈现功能覆盖的装置，包括一个或多个处理器和存储器，其中所述存储器存储软件指令，其包括用于将被测设计的一组属性表示为多维交叉产品空间的指令，所述指令包括与组合相对应的事件 要测试的属性的值，包括合法和非法事件的事件，用于对设计进行至少一次测试的指令，响应于至少一个测试的用于识别被覆盖的法律事件的第一组的指令 通过所述至少一个测试和在所述至少一个测试之后未被覆盖的所述法律事件的第二组，用于将所述非法事件中的一个或多个与所述第一和第二组中的至少一个分组的指令，以便生成 交叉产品空间中的事件的功能覆盖的简化模型以及用于呈现功能覆盖的简化模型的指令 在输出设备上。 该装置还包括耦合到覆盖处理器以向用户呈现功能覆盖的简化模型的输出设备。

公开(公告)号：US20060229860A1

公开(公告)日：2006-10-12

申请号：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.

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

公开(公告)号：US20100146482A1

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

申请号：US12329775

申请日：2008-12-08

申请人： Karen Holtz ,  Eitan Marcus ,  Ronny Morad

发明人： Karen Holtz ,  Eitan Marcus ,  Ronny Morad

IPC分类号： G06F9/44

CPC分类号： G06F9/4492

摘要： A method of automatically defining a new class in a class hierarchy includes creating a descendent class that descends from one or more specified ancestor classes; sequentially analyzing each class along each inheritance path from the specified ancestor classes to a specified similar class to identify each class item in each class that is not selected from the specified ancestor classes; storing a respective pointer for each class item identified in each class that is not inherited by the class referencing the class item and associated with the class; storing a respective pointer for each class item identified in each class that is inherited and redefined by the class referencing the class item and being associated with the class if a pointer referencing the class item is not already stored; and copying each class item referenced by a stored pointer to the descendent class.

摘要翻译： 在类层次结构中自动定义新类的方法包括创建从一个或多个指定祖先类下降的后代类; 顺序分析从指定的祖先类到指定的类似类的每个继承路径的每个类，以标识未从指定的祖先类中选择的每个类中的每个类项目; 存储针对每个类中标识的每个类的相应指针，该类不被引用该类项并且与该类相关联的类继承; 存储每个类中识别的每个类的相应指针，所述类别被引用所述类项目的类继承和重新定义，并且如果引用所述类项目的指针尚未存储则与所述类相关联; 并将存储的指针引用的每个类项目复制到后代类。

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

公开(公告)号：US08327323B2

公开(公告)日：2012-12-04

申请号：US12329775

申请日：2008-12-08

申请人： Karen Holtz ,  Eitan Marcus ,  Ronny Morad

发明人： Karen Holtz ,  Eitan Marcus ,  Ronny Morad

IPC分类号： G06F9/44

CPC分类号： G06F9/4492

摘要： A method of automatically defining a new class in a class hierarchy includes creating a descendent class that descends from one or more specified ancestor classes; sequentially analyzing each class along each inheritance path from the specified ancestor classes to a specified similar class to identify each class item in each class that is not selected from the specified ancestor classes; storing a respective pointer for each class item identified in each class that is not inherited by the class referencing the class item and associated with the class; storing a respective pointer for each class item identified in each class that is inherited and redefined by the class referencing the class item and being associated with the class if a pointer referencing the class item is not already stored; and copying each class item referenced by a stored pointer to the descendent class.

摘要翻译： 在类层次结构中自动定义新类的方法包括创建从一个或多个指定祖先类下降的后代类; 顺序分析从指定的祖先类到指定的类似类的每个继承路径的每个类，以标识未从指定的祖先类中选择的每个类中的每个类项目; 存储针对每个类中标识的每个类的相应指针，该类不被引用该类项并且与该类相关联的类继承; 存储每个类中识别的每个类的相应指针，所述类别被引用所述类项目的类继承和重新定义，并且如果引用所述类项目的指针尚未存储则与所述类相关联; 并将存储的指针引用的每个类项目复制到后代类。

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

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