The front-end transmit/receive switch circuit is one of the essential elements in modern wireless handsets. The main function of the transmit/receive switch is switch the antenna either to the transmitter or the receiver. It must have high isolation in order to avoid the RF-power of the transmitter (PA) turning on the receiver (LNA), resulting in high loss or in the worst case damage. Low inser...

This paper proposes a new scalable approach to formal verification (SFV) for AMS SoC designs. Induction rules defined in computer symbolic algebra system Maple are followed to extract representation of property of AMS SoC, constraints solving is performed to formally verify the correctness of the system with respect to its given property. With an AMS description and a set of properties, SMT bas...

This paper proposes a new scalable approach to formal verification (SFV) for AMS SoC designs. Induction rules defined in computer symbolic algebra system Maple are followed to extract representation of property of AMS SoC, constraints solving is performed to formally verify the correctness of the system with respect to its given property. With an AMS description and a set of properties, SMT bas...

This paper addresses the problem of finite-time synchronization of tunnel diode based chaotic oscillators. After a brief investigation of its chaotic dynamics, we propose an active adaptive feedback coupling which accomplishes the synchronization of tunnel-diode-based chaotic systems with and without the presence of delay(s), basing ourselves on Lyapunov and on Krasovskii-Lyapunov stability the...

We present and investigate different external cavity diode laser (ECDL) configurations for the manipulation of neutral atoms, wavelength-stabilized by a narrow-band high transmission interference filter. A novel diode laser, providing high output power of more than 1 W, with a linewidth of less than 85 kHz, based on a self-seeded tapered amplifier chip has been developed. Additionally, we compa...

An identical pair of pulsed power systems has been designed to drive the 60 em aperture amplifier as part of the Naval Research Laboratory's NIKE KrF laser system. The KrF gas volume is pumped from two opposite sides by 60 em x 200 em electron beams which are produced by two totally independent systems. Each pulse power system includes a 240 kJ Marx, four (parallel) 5 ohm water filled coaxial p...

A Yb-fiber amplifier seeded by a 1083 nm DBR diode laser is fiber coupled with an external cavity diode laser (814 nm to 870 nm) and differencefrequency mixed in a periodically poled lithium niobate crystal (3.25 μm to 4.4 μm). Phase matching characteristics and the spectroscopic detection of several trace gases using this compact sensor will be reported. OCIS code: (190.2620) Frequency convers...

Negative differential conductance in metal/amorphous nitrogenated carbon a-CNx /Si structures is demonstrated at room temperature. These metal-insulator-semiconductor tunnel diodes are fabricated by optimizing the tunnel barrier at the a-CNx /Si junction through the control of the band gap and nitrogen doping level in carbon where this a-C layer acts as a semi-insulator. A small electron tunnel...