|
|
Creator | Title | Description | Subject | Date |
226 |
|
Myers, Chris J.; Schlegel, Christian | Analog MAP decoder for (8, 4) hamming code in subthreshold CMOS | Abstract - An all-MOS analog tail-biting MAP decoder is presented for an (8,4) Hamming code. The decoder implements a probability propagation algorithm using subthreshold CMOS networks. Physical results verify the expected behavior of the decoderand demonstrate robustness of analog decoding circuit... | | 2001 |
227 |
|
Myers, Chris J. | Framework of timed trace theoretic verification revisited | This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or failures is developed. The concept of the semimirror is introduced to allow conformance checking thus supporting hierarc... | | 2001 |
228 |
|
Myers, Chris J. | Timed circuits: a new paradigm for high-speed design | Abstract| In order to continue to produce circuits of increasing speeds, designers must consider aggressive circuit design styles such as self-resetting or delayed-reset domino circuits used in IBM's gigahertz processor (GUTS) and asynchronous circuits used in Intel's RAPPID instruction length de... | | 2001 |
229 |
|
Stringfellow, Gerald B.; Shurtleff, James Kevin | Surfactant effects on doping of GaAs grown by organometallic vapor phase epitaxy | Recently, the addition of the isoelectronic surfactant Sb during organometallic vapor phase epitaxy (OMVPE) of GaInP was shown to eliminate ordering, resulting in a significant change in the band gap energy. These results suggest that surfactants added during growth could have profound affects on ot... | Gallium arsenide; Surfactants; Semiconductors | 2001 |
230 |
|
Stevens, Kenneth; Myers, Chris J. | An asynchronous instruction length decoder | This paper describes an investigation of potential advantages and pitfalls of applying an asynchronous design methodology to an advanced microprocessor architecture. A prototype complex instruction set length decoding and steering unit was implemented using self-timed circuits. [The Revolving Async... | | 2001 |
231 |
|
Harrison, Reid R. | CMOS programmable analog memory-cell array using floating-gate circuits | The complexity of analog VLSI systems is often limited by the number of pins on a chip rather than by the die area. Currently, many analog parameters and biases are stored off-chip. Moving parameter storage on-chip could save pins and allow us to create complex programmable analog systems. In this ... | Computer chips; VLSI; Computer memory; Potentiometers; CMOS circuits; Floating gate circuit | 2001-01 |
232 |
|
Furse, Cynthia M.; Cherkaev, Elena A. | Cross-borehole delineation of a conductive ore deposit in a resistive host-experimental design | The finite-difference time-domain method is used for high-resolution full-wave analysis of cross-borehole electromagnetic surveys of buried nickel sulfide deposits. The method is validated against analytical methods for simple cases, but is shown to be a valuable tool for analysis of complicated ... | Finite-difference time-domain; FDTD; Cross-borehole; Electromagnetic surveys; Nickel sulfide deposits; Conductive ores; Resistive host | 2001-01-01 |
233 |
|
Furse, Cynthia M. | Down to the wire | As today's military and commercial aircraft age past their teen years, the many kilometers of wiring buried deep within their structures begin to crack and fray. Once thought to be rare and benign, such faults are found by the hundreds in a typical aircraft. Unlike obvious cracks in a wing or an e... | Aging wiring; Wire fault location; Aging wire detection; Smart wire systems | 2001-01-01 |
234 |
|
Harrison, Reid R.; Myers, Chris J.; Schlegel, Christian | Analog decoding of product codes | A design approach is presented for soft-decision decoding of block product codes ("block turbo codes") using analog computation with MOS devices. Application of analog decoding to large code sizes is also considered with the introduction of serial analog interfaces and pipeline schedules. | | 2001-01-11 |
235 |
|
Myers, Chris J.; Harrison, Reid R.; Schlegel, Christian | Cell library for automatic synthesis of analog error control decoders | This paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog ermr control decoders can be automatically synthesized. Also, using automatic synthesis based on this cell library, the circuit performance is not degraded and the circuit i... | | 2002 |
236 |
|
Harrison, Reid R.; Myers, Chris J.; Schlegel, Christian | Cell library for automatic synthesis of analog error control decoders | This paper presents a cell library for automatic synthesis of analog error control decoders. By using some basic cells, analog ermr control decoders can be automatically synthesized. Also, using automatic synthesis based on this cell library, the circuit performance is not degraded and the circuit i... | | 2002 |
237 |
|
Myers, Chris J. | Synchronous interlocked pipelines | In a circuit environment that is becoming increasingly sensitive to dynamic power dissipation and noise, and where cycle time available for control decisions continues to decrease, locality principles are becoming paramount in controlling advancement of data through pipelined systems. Achieving fine... | | 2002 |
238 |
|
Myers, Chris J. | Automatic derivation of timing constraints by failure analyis | Abstract. This work proposes a technique to automatically obtain timing constraints for a given timed circuit to operate correctly. A designated set of delay parameters of a circuit are first set to sufficiently large bounds, and verification runs followed by failure analysis are repeated. Each ver... | | 2002 |
239 |
|
Myers, Chris J. | Level oriented formal model for asynchronous circuit verification and its efficient analysis method | Using a level-oriented model for verification of asynchronous circuits helps users to easily construct formal models with high readability or to naturally model datapath circuits. On the other hand, in order to use such a model on large circuits, techniques to avoid the state explosion problem must ... | | 2002 |
240 |
|
Tasdizen, Tolga; Whitaker, Ross T. | Geometric surface smoothing via anisotropic diffusion of normals | This paper introduces a method for smoothing complex, noisy surfaces, while preserving (and enhancing) sharp, geometric features. It has two main advantages over previous approaches to feature preserving surface smoothing. First is the use of level set surface models, which allows us to process ver... | | 2002 |
241 |
|
Mathews, V. John; Dubow, Joel | A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | Abstract This paper presents an algorithm that adapts the parameters of a Hammerstein system model. Hammerstein systems are nonlinear systems that contain a static nonlinearity cascaded with a linear system. In this work, the static nonlinearity is modeled using a polynomial system and the linear f... | | 2002 |
242 |
|
Harrison, Reid R. | Fly-inspired VLSI vision sensors | Engineers have long looked to nature for inspiration. The diversity of life produced by five billion years of evolution provides countless existence proofs of organic machines with abilities that far surpass those of our own relatively crude automata. We have learned how to harness large amounts of ... | | 2002 |
243 |
|
Myers, Chris J.; Harrison, Reid R.; Schlegel, Christian | Analog decoding of product codes | Abstract - A method is presented for analog softdecision decoding of block product codes (block turbo codes). Extrinsic information is exchanged as analog signals between component row and column decoders. The component MAP decoders use low-power analog computation in subthreshold CMOS circuits t... | | 2002 |
244 |
|
Stevens, Kenneth | Relative timing based verification of timed circuits and systems | Aggressive timed circuits, including synchronous and asynchronous self-resetting circuits, are particularly challenging to design and verify due to complicated timing constraints that must hold to ensure correct operation. Identifying a small, sufficient, and easily verifiable set of relative timin... | | 2002 |
245 |
|
Stevens, Kenneth | Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions | This paper presents a design flow for timed asynchronous circuits. It introduces lazy transitions systems as a new computational model to represent the timing information required for synthesis. The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a tr... | | 2002 |
246 |
|
Stringfellow, Gerald B. | Influence of Sb, Bi, Tl, and B on the incorporation of N in GaAs | GaAs:N is an interesting material for many devices due to its unique compositional variation of band gap. Small amounts of N lead to a strong decrease in band gap energy as well as lattice constant. The further addition of In or Sb leads to quaternary alloys with band gap energies below 1.4 eV latti... | Antimony; Gallium Arsenide; Nitrogen | 2002 |
247 |
|
Mathews, V. John; Clark, Edward B. | Reconstruction of maximum blood velocity waveforms from doppler ultrasound measurements | Absfauct -This paper presents a novel algorithm for the extraction of maximum blood flow velocity waveform from Doppler measurements. This method is based on the short-term integrated spectrum of the Doppler signal, and does not require a pre-selected threshold level to deal with the background nois... | | 2002 |
248 |
|
Harrison, Reid R.; Myers, Chris J.; Schlegel, Christian | Analog decoding of product codes | A method is presented for analog softdecision decoding of block product codes (block turbo codes). Extrinsic information is exchanged as analog signals between component row and column decoders. The component MAP decoders use low-power analog computation in subthreshold CMOS circuits to implement th... | | 2002 |
249 |
|
Mathews, V. John; Clark, Edward B. | Mean frequency estimation of narrowband signals and its application to doppler ultrasound blood velocity waveform estimation | ABSTRACT Many applications involving Doppler signals require the accurate estimation of the power-weighted mean frequency over short durations of the signal due to it's nonstationarity. This paper presents a novel algorithm for estimating mean frequencies using the eigenstructure of the covariance ... | | 2002 |
250 |
|
Harrison, Reid R. | Phonotaxis in crickets and robots | Over the past decade, we have built and tested several robot models to investigate a particular biological behavior, the sound localizing (phonotaxis) ability of the cricket. This work has had several purposes. One is to develop robotic technology, such as novel sensors and control systems, by copyi... | Phonotaxis | 2002 |