Abstract: The integrity of a control network for providing reliable communications between different entities is verified. Such a verified control network may be included in a device, system, or design library. The verification of a control network includes, but is not limited to: physically exercising the control network itself and/or its design via modeling, analysis, and/or applying or using other testing or design verification methodologies. For example, a Petri net model of the control network may be analyzed to verify that the control signals cannot be generated which could interfere with each other, that a deadlock condition cannot be reached, and that a control signal on an input port will result in a control signal on an output port, albeit possibly delayed.

Abstract: A radio frequency synthesizer receives a relatively low frequency input signal and synthesizes from it a high frequency output signal whose frequency can be programmed to change in fine steps, for use e.g. in cordless telephone. The frequency synthesizer includes three linked phase locked loops with a single side band mixer in one embodiment coupling two of the phase locked loops together. This provides an output signal free of in-band frequency spurs within the spacing of two channels. The synthesizer can be integrated in a single chip with a narrowband FM modulation circuit. In spite of using a novel synthesizer to achieve monolithic integration, the user programming interface and control value equations are the industry standard format.

Abstract: In a digital communication system, analog equalization and data recovery are provided with non-linear digital feedback at the receiver, to overcome frequency domain distortion imposed by the communications channel. Digital information from the clock and data recovery circuit is non-linearly filtered and then fed back so as to modulate the threshold of a slicer which receives the signal which has been analog equalized. Thereby any shortcomings in the equalization, slicer, or clock and data recovery are overcome by adjusting the slicer threshold at each clock cycle in response to the recovered clock and data signals.

Abstract: A DC restoration circuit to correct for baseline wandering in a data receiver is provided. A voltage correction circuit is connected to the received data line to adjust the voltage level of the received data dynamically. The voltage correction circuit is controlled by a feedback circuit which includes a voltage detection circuit configured to detect the peak voltage levels or envelope of the received data. This detected level is then compared to a reference level, and the result of the comparison is used as a control signal for the voltage correction circuit.

Abstract: An equalizer receives an analog input signal and filters the signal to undistort the input signal. A converter stage converts the analog input signal into a digital output signal for use in a digital system. A bit sequence indicator analyzes the structure of the digital output signal to determine whether any errors have occurred in transmission and conversion. An adaptor state machine causes the modification of the analog signal based on a feedback loop including information on the errors detected in the packets of digital signals, rather than the analog data itself.

Abstract: A dual dot clock signal generator consisting of two similar programmable phase locked loops simultaneously generates a video clock signal and a memory clock signal. Both the video clock signal and the memory clock signal may have one of several different frequencies. The generator includes circuitry which detects when one of the selected frequencies is identical to or a submultiple of the other. The comparison circuitry which detects this condition acts to change the frequency of one of the clock signals, and supplies the other clock signal in its place. Both the video clock signal generator and the memory clock signal generator are programmable via their respective internal memories, and the internal memory of the video clock signal generator carries additional information which identifies those video frequencies which are identical to or a submultiple of the frequencies available from the memory phase locked loop.

Abstract: A video dot clock generator includes a phase-locked loop (PLL) which includes a voltage controlled oscillator, a frequency divider, a phase comparator and a loop filter. The voltage controlled oscillator (VCO) is programmable to provide multiple frequency ranges for a given range of control voltages applied to the oscillator. The programming affects both the frequency range and the gain of the VCO. The phase comparator includes circuitry which simulates a predetermined minimum phase error which, when compensated for, substantially eliminates jitter in the dot clock signal. The frequency divider used in the PLL and a similar frequency divided used to generate the reference signals for the phase comparator are programmable via an internal memory which also holds programmable control signals for the VCO. The memory, in turn, may be programmed by the user to achieve desired frequency and loop again characteristics for a given application.

Abstract: A connector apparatus capable of connecting with a complimentary connector for the supply of energy, signals or a commodity has a connector part which can be retracted into the apparatus in response to a control signal to disengage the complimentary connector. The retraction movement may be caused by a piston and cylinder arrangement or by an electromagnet. The connector arrangement has many applications and may be released in response to a variety of circumstances. For example, it may be used in a power supply to a garaged vehicle or grounded aircraft and be arranged to release upon release of the vehicle or aircraft brakes. It may be used in a discharge or filling hose from or to a tanker vehicle and be arranged to release upon starting of the vehicle. It may furthermore be connected in a gas or water supply and be arranged to release in response to a signal from a gas or moisture detector.