Generation of Technology-Independent Retargetable Analog Blocks

This paper introduces a complete methodology for retargeting of analog cells to different sets of specifications. This methodology is technology-independent, thus allowing the migration, from one technology to another, of the circuit under retargeting. Careful integration of the device sizing and layout generation tasks via the incorporation of layout constraints during the sizing process allows to generate fully functional designs in a few minutes. The methodology is illustrated via the retargeting of a fully-differential Miller-compensated two-stage operational amplifier for a new set of specifications and two different technological processes.An erratum to this article can be found at     

The corrosion behavior of sputter-deposited aluminum-tungsten alloys

Thin films on aluminum-tungsten alloys were prepared by co-deposition of pure aluminum and pure tungsten, each sputtered by an independently controlled magnetron source, on glass and sapphire substrates. Completely amorphous films were obtained in the Al₈₀W₂₀-Al₆₇W₃₃ composition range. Passivity and corrosion behavior of amorphous Al-W alloys were investigated in 1 M deaerated hydrochloric acid solution using polarization and impedance spectroscopy measurements and have been correlated with the properties of pure alloy components. Tungsten and sputter-deposited Al-W thin films are inherently passive materials while aluminum undergoes pitting corrosion in hydrochloric acid solution. The passive film formed at the OCP on each alloy possesses excellent electric and dielectric properties comparable to those of the isolating film on tungsten. The absolute impedance increases with increasing tungsten content in the alloy. According to electrochemical polarization measurements, alloying Al with W in solid solution significantly enhances the material's resistance to pitting corrosion by shifting the breakdown potential above 2000 mV (Al₆₇W₃₃) and lowering the corrosion rate at the OCP by more than two orders of magnitude. The most likely mechanism explaining the passivity of amorphous Al-W alloys, the Solute Vacancy Interaction Model (SVIM), involves the formation of complexes between highly oxidized solute atoms (W⁺⁶) and mobile cation vacancies, which restrict the transport of Cl⁻ through the oxide film and inhibit its breakdown in hydrochloric acid solution. The role that film stress relaxation effects and microscopic defects in amorphous Al-W films, of the some composition, and deposited on various substrates play in their corrosion resistance is discussed.     

A Symbolic Pole/Zero Extraction Methodology Based on Analysis of Circuit Time-Constants

This paper introduces a methodology for symbolic pole/zero extraction based on the formulation of the time-constant matrix of the circuits. This methodology incorporates approximation techniques specifically devoted to achieve an optimum trade-off between accuracy and complexity of the symbolic root expressions. The capability to efficiently handle even large circuits will be demonstrated through several practical circuits.     

Quantum and Classical Correlations of Spatial and Spin Degrees of Freedom in Quantum Rings

A one-dimensional mesoscopic ring with one input and two output leads acts as a spintronic beam splitter. The spatial degree of freedom, i.e., the presence of two different possible output channels, gets intertwined with the spin direction as a consequence of quantum interference and spin-orbit interaction. We investigate this kind of spatial-spin correlation, and show that the output density operator contains no quantum entanglement in the important special case when the device polarizes a perfectly random input spin state. However, the correlations are in general not purely classical, we also present specific input states with maximal spatial-spin entanglement after the ring.     

Non-deterministic exponential time has two-prover interactive protocols

We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs:     

Utilities in the sky?: Comparison of space-based and terrestrial solar power systems

Could huge arrays of space-based solar power systems one day supply utility scale electricity to the electric power grid on earth? How realistic a possibility is this option for alternative energy supply at the moment? Finley R. Shapiro, USA compares space-based and terrestrial solar power systems.