Sciweavers

17 search results - page 1 / 4
» Design metal-dot based QCA circuits using SPICE model
Sort
View
MJ
2006
144views more  MJ 2006»
13 years 4 months ago
Design metal-dot based QCA circuits using SPICE model
This paper proposes a SPICE model development methodology for quantum-dot cellular automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simulat...
Rui Tang, Fengming Zhang, Yong-Bin Kim
GLVLSI
2005
IEEE
158views VLSI» more  GLVLSI 2005»
13 years 10 months ago
Quantum-dot cellular automata SPICE macro model
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
Rui Tang, Fengming Zhang, Yong-Bin Kim
ICCAD
2001
IEEE
102views Hardware» more  ICCAD 2001»
14 years 1 months ago
Simulation-Based Automatic Generation of Signomial and Posynomial Performance Models for Analog Integrated Circuit Sizing
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
Walter Daems, Georges G. E. Gielen, Willy M. C. Sa...
TVLSI
2002
93views more  TVLSI 2002»
13 years 4 months ago
Simultaneous switching noise in on-chip CMOS power distribution networks
Simultaneous switching noise (SSN) has become an important issue in the design of the internal on-chip power distribution networks in current very large scale integration/ultra lar...
Kevin T. Tang, Eby G. Friedman
ICCAD
2009
IEEE
159views Hardware» more  ICCAD 2009»
13 years 2 months ago
First steps towards SAT-based formal analog verification
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips...