Abstract: Apparatus and methods are described, including a stent configured to be placed in a lumen. The stent includes a generally cylindrical stent body including a plurality of struts, at least one electrode post protruding from the stent body, and a plurality of antenna posts protruding longitudinally from an end of the stent body. The antenna posts are longitudinally separated from the electrode post. An antenna is disposed annularly on the antenna posts, such that the antenna posts separate the antenna from the end of the stent body, and at least one electrode is coupled to the stent by being placed on the electrode post. Additional embodiments are also described.

Abstract: A stent is placed inside an aorta of a subject, the stent comprising one or more electrodes, control circuitry, and a first antenna coupled thereto. A second antenna circumscribes a neck of the subject, such that that at least one turn of wire of the second antenna extends from a first position that is anatomically superior to a left clavicle of the subject to a second position that is anatomically inferior to a jugular notch of the subject and from the second position to a third position that is anatomically superior to a right clavicle of the subject. The second antenna transmits an electrical signal to the first antenna via inductive coupling, and is shaped to have an L-shaped projection in a sagittal plane, with an angle between two legs of the L-shaped projection being 80-160 degrees when placed upon a flat surface. Other applications are also described.

Abstract: Apparatus and methods are described, including a stent configured to be placed in a lumen. The stent includes a generally cylindrical stent body comprising a plurality of struts, and a plurality of antenna posts protruding longitudinally from an end of the stent body. Each of the antenna posts includes a proximal and distal portions, each of which is configured to be generally straight in the absence of any force being applied to the antenna post, and a compliant junction disposed between the proximal and distal portions, the proximal and distal portions being configured to flex with respect to one another about the compliant junction. An antenna is disposed annularly on the distal portions of the antenna posts, such that the antenna posts separate the antenna from the end of the stent body. Other applications are also described.

Abstract: Apparatus and methods are described, including a stent configured to be placed in a lumen. The stent includes a generally cylindrical stent body including a plurality of struts, at least one electrode post protruding from the stent body, and a plurality of antenna posts protruding longitudinally from an end of the stent body. The antenna posts are longitudinally separated from the electrode post. An antenna is disposed annularly on the antenna posts, such that the antenna posts separate the antenna from the end of the stent body, and at least one electrode is coupled to the stent by being placed on the electrode post. Additional embodiments are also described.

Abstract: A method for evaluating a motion related parameter of a horse, the method may include generating, by multiple sensing units attached to multiple legs of the horse, sensor information; transmitting the sensor information; receiving, by a remote computer, the sensor information; and evaluating, by the remote computer, the motion related parameter of the horse by applying, on the sensor information, a machine learning process trained on a training set that comprises (a) sensor information that represent a desired motion related parameter and (b) sensor information that represents deviations from the desired motion related parameter.

Abstract: Apparatus and methods are described including a stent (20) configured to be placed inside an aorta of a subject, the stent comprising one or more electrodes (22), control circuitry (32), and a first antenna (28) coupled thereto. A second antenna (26) is placed on the subject, such that the second antenna extends at least from above a left clavicle of the subject to below a jugular notch of the subject and from below the subject's jugular notch to above a right clavicle of the subject, the second antenna being con figured to transmit an electrical signal to the first antenna via inductive coupling. Other applications are also described.

Abstract: This invention relates to assemblies and processes for increasing the bandwidth of differential passive elements. The use of a floating plane in differential transmission lines is disclosed. One such assembly is a broadband balun having high even mode effective impedance, thus degrading the even-mode propagation or matching, and maintaining the desired odd mode effective impedance. Other assemblies can include line couplers, hybrid couplers, RF chokes with back-to-back baluns, and other elements, such as balanced filters.

Abstract: Apparatus and methods are described, including a stent configured to be placed in a lumen. The stent includes a generally cylindrical stent body comprising a plurality of struts, and a plurality of antenna posts protruding longitudinally from an end of the stent body. Each of the antenna posts includes a proximal and distal portions, each of which is configured to be generally straight in the absence of any force being applied to the antenna post, and a compliant junction disposed between the proximal and distal portions, the proximal and distal portions being configured to flex with respect to one another about the compliant junction. An antenna is disposed annularly on the distal portions of the antenna posts, such that the antenna posts separate the antenna from the end of the stent body. Other applications are also described.

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

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

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

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

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

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

Abstract: Generation of a test based on a test template comprising of branch instructions. The test template may be a layout test template, defining a set of possible control flows possibilities between template instructions in the layout test template. The test is generated by a test generator which may simulate a state of a target computerized system executing the test. The simulation may be performed during generation of the test. The test generator may further verify previously generated instructions. The test generator may further generate instructions associated with leftover template instructions.

Abstract: Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

Abstract: Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

Abstract: Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

Abstract: Systems and methods for solving a constraint satisfaction problem (CSP) defined by one or more variables, constraints and probabilistic requests (PRs) are provided. In one embodiment, each PR is mapped onto a set of constraints that implement the PR. The CSP solver then finds a series of solutions to the CSP. For each solution, if a constraint associated with a PR is satisfied, then a success counter for that PR is incremented; else a failure counter for that PR is incremented. If the constraint was not considered for the purpose of solving the CSP, then the failure counter for the PR associated with the constraint is incremented.

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