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

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

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

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

公开(公告)号：US06925405B2

公开(公告)日：2005-08-02

申请号：US10040940

申请日：2002-01-09

申请人： Allon Adir ,  Roy Emek ,  Eitan Marcus

发明人： Allon Adir ,  Roy Emek ,  Eitan Marcus

IPC分类号： G01R27/28 ,  G06F11/263 ,  G06F19/00

CPC分类号： G06F11/263

摘要： A test program generator that produces test instructions according to a specification of a system being verified. The instructions are typically generated randomly, at least in part, and are then. The system is capable of interpreting events, detecting an impending occurrence of an event, and responding to the event by switching to an alternate input stream.

摘要翻译： 一种测试程序生成器，其根据被验证的系统的规范产生测试指令。 指令通常随机生成，至少部分地，然后是。 该系统能够解释事件，检测即将发生的事件，以及通过切换到替代输入流来响应事件。

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

公开(公告)号：US20110197049A1

公开(公告)日：2011-08-11

申请号：US12700970

申请日：2010-02-05

申请人： Allon Adir ,  Brad Lee Herold ,  John Martin Ludden ,  Pedro Martin-de-Nicolas ,  Charles Leverett Meissner ,  Gil Eliezer Shurek

发明人： Allon Adir ,  Brad Lee Herold ,  John Martin Ludden ,  Pedro Martin-de-Nicolas ,  Charles Leverett Meissner ,  Gil Eliezer Shurek

IPC分类号： G06F9/38

CPC分类号： G06F9/3816 ,  G06F9/3005

摘要： A test code generation technique that replaces instructions having a machine state dependent result with special redirection instructions provides generation of test code in which state dependent execution choices are made without a state model. Redirection instructions cause execution of a handler than examines the machine state and replaces the redirection instruction with a replacement instruction having a desired result resolved in accordance with the current machine state. The instructions that are replaced may be conditional branch instructions and the result a desired execution path. The examination of the machine state permits determination of a branch condition for the replacement instruction so that the next pass of the test code executes along the desired path. Alternatively, the handler can execute a jump to the branch instruction, causing immediate execution of the desired branch path. The re-direction instructions may be illegal instructions, which cause execution of an interrupt handler that performs the replacement.

摘要翻译： 使用特殊重定向指令替代具有机器状态相关结果的指令的测试代码生成技术提供测试代码的生成，其中在不使用状态模型的情况下进行状态相关的执行选择。 重定向指令导致处理程序的执行，而不是检查机器状态，并根据当前机器状态用具有期望结果的替换指令替换重定向指令。 被替换的指令可以是条件分支指令，并且结果是可能的执行路径。 对机器状态的检查允许确定替换指令的分支条件，使得测试代码的下一遍沿着期望的路径执行。 或者，处理程序可以执行跳转到分支指令，导致立即执行所需的分支路径。 重定向指令可能是非法指令，这些指令导致执行替换的中断处理程序的执行。

公开(公告)号：US07945888B2

公开(公告)日：2011-05-17

申请号：US12038818

申请日：2008-02-28

申请人： Allon Adir ,  Gil Eliezer Shurek

发明人： Allon Adir ,  Gil Eliezer Shurek

IPC分类号： G06F17/50 ,  G06F9/44 ,  G06F9/455 ,  G06F11/22

CPC分类号： G06F11/261 ,  G06F17/5022

摘要： Device, system and method for verification of a hardware system-under-test including at least one processor. A method includes building an executable image of a hardware exerciser adapted for execution on a test platform selected from: a simulation accelerator, a hardware emulator, a prototype hardware system, and a hardware production wafer. The exerciser image includes embedded data corresponding to architectural knowledge, testing knowledge, and a test template. The test template is defined in a context-free formal language and includes biasing directives to influence at least one of a desired test structure, one or more resources to be included in the test, and one or more values of the included resources. The architectural knowledge is obtained from an architectural model including a formal description of the specification for the system-under-test, and the testing knowledge is obtained from a testing knowledgebase including heuristics for testing desired aspects of the system-under-test.

摘要翻译： 用于验证包括至少一个处理器的被测硬件系统的设备，系统和方法。 一种方法包括构建适于在选自以下的测试平台上执行的硬件训练器的可执行映像：模拟加速器，硬件仿真器，原型硬件系统和硬件生产晶片。 训练者图像包括对应于建筑知识，测试知识和测试模板的嵌入数据。 测试模板以无上下文的形式语言定义，并且包括偏好指令以影响期望的测试结构，要包括在测试中的一个或多个资源中的至少一个以及所包括的资源的一个或多个值。 建筑知识是从建筑模型中获得的，包括对被测系统的规范的正式描述，并且测试知识从测试知识库获得，包括用于测试被测系统的期望方面的启发式。

公开(公告)号：US20090222694A1

公开(公告)日：2009-09-03

申请号：US12038818

申请日：2008-02-28

申请人： Allon Adir ,  Gil Eliezer Shurek

发明人： Allon Adir ,  Gil Eliezer Shurek

IPC分类号： G06F11/00

CPC分类号： G06F11/261 ,  G06F17/5022

摘要： Device, system and method for verification of a hardware system-under-test including at least one processor. A method includes building an executable image of a hardware exerciser adapted for execution on a test platform selected from: a simulation accelerator, a hardware emulator, a prototype hardware system, and a hardware production wafer. The exerciser image includes embedded data corresponding to architectural knowledge, testing knowledge, and a test template. The test template is defined in a context-free formal language and includes biasing directives to influence at least one of a desired test structure, one or more resources to be included in the test, and one or more values of the included resources. The architectural knowledge is obtained from an architectural model including a formal description of the specification for the system-under-test, and the testing knowledge is obtained from a testing knowledgebase including heuristics for testing desired aspects of the system-under-test.

摘要翻译： 用于验证包括至少一个处理器的被测硬件系统的设备，系统和方法。 一种方法包括构建适于在选自以下的测试平台上执行的硬件训练器的可执行映像：模拟加速器，硬件仿真器，原型硬件系统和硬件生产晶片。 训练者图像包括对应于建筑知识，测试知识和测试模板的嵌入数据。 测试模板以无上下文的形式语言定义，并且包括偏好指令以影响期望的测试结构，要包括在测试中的一个或多个资源中的至少一个以及所包括的资源的一个或多个值。 建筑知识是从建筑模型中获得的，包括对被测系统的规范的正式描述，并且测试知识从测试知识库获得，包括用于测试待测系统的期望方面的启发式。

公开(公告)号：US08516229B2

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

申请号：US12700970

申请日：2010-02-05

申请人： Allon Adir ,  Brad Lee Herold ,  John Martin Ludden ,  Pedro Martin-de-Nicolas ,  Charles Leverett Meissner ,  Gil Eliezer Shurek

发明人： Allon Adir ,  Brad Lee Herold ,  John Martin Ludden ,  Pedro Martin-de-Nicolas ,  Charles Leverett Meissner ,  Gil Eliezer Shurek

IPC分类号： G06F9/44

CPC分类号： G06F9/3816 ,  G06F9/3005

摘要： A test code generation technique that replaces instructions having a machine state dependent result with special redirection instructions provides generation of test code in which state dependent execution choices are made without a state model. Redirection instructions cause execution of a handler than examines the machine state and replaces the redirection instruction with a replacement instruction having a desired result resolved in accordance with the current machine state. The instructions that are replaced may be conditional branch instructions and the result a desired execution path. The examination of the machine state permits determination of a branch condition for the replacement instruction so that the next pass of the test code executes along the desired path. Alternatively, the handler can execute a jump to the branch instruction, causing immediate execution of the desired branch path. The re-direction instructions may be illegal instructions, which cause execution of an interrupt handler that performs the replacement.

摘要翻译： 使用特殊重定向指令替代具有机器状态相关结果的指令的测试代码生成技术提供测试代码的生成，其中在不使用状态模型的情况下进行状态相关的执行选择。 重定向指令导致处理程序的执行，而不是检查机器状态，并根据当前机器状态用具有期望结果的替换指令替换重定向指令。 被替换的指令可以是条件分支指令，并且结果是可能的执行路径。 对机器状态的检查允许确定替换指令的分支条件，使得测试代码的下一遍沿着期望的路径执行。 或者，处理程序可以执行跳转到分支指令，导致立即执行所需的分支路径。 重定向指令可能是非法指令，这些指令导致执行替换的中断处理程序的执行。

公开(公告)号：US07370296B2

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

申请号：US10853041

申请日：2004-05-25

申请人： Anatoly Koyfman ,  Allon Adir ,  Roy Emek ,  Yoav Katz ,  Michael Vinov

发明人： Anatoly Koyfman ,  Allon Adir ,  Roy Emek ,  Yoav Katz ,  Michael Vinov

IPC分类号： G06F17/50

CPC分类号： G06F11/263 ,  G06F11/2257

摘要： Methods and systems are disclosed that enhance the ability of a test generator to automatically deal with address translation in a processor design, and without need for creating specific code. A model of the address translation mechanism of a design-under-test is represented as a directed acyclic graph and then converted into a constraint satisfaction problem. The problem is solved by a CSP engine, and the solution used to generate test cases for execution. Using the model, testing knowledge can be propagated to models applicable to many different designs to produce extensive coverage of address translation mechanisms.

摘要翻译： 公开了增强测试发生器在处理器设计中自动处理地址转换并且不需要创建特定代码的能力的方法和系统。 被测设计的地址转换机制的模型被表示为有向非循环图，然后转换成约束满足问题。 这个问题由CSP引擎解决，用于生成用于执行的测试用例的解决方案。 使用该模型，测试知识可以传播到适用于许多不同设计的模型，以产生广泛的地址转换机制。

公开(公告)号：US20060184468A1

公开(公告)日：2006-08-17

申请号：US11040241

申请日：2005-01-21

申请人： Allon Adir ,  Eyal Bin ,  Roy Emek ,  Kirill Shoikhet

发明人： Allon Adir ,  Eyal Bin ,  Roy Emek ,  Kirill Shoikhet

IPC分类号： G06F15/18

CPC分类号： G06F11/3684

摘要： A method for automatically generating test programs includes receiving a description of a system under test, expressed in terms of variables associated with the system and conditional constraints including semantics applied to the variables, and receiving a definition of an event to be tested in the system. The method generates an ECondCSP over the variables responsively to the definition of the event and to the conditional constraints, such that at least some of the semantics of the conditional constraints are preserved in the ECondCSP when one or more of the variables to which the semantics are applied are inactive. The ECondCSP is solved to generate a test case for the system.

摘要翻译： 一种用于自动生成测试程序的方法包括：接收对与系统相关的变量表示的被测系统的描述，以及包括应用于变量的语义的条件约束，以及接收系统中要测试的事件的定义。 该方法响应于事件的定义和条件约束而对变量生成ECondCSP，使得条件约束的至少一些语义在ECondCSP中被保留，当一个或多个语义为 应用不活动。 ECondCSP解决了为系统生成测试用例。