Sciweavers

1581 search results - page 46 / 317
» Date Warehouse Design
Sort
View
DATE
2004
IEEE
131views Hardware» more  DATE 2004»
14 years 15 days ago
Testing of Quantum Dot Cellular Automata Based Designs
There has been considerable research on quantum dots cellular automata as a new computing scheme in the nano-scale regimes. The basic logic element of this technology is a majorit...
Mehdi Baradaran Tahoori, Fabrizio Lombardi
DATE
2008
IEEE
82views Hardware» more  DATE 2008»
14 years 3 months ago
Periodic Steady-State Analysis Augmented with Design Equality Constraints
— A design-oriented periodic steady-state analysis is presented in this paper. The new analysis finds the values of circuit parameters that result in a desired circuit performan...
Igor Vytyaz, Pavan Kumar Hanumolu, Un-Ku Moon, Kar...
DATE
2006
IEEE
117views Hardware» more  DATE 2006»
14 years 2 months ago
Formal verification of systemc designs using a petri-net based representation
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
Daniel Karlsson, Petru Eles, Zebo Peng
DATE
2005
IEEE
140views Hardware» more  DATE 2005»
14 years 2 months ago
Area-Efficient Selective Multi-Threshold CMOS Design Methodology for Standby Leakage Power Reduction
This paper presents a design flow for an improved selective multi-threshold(Selective-MT) circuit. The Selective-MT circuit is improved so that plural MT-cells can share one switc...
Takeshi Kitahara, Naoyuki Kawabe, Fumihiro Minami,...
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
14 years 2 months ago
PLFire: A Visualization Tool for Asynchronous Phased Logic Designs
We present a visualization tool called PLFire, which allows a user to observe the behavior of a Phased Logic (PL) circuit. Phased logic is a technique for realizing self-timed cir...
Kenneth Fazel, Mitchell A. Thornton, Robert B. Ree...