Sciweavers

2076 search results - page 59 / 416
» Functional logic overloading
Sort
View
DFT
2007
IEEE
103views VLSI» more  DFT 2007»
14 years 3 months ago
Lazy Error Detection for Microprocessor Functional Units
We propose and evaluate the use of lazy error detection for a superscalar, out-of-order microprocessor’s functional units. The key insight is that error detection is off the cri...
Mahmut Yilmaz, Albert Meixner, Sule Ozev, Daniel J...
IBMRD
2006
63views more  IBMRD 2006»
13 years 8 months ago
Decomposing the load-store queue by function for power reduction and scalability
Because they are based on large content-addressable memories, load-store queues (LSQ) present implementation challenges in superscalar processors, especially as issue width and nu...
Lee Baugh, Craig B. Zilles
JOLLI
1998
86views more  JOLLI 1998»
13 years 8 months ago
On the Logic of Theory Change: Contraction without Recovery
The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourr´on, G¨ardenfors and Makinson is the one that has provoked most cont...
Eduardo L. Fermé
ISMVL
2007
IEEE
102views Hardware» more  ISMVL 2007»
14 years 3 months ago
A Generalization of the Deutsch-Jozsa Algorithm to Multi-Valued Quantum Logic
We generalize the binary Deutsch-Jozsa algorithm to nvalued logic using the quantum Fourier transform. Our algorithm is not only able to distinguish between constant and balanced ...
Yale Fan
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
14 years 1 months ago
Symbolic functional and timing verification of transistor-level circuits
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
Clayton B. McDonald, Randal E. Bryant