Abstract: A wireless ultrasound sensor 404 for non-destructive testing of a test object 502, the sensor comprising: an ultrasound transducer 406; a first induction coil 408, electrically coupled to the ultrasound transducer; a second induction coil 414, electrically coupled in parallel with the first induction coil; wherein the first and second induction coils are arranged to enable the transducer to be inductively operated by a remote device 504; and wherein the diameter of the second induction coil is greater than the diameter of the first induction coil.

Abstract: A multi-frequency wireless sensor for non-destructive testing of a test object, the sensor comprising: an ultrasound transducer having a plurality of operating frequencies; a first induction coil electrically coupled to the ultrasound transducer; a second induction coil; and a capacitance, connected in parallel with the second induction coil, such that the wireless sensor can operate at a first operating frequency or a second operating frequency when the sensor is excited by a remote device.

Abstract: A wireless ultrasound sensor 404 for non-destructive testing of a test object 502, the sensor comprising: an ultrasound transducer 406; a first induction coil 408, electrically coupled to the ultrasound transducer; a second induction coil 414, electrically coupled in parallel with the first induction coil; wherein the first and second induction coils are arranged to enable the transducer to be inductively operated by a remote device 504; and wherein the diameter of the second induction coil is greater than the diameter of the first induction coil.

Abstract: Provided is a sensor system which can detect a thickness reduction, a crack, or the like of a pipe or a container covered with a thick coating member through ultrasonic inspection without attachment and detachment of the coating member. A sensor system used for nondestructive inspection includes a sensor attached to a surface of an inspection target, a sensor coil that is electrically connected to the sensor via a first cable, a first electromagnetic wave blocking member that is disposed between the surface of the inspection target and the sensor coil, a sensor side coil that is disposed to face the sensor coil with a gap and is coupled to the sensor coil through electromagnetic induction, and a probe side coil that is disposed to be separated from the sensor side coil and is electrically connected to the sensor side coil via a second cable.

Abstract: A multi-frequency wireless sensor for non-destructive testing of a test object, the sensor comprising: an ultrasound transducer having a plurality of operating frequencies; a first induction coil electrically coupled to the ultrasound transducer; a second induction coil; and a capacitance, connected in parallel with the second induction coil, such that the wireless sensor can operate at a first operating frequency or a second operating frequency when the sensor is excited by a remote device.

Abstract: Provided is a sensor system which can detect a thickness reduction, a crack, or the like of a pipe or a container covered with a thick coating member through ultrasonic inspection without attachment and detachment of the coating member. A sensor system used for nondestructive inspection includes a sensor attached to a surface of an inspection target, a sensor coil that is electrically connected to the sensor via a first cable, a first electromagnetic wave blocking member that is disposed between the surface of the inspection target and the sensor coil, a sensor side coil that is disposed to face the sensor coil with a gap and is coupled to the sensor coil through electromagnetic induction, and a probe side coil that is disposed to be separated from the sensor side coil and is electrically connected to the sensor side coil via a second cable.

Abstract: This application relates to a wireless sensor (10) suitable for non-destructive testing of a test object. The sensor comprises a transducer (12) and an electrically conductive transducer coil (16) configured to define an enclosure and being electrically coupled to the transducer to enable the transducer to be inductively operated by a remote device. The enclosure defined by the transducer coil has an internal width dimension that is wider than a corresponding width dimension of the transducer.

Abstract: This application relates to a wireless sensor (10) suitable for non-destructive testing of a test object. The sensor comprises a transducer (12) and an electrically conductive transducer coil (16) configured to define an enclosure and being electrically coupled to the transducer to enable the transducer to be inductively operated by a remote device. The enclosure defined by the transducer coil has an internal width dimension that is wider than a corresponding width dimension of the transducer.

Abstract: A wireless ultrasound sensor 404 for non-destructive testing of a test object 502, the sensor comprising: an ultrasound transducer 406; a first induction coil 408, electrically coupled to the ultrasound transducer; a second induction coil 414, electrically coupled in parallel with the first induction coil; wherein the first and second induction coils are arranged to enable the transducer to be inductively operated by a remote device 504; and wherein the diameter of the second induction coil is greater than the diameter of the first induction coil.

Abstract: This application relates to a wireless sensor (10) suitable for non-destructive testing of a test object. The sensor comprises a transducer (12) and an electrically conductive transducer coil (16) configured to define an enclosure and being electrically coupled to the transducer to enable the transducer to be inductively operated by a remote device. The enclosure defined by the transducer coil has an internal width dimension that is wider than a corresponding width dimension of the transducer.

Abstract: A method for estimating the average-case activity in a digital circuit includes the steps of identifying one or more predesignated types of circuit elements in the digital circuit, and propagating activity values through any identified circuit elements using a predetermined formula.

Abstract: The present invention provides a method for estimating the average-case activity in a digital circuit. The method includes the steps of assigning initial activity values to outputs of flops in the digital circuit, and repeatedly updating the activity values in an iterative procedure until a predetermined termination criterion is met. The updating of the activity values uses a combination of standard probability updating techniques and predetermined formulae for obtaining the activity values of predesignated types of circuit elements in the digital circuit. The predesignated types of circuit elements include, for example, one or more of a clock-gated flop, an enable flop and a flop with a recirculation multiplexer.

Abstract: A system, method, and apparatus for inline audio/visual conversion are described. Power to an inline converter is provided over the A/V cable that couples the converter to a destination such as a selector.

Abstract: A method for estimating the average-case activity in a digital circuit includes the steps of identifying a state machine in the digital circuit, and propagating activity values through the state machine to obtain activity information at an output of a flop in the state machine using a predetermined formula.

Abstract: There is disclosed a method, and corresponding apparatus, for determining a clock gating function for a set of clocked state-holding elements, comprising the steps of: for each element, determining the conditions under which the element will hold its current value based only on those inputs which are common to all elements; and combining the conditions to form a gating function.

Abstract: A method of determining a forced gating function for at least one of a plurality of clocked state-holding elements. The forced gating function compares the input and output of said at least one clocked state-holding element. The method simulates the performance of the element for different implementation conditions; measures the performance of the element for each condition, and determines the implementation of the forced gating function using the measured performances.

Abstract: There is disclosed a clock gating structure for a synchronous circuit comprising a plurality of clocked state holding elements, the clocked gating structure including at least one full-cycle clock gating cell and at least one half-cycle clock gating cell, and a method for designing and controlling such.

Abstract: A method of transforming a first integrated circuit design comprising a plurality of D-type flip-flops each having a clock signal and being associated with an enable signal into a second integrated circuit design using guard-flops, the method comprising: identifying D-type flip-flops in the first integrated circuit design, and transforming each of the identified D-type flip-flops into a guard-flop comprising a transparent catch latch and a transparent pass latch; generating a catch enable signal for controlling the transparent catch latch from the clock signal and enable signal of the D-type flip-flop in the first integrated circuit design; and generating a pass enable signal for controlling the transparent pass latch based on the catch signals of at least some of the guard-flops that take data from the D-type flip-flop in the first integrated circuit design.

Abstract: A programmed computer searches for functional defects in a description of a circuit undergoing functional verification in the following manner. The programmed computer simulates the functional behavior of the circuit in response to a test vector, automatically restores the state of the simulation without causing the simulation to pass through a reset state, and then simulates the functional behavior of the circuit in response to another test vector. A predetermined rule can be used to identify test vectors to be simulated, and the predetermined rule can depend upon a measure of functional verification, including the number of times during simulation when a first state transition is performed by a first-controller at the same time as a second state transition is performed by a second controller. During simulation of the test vectors, manually generated tests or automatically generated checkers can monitor portions of the circuit for defective behavior.