Abstract: Disclosed herein is a phased antenna array which is configured to provide a signal through multiple antennas. The phased antenna array may include a plurality of sub-arrays. Each sub-array may include a complete and functional optically synchronized integrated circuit including an integrated photo diode. Advantageously, integrating the photo diode into the integrated circuit may reduce the size of the sub-array and decrease the length the high frequency timing signal is passed.

Abstract: A delay locked-loop includes, in part, a phase/frequency detector responsive to a reference clock signal, a charge pump responsive to the phase/frequency detector, a variable delay line responsive to an output of the charge pump to cause a delay in the reference clock signal thereby to generate an internal clock signal, and a controlled delay line that includes a multitude of fixed delay cells. The controlled delay line causes the internal clock signal to be delayed by a delay across one of the multitude of fixed delay cells in response to the output of the charge pump. The controlled delay line generates the output clock signal of the delay-locked loop. The delay locked-loop may further include an overflow detector configured to cause the selection of one of the multitude of fixed delays in response to the output of the charge pump.

Abstract: A delay locked-loop includes, in part, a phase/frequency detector responsive to a reference clock signal, a charge pump responsive to the phase/frequency detector, a variable delay line responsive to an output of the charge pump to cause a delay in the reference clock signal thereby to generate an internal clock signal, and a controlled delay line that includes a multitude of fixed delay cells. The controlled delay line causes the internal clock signal to be delayed by a delay across one of the multitude of fixed delay cells in response to the output of the charge pump. The controlled delay line generates the output clock signal of the delay-locked loop. The delay locked-loop may further include an overflow detector configured to cause the selection of one of the multitude of fixed delays in response to the output of the charge pump.

Abstract: Computer-implemented techniques are disclosed for defining an environment for formal verification of a design-under-test. Initially there is extraction of design inputs by a design analysis module, and presentation of the inputs on a graphical user interface. Behavior options for the design inputs are offered on the graphical user interface for selection by an operator. Environment code that is descriptive of the design inputs and selected behavior options is emitted, typically in a hardware description language, for submission to a formal verification tool. A meta-code file containing the assigned behavior options is generated to aid subsequent sessions.

Abstract: Computer-implemented techniques are disclosed for defining an environment for formal verification of a design-under-test. Initially there is extraction of design inputs by a design analysis module, and presentation of the inputs on a graphical user interface. Behavior options for the design inputs are offered on the graphical user interface for selection by an operator. Environment code that is descriptive of the design inputs and selected behavior options is emitted, typically in a hardware description language, for submission to a formal verification tool. A meta-code file containing the assigned behavior options is generated to aid subsequent sessions.