Abstract: Compounds, such as compounds having Formula (I): wherein each variable is as described herein, that modulate the conversion of AMP to adenosine by 5?-nucleotidase, ecto, and compositions containing the compounds and methods for synthesizing the compounds, are described herein. The use of such compounds and compositions for the treatment and/or prevention of a diverse array of diseases, disorders and conditions, including cancer- and immune-related disorders, that are mediated by 5?-nucleotidase, ecto is also provided.

Abstract: A pipette tip container comprising a pipette tip having a lumen extending between a proximal opening of a first diameter and a distal orifice of a second smaller diameter; a pellet arranged in the lumen of the pipette tip between said proximal opening and distal orifice, the second diameter being too narrow to let the pellet pass; and a retainer arranged between the pellet and the proximal opening and arranged to prevent the pellet from moving past the retainer in the lumen but to let fluid move past the retainer in the lumen; the retainer having a distal end such that a portion of its periphery does not contact the inner wall of the lumen, a proximal end such that a portion of its periphery maintains the retainer in the lumen by friction with the inner wall of the lumen; and a radial opening between the distal and proximal ends.

Abstract: A pipette tip container comprising a pipette tip having a lumen extending between a proximal opening of a first diameter and a distal orifice of a second smaller diameter; a pellet arranged in the lumen of the pipette tip between said proximal opening and distal orifice, the second diameter being too narrow to let the pellet pass; and a retainer arranged between the pellet and the proximal opening and arranged to prevent the pellet from moving past the retainer in the lumen but to let fluid move past the retainer in the lumen; the retainer having a distal end such that a portion of its periphery does not contact the inner wall of the lumen, a proximal end such that a portion of its periphery maintains the retainer in the lumen by friction with the inner wall of the lumen; and a radial opening between the distal and proximal ends.

Abstract: 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.

Abstract: A method, apparatus and product to be used in verification. The method comprising: based on a test generation input that defines a plurality of requirements automatically determining a mutated test generation input, wherein the mutated test generation input defining a mutated requirement which is absent from the test generation input, wherein the mutated requirement is based on a requirement of the plurality of requirements and contradicts, at least in part, the plurality of requirements; and generating one or more test-cases based on the mutated test generation input, whereby the one or more test-cases violate at least one requirement of the test generation input.

Abstract: 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.

Abstract: A method, apparatus and product to be used in verification. The method comprising: based on a test generation input that defines a plurality of requirements automatically determining a mutated test generation input, wherein the mutated test generation input defining a mutated requirement which is absent from the test generation input, wherein the mutated requirement is based on a requirement of the plurality of requirements and contradicts, at least in part, the plurality of requirements; and generating one or more test-cases based on the mutated test generation input, whereby the one or more test-cases violate at least one requirement of the test generation input.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: 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.