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

公开(公告)号：US20080189094A1

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

申请号：US11672050

申请日：2007-02-07

申请人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger ,  Ofer Peled

发明人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger ,  Ofer Peled

IPC分类号： G06F17/50

CPC分类号： G06F11/3676 ,  G01R31/318371 ,  G06F11/3684

摘要： Methods and systems are presented for generation of a test suite in order to validate compliance of a process with its process specification. The methodology involves a formal description of the process using a flowchart, refinement of the flowchart to include misinterpretations of the process specification, defining compliance coverage models over the flowchart, and automatically generating test case scenarios that cover the models. Internal and external types of misinterpretation are distinguished. A compliance test suite is automatically generated and observations made of the details of the traversal through the flow chart when the tests are executed.

摘要翻译： 提供了用于生成测试套件的方法和系统，以验证过程符合其过程规范。 该方法涉及使用流程图的过程的正式描述，流程图的改进包括过程规范的误解，在流程图上定义合规性覆盖模型，以及自动生成涵盖模型的测试用例场景。 区别了内部和外部的误解。 自动生成合规性测试套件，并在执行测试时通过流程图遍历的详细信息。

公开(公告)号：US09636679B2

公开(公告)日：2017-05-02

申请号：US13996447

申请日：2011-12-20

申请人： Laurent Fournier ,  Gilles Venturi

发明人： Laurent Fournier ,  Gilles Venturi

IPC分类号： B01L3/00 ,  B65D47/20

CPC分类号： B01L3/523 ,  B01L3/50825 ,  B01L2300/044 ,  B65D47/2018

摘要： The present invention relates to a cap comprising a body, an opening passing through the cap and adapted in turn to be passed through by at least one product transfer member, and a membrane which, at rest, covers the opening. The membrane has a main portion that extends through the opening and defines two inclined faces, each inclined face having a distal edge. The two inclined faces form a dihedron when the membrane is at rest, the distal edges of the two inclined faces coming together at the apex of the dihedron. The cap comprises at least two flaps that extend through the opening, above the membrane, the two inclined faces of the membrane being respectively covered by two flaps, each flap having a free edge that extends along the distal edge of the corresponding inclined face.

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

摘要翻译： 可以使用反向时间进行覆盖分析。 覆盖率分析可以基于最后的命中数据。 最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。 利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。

公开(公告)号：US08280713B2

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

申请号：US11735510

申请日：2007-04-16

申请人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger

发明人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger

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

CPC分类号： G06F11/263 ,  G06F8/30

摘要： A parametrically controlled model-based test generator automatically generates architectural compliance test suites for different implementations of a processor architecture, based on a set of architectural decisions chosen among optional behaviors for each implementation. Thus, different implementations of the same architecture can be easily supported by modifying the parameter values. In addition, ongoing changes to the architecture or comprehensive updates to the test suite can be easily handled by updating the architecture model or the coverage models, forgoing the need to review the whole, potentially huge, set of tests.

摘要翻译： 基于对每个实现的可选行为选择的一组架构决策，参数控制的基于模型的测试发生器自动生成用于处理器架构的不同实现的架构一致性测试套件。 因此，可以通过修改参数值来容易地支持相同架构的不同实现。 此外，通过更新架构模型或覆盖模型，可以轻松地处理对架构的持续更改或测试套件的全面更新，从而需要检查整个可能巨大的测试集。

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

摘要翻译： 可以使用反向时间进行覆盖分析。 覆盖率分析可以基于最后的命中数据。 最后命中数据可以包括指示覆盖事件被覆盖的最后时间的时间戳。 利用本技术中已知的最后命中数据而不是第一命中数据，可以区分从未覆盖的覆盖目标和最近没有覆盖的覆盖目标。

公开(公告)号：US07790462B2

公开(公告)日：2010-09-07

申请号：US11918738

申请日：2006-04-11

申请人： Laurent Fournier ,  Bruno De Bastiani

发明人： Laurent Fournier ,  Bruno De Bastiani

IPC分类号： G01N35/02 ,  B65G1/00 ,  F16M11/00

CPC分类号： B01L9/523 ,  B01L2300/0829 ,  G01N35/028 ,  G01N2035/042 ,  G01N2035/0486 ,  Y10T436/113332

摘要： This reaction vessel support is of the type comprising at least one supporting plate (46, 48) designed to take one or more reaction vessels, and mounted rotatably about an axis of rotation (R).In one aspect of the invention, the support comprises at least one control member (94, 96) comprising releasable means (100) of coupling to a movable actuating element (40) of an actuator (10), in such a way as to enable the control member (94, 96) to be moved by the actuator (10), with the control member (94, 96) and the supporting plate (46, 48) being connected together in such a way that a movement of the control member (94, 96) by the actuator (10) is able to bring about a rotation of the supporting plate (46, 84) about the axis of rotation (R) in at least one direction of rotation.Of particular application to supports for microassay plates comprising wells laid out in a matrix arrangement.

摘要翻译： 该反应容器支架是包括至少一个支撑板（46,48）的类型，该支撑板被设计成承载一个或多个反应容器，并且围绕旋转轴线（R）可旋转地安装。 在本发明的一个方面，支撑件包括至少一个控制构件（94,96），该控制构件包括与致动器（10）的可移动致动元件（40）联接的可释放装置（100），以使得能够 由致动器（10）移动的控制构件（94,96）与控制构件（94,96）和支撑板（46,48）连接在一起，使得控制构件 （94,96）能够在至少一个旋转方向上绕着旋转轴线（R）绕着支撑板（46,84）旋转。 具体应用于包含以矩阵排列布置的井的微量测定板的支撑物。

公开(公告)号：US20090075385A1

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

申请号：US11918738

申请日：2006-04-11

申请人： Laurent Fournier ,  Bruno De Bastiani

发明人： Laurent Fournier ,  Bruno De Bastiani

IPC分类号： G01N35/02 ,  F16M11/00 ,  G06F7/00

CPC分类号： B01L9/523 ,  B01L2300/0829 ,  G01N35/028 ,  G01N2035/042 ,  G01N2035/0486 ,  Y10T436/113332

摘要： This reaction vessel support is of the type comprising at least one supporting plate (46, 48) designed to take one or more reaction vessels, and mounted rotatably about an axis of rotation (R).In one aspect of the invention, the support comprises at least one control member (94, 96) comprising releasable means (100) of coupling to a movable actuating element (40) of an actuator (10), in such a way as to enable the control member (94, 96) to be moved by the actuator (10), with the control member (94, 96) and the supporting plate (46, 48) being connected together in such a way that a movement of the control member (94, 96) by the actuator (10) is able to bring about a rotation of the supporting plate (46, 84) about the axis of rotation (R) in at least one direction of rotation.Of particular application to supports for microassay plates comprising wells laid out in a matrix arrangement.

摘要翻译： 该反应容器支架是包括至少一个支撑板（46,48）的类型，该支撑板被设计成承载一个或多个反应容器，并且围绕旋转轴线（R）可旋转地安装。 在本发明的一个方面，支撑件包括至少一个控制构件（94,96），该控制构件包括与致动器（10）的可移动致动元件（40）联接的可释放装置（100），以使得能够 由致动器（10）移动的控制构件（94,96）与控制构件（94,96）和支撑板（46,48）连接在一起，使得控制构件 （94,96）能够在至少一个旋转方向上绕着旋转轴线（R）绕着支撑板（46,84）旋转。 具体应用于包含以矩阵排列布置的井的微量测定板的支撑物。

公开(公告)号：US20080255822A1

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

申请号：US11735510

申请日：2007-04-16

申请人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger

发明人： Allon Adir ,  Sigal Asaf ,  Laurent Fournier ,  Itai Jaeger

IPC分类号： G06F9/44

CPC分类号： G06F11/263 ,  G06F8/30

摘要： A parametrically controlled model-based test generator automatically generates architectural compliance test suites for different implementations of a processor architecture, based on a set of architectural decisions chosen among optional behaviors for each implementation. Thus, different implementations of the same architecture can be easily supported by modifying the parameter values. In addition, ongoing changes to the architecture or comprehensive updates to the test suite can be easily handled by updating the architecture model or the coverage models, forgoing the need to review the whole, potentially huge, set of tests.

摘要翻译： 基于对每个实现的可选行为选择的一组架构决策，参数控制的基于模型的测试发生器自动生成用于处理器架构的不同实现的架构一致性测试套件。 因此，可以通过修改参数值来容易地支持相同架构的不同实现。 此外，通过更新架构模型或覆盖模型，可以轻松地处理对架构的持续更改或测试套件的全面更新，从而需要检查整个可能巨大的测试集。

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

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