UScholar Works
 
Filters: Collection: "ir_uspace"
126 - 150 of 408
Number of results to display per page
CreatorTitleDescriptionSubjectDate
126 Khan, Faisal HabibSwitching cells and their implications for power electronic circuitsThis paper will introduce two basic switching cells, P-cell and N-cell, along with their implications and applications in power electronic circuits. The concept of switching cells in power electronic circuits started in the late 1970's. The basic cells presented in this paper have one switching ele...2009-05
127 Gopalakrishnan, GaneshTiming constraints for high speed counterflow-clocked pipeliningWith the escalation of clock frequencies and the increasing ratio of wire- to gate-delays, clock skew is a major problem to be overcome in tomorrow's high-speed VLSI chips. Also, with an increasing number of stages switching simultaneously comes the problem of higher peak power consumption. In our ...Timing constraints; clock frequencies; clock skew; high-speed; VLSI chips; counterflow-clocked pipelining1995
128 Love, April M.Hidden water: Salt Lake County, UT drainages, a part of the Western Waters Digital LibrarySalt Lake Valley watershed, hidden water2012
129 Gopalakrishnan, GaneshPerformance analysis and optimization of asynchronous circuitsAsynchronous/Self-timed circuits are beginning to attract renewed attention as promising means of dealing with the complexity of modern VLSI designs. However, there are very few analysis techniques or tools available for estimating the performance of asynchronous circuits. In this paper we adapt th...Asynchronous circuits; Performance analysis; Optimization; VLSI circuits1994
130 Davis, Alan L.A characterization of parallel systemsa taxonomy for parallel processing systems is presented which has some advantages over previous taxonomies. The taxonomy characterizes parallel processing systems using four parameters: topology, communication, granularity, and operation. These parameters and used repetitively in a hierarchical fash...Parallel systems1980
131 Gu, JunStructured, technology independent VLSI designRapid advancement in new semiconductor technologies has created a need for the design of existing integrated circuits using these new technologies. These new technologies are required to provide improved performance, smaller feature sizes and lower costs. The conversion of an integrated circuit fro...VLSI design; semiconductor technologies1989
132 Brunvand, Erik L.Low latency self-timed flow-through FIFOsSelf-timed flow-through FIFOs are constructed easily using only a single C-element as control for each stage of the FIFO. Throughput can be very high in this type of FIFO as the communication required to send new data to the FIFO is local to only the first element of the FIFO. Circuit density can ...1995
133 Myers, Chris J.Level oriented formal model for asynchronous circuit verification and its efficient analysis methodUsing 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
134 Stevens, KennethScalable asynchronous hardware protocol verification for compositions with relative timingCorrect interaction of asynchronous hardware protocols requires verification. Performance and power of asynchronous hardware circuits and protocols can be vastly improved by modifying them with judicious application of timing constraints. A methodology is presented for verifying larger asynchronous ...2010
135 Harrison, Reid R.Analog VLSI model of the fly elementary motion detectorFlies are capable of rapidly detecting and integrating visual motion information in behaviorly-relevant ways. The first stage of visual motion processing in flies is a retinotopic array of functional units known as elementary motion detectors (EMDs). Several decades ago, Reichardt and colleagues de...1998-01-01
136 Gopalakrishnan, GaneshHOP: A formal model for synchronous circuits using communicating fundamental mode symbolic automataWe study synchronous digital circuits in an abstract setting. A circuit is viewed as a collection of modules connected through their boundary ports, where each port assumes a fixed direction (input or output) over one cycle of operation, and can change directions across cycles. No distinction is ma...HOP1992
137 Myers, Chris J.Automatic derivation of timing constraints by failure analyisAbstract. 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
138 Dawson, KyleCCD testing and characterization for dark energy surveyA description of the plans and infrastructure developed for CCD testing and characterization for the DES focal plane detectors is presented. Examples of the results obtained are shown and discussed in the context of the device requirements for the survey instrument.DES2006
139 Brunvand, Erik L.The NSR processorThe NSR (Non-Synchronous RISC) processor is a general-purpose computer structured (IS U collection of self-timed blocks that operate concurrently and communicate over bundled data channels in the style of micropipelines [3, 16]. These blocks correspond to standard synchronous pipeline stages such ...1993
140 Myers, Chris J.Verification of timed circuits with failure-directed abstractionsAbstract-This paper presents a method to address state explosion in timed-circuit verification by using abstraction directed by the failure model. This method allows us to decompose the verification problem into a set of subproblems, each of which proves that a specific failure condition does not oc...2006
141 Harrison, Reid R.Designing efficient inductive power links for implantable devicesDue to limited battery life and size limitations, many implantable biomedical devices must be powered inductively. Because of weak coupling between implanted and external coils, obtaining high power efficiency is a challenge. Previous authors have addressed the issue of optimizing power efficiency ...Inductive power links; Planar spiral coils2007-01-01
142 Khan, Faisal HabibMultiple-load-source integration in a multilevel modular capacitor-clamped DC-DC converter featuring fault tolerant capabilityA multilevel modular capacitor-clamped dc-dc converter (MMCCC) will be presented in this paper with some of its advantageous features. By virtue of the modular nature of the converter, it is possible to integrate multiple loads and sources with the converter at the same time. The modular construct...DC-DC power conversion; Power capacitors; Power conversion; Power MOSFETs; Capacitor-clamped converter2009-01
143 Khan, Faisal HabibA 5 kW Bi-directional multilevel modular DC-DC converter (MMCCC) featuring built in power management for fuel cell and hybrid electric automobilesAbstract- A new capacitor clamped modular dc-dc converter with bi-directional power handling capability will be presented in this paper. This inductor-free design is modular, and it is possible to integrate multiple loads and sources simultaneously in the converter. Moreover, this 5 kW dc-dc convert...2007
144 Normann, Richard A.; Horch, Kenneth W.; Cha, KichulMobility performance with a pixelized vision systemA visual prosthesis, based on electrical stimulation of the visual cortex, has been suggested as a means for partially restoring functional vision in the blind. The prosthesis would create a pixelized visual sense consisting of punctate spots of light (phosphenes). The present study investigated the...Visual Prosthesis; Mobility; Phosphene Simulator1992
145 Stevens, KennethSynchronous elasticization: considerations for correct implementation and miniMIPS case studyLatency insensitivity is a promising design paradigm in the nanometer era since it has potential benefits of increased modularity and robustness to variations. Synchronous elasticization is one approach (among others) of transforming an ordinary clocked circuit into a latency insensitive design. Th...2010
146 Stevens, KennethPractical verification and synthesis of low latency asynchronous systemsA new theory and methodology for the practical verification and synthesis of asynchronous systems is developed to aid in the rapid and correct implementation of complex control structures. Specifications are based on a simple process algebra called CCS that is concise and easy to understand and use....1994
147 Myers, Chris J.; Harrison, Reid R.; Schlegel, ChristianCell library for automatic synthesis of analog error control decodersThis 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
148 Lupton, John MarkEvidence for temperature-independent triplet diffusion in a ladder-type conjugated polymerWe study the temperature dependence of triplet formation and decay by considering the phosphorescence dynamics in a prototypical conjugated polymer matrix. The dynamics of triplet formation as a function of temperature are unraveled by applying an electric field during optical singlet generation a...Triplet diffusion; Triplet excitons; Ladder-type conjugated polymers; Temperature dependence2006-12
149 Brunvand, Erik L.; Smith, Kent F.Self-timed design in GaAs - case study of a high-speed parallel multiplierAbstract-The problems with synchronous designs at high clock frequencies have been well documented. This makes an asynchronous approach attractive for high speed technologies like GaAs. We investigate the issues involved by describing the design of a parallel multiplier that can be part of a floati...1996
150 Harrison, Reid R.Design and implementation of multipattern generators in analog VLSIIn recent years, computational biologists have shown through simulation that small neural networks with fixed connectivity are capable of producing multiple output rhythms in response to transient inputs. It is believed that such networks may play a key role in certain biological behaviors such as d...2006-07
126 - 150 of 408