A 4.5-GHz 130-nm 32-KB L0 cache with a leakage-tolerant self reverse-bias bitline scheme

This paper describes a 32-KB two-read, one-write ported L0 cache for 4.5-GHz operation in 1.2-V 130-nm dual-V/sub TH/ CMOS technology. The local bitline uses a leakage-tolerant self reverse-bias (SRB) scheme with nMOS source-follower pullup access transistors, while preserving robust full-swing operation. Gate-source underdrive of -220 mV on the bitline read-select transistors is established without external bias voltages or gate-oxide overstress. Device-level measurements in the 130-nm technology show 72/spl times/ bitline active leakage reduction, enabling low-V/sub TH/ usage, 40% bitline keeper downsizing, and 16 bitcells/bitline. 11% faster read delay and 2/spl times/ higher dc noise robustness are achieved compared with high-performance dual-V/sub TH/ bitline scheme. Sustained performance and robustness benefits of the SRB technique against conventional dynamic bitline with scaling to 100- and 70-nm technology is also presented.     

Theoretical Investigation of Metal Cladding for Nanowire and Cylindrical Micropost Lasers

We investigate the transverse modal properties of cylindrical subwavelength metal-clad nanowire and micropost lasers via rigorous theoretical waveguide analysis, including the effects of finite thickness metal cladding and gain in the core. The results of this analysis show that air-metal surface guided TM₀₁ and some hybrid surface guided modes suffer less loss but are less confined to the core, while core-metal surface guided modes are better confined to the core but suffer greater loss. An increase in the thickness of the metal cladding reduces the loss of the core-metal surface guided modes. The modal gain and confinement of the metal-clad cavity are compared to an unclad cavity.     

Unconstrained and constrained motion control of a planar two-link structurally flexible robotic manipulator

Unconstrained and constrained motion control of a planar two-link structurally-flexible robotic manipulator are considered in this study. The dynamic model is obtained by using the extended Hamilton's principle and the Galerkin criterion. A method is presented to obtain the linearized equations of motion in Cartesian space for use in designing the control system. The approach to solving the control problem is to use feedforward and feedback control torques. The feedforward torques maneuver the flexible manipulator along a nominal trajectory and the feedback torques minimize any deviations from the nominal trajectory. The feedforward and feedback torques are obtained by solving the inverse dynamics problem for the rigid manipulator and designing linear quadratic Gaussian with loop transfer recovery (LQG/LTR) compensators, respectively. The LQG/LTR design methodology is exploited to design a robust feedback control system that can handle modeling errors and sensor noise, and operate on Cartesian space trajectory errors. Computer simulated results are presented for an example planar, two-link, structurally flexible robotic manipulator. © 1994 John Wiley & Sons, Inc.     

VOID FRACTION PROFILES IN PLANE-POISEUILLE FLOW OF VISCOELASTIC FOAMS

This investigation focuses on slow, isothermal, two-phase flow of gas bubble suspensions in Separan solutions, prepared with the help of a sodium borohydride blowing agent at room temperature. The total residence time in these experiments is much smaller than characteristic times for growth or rise of bubbles. The variation of bubble volume fraction across a narrow gap between two planes, is recorded at two locations along the flow direction. This is done with a Cesium gamma-radiation source focused on a region of area.012 cm² in the flow plane, and a Sodium iodide detector across the channel yielding a resolution of.01 over the range of void fractions investigated from.02 to.08. This measurement allows us to identify conditions under which the two-phase flow may be described by a two fluid model with a uniform bubbly core and a bubble free wall layer. With this two phase flow structure, a relative viscosity equation for the suspension is used to compute an apparent viscosity. Such calculations indicate that the observed reduction in apparent viscosity for the two phase flow may be attributed to a bubbly core which is more shear thinning than the medium. The additional shear thinning factor for the suspension is related to the elasticity of the medium.     

Quality characteristics of edible vegetable oil blends

Two edible oil blends, namely groundnut oil:rice-bran oil and mustard oil:rice-bran oil, were prepared in different proportions and stored for a period of three years. Their physicochemical characteristics were determined. The results agreed with expected values except for free fatty acid percents and butyrorefrac-tometer readings, presumably due to rancidity. Fatty acid compositions of the blends were determined and ratios of characteristic fatty acids, like lignoceric to palmitic for groundnut oil:rice-bran oil blends, and erucic to palmitic for mustard oil:rice-bran oil blends, were calculated to identify individual oils in the blend.     

Performance models of storage contention in cloud environments

We propose simple models to predict the performance degradation of disk requests due to storage device contention in consolidated virtualized environments. Model parameters can be deduced from measurements obtained inside Virtual Machines (VMs) from a system where a single VM accesses a remote storage server. The parameterized model can then be used to predict the effect of storage contention when multiple VMs are consolidated on the same server. We first propose a trace-driven approach that evaluates a queueing network with fair share scheduling using simulation. The model parameters consider Virtual Machine Monitor level disk access optimizations and rely on a calibration technique. We further present a measurement-based approach that allows a distinct characterization of read/write performance attributes. In particular, we define simple linear prediction models for I/O request mean response times, throughputs and read/write mixes, as well as a simulation model for predicting response time distributions. We found our models to be effective in predicting such quantities across a range of synthetic and emulated application workloads.     

Formal Verification Successes at Motorola

Formal tools are either too labor intensive or are completely impractical for industrial-size problems. This paper describes two formal verification tools used within Motorola, Versys2 and CBV, that challenge this assertion. The two tools are being used in current design verification flows and have shown that it is possible to seamlessly integrate formal tools into existing design flows.     

Enhanced equivalence checking: toward a solidarity of functional verification and manufacturing test generation

This article, from the Motorola (now Freescale) PowerPC design group, presents an interesting synergy among test, equivalence verification, and constraints. The authors use RTL, gate, and switch models of a design in two different flows one for test and one for functional verification to show that rectifying constraints and merging tests between the-two flows saves significant presilicon debug effort.     

Influence of tool material on dynamics of drilling of GFRP composites

Drilling trials have been carried out on glass Fibre reinforced plastics (GFRP) with plain high speed steel (HSS), TiN coated HSS and tipped tungsten carbide drills. Most of the defects in drilling of composites are due to thrust force experienced by the workpiece. The parametric influence on cutting force was experimentally evaluated. The experimental results show that the defects toleranced drilling can be attained by proper selection of cutting parameters and tool material. This is substantiated by monitoring flank wear, hole shrinkage and acoustic emission during drilling.