376 search results - page 28 / 76 » Improved Simulation of Stabilizer Circuits |
127
click to vote
ICCAD
2002
IEEE
16 years 2 months ago
2002
IEEE
Fourier-envelope algorithms are an important component of the mixed-signal/RF verification toolbox. In this paper, we address the unpredictability and lack of robustness that has...
147
click to vote
DATE
1998
IEEE
15 years 10 months ago
1998
IEEE
A new approach to mixed-signal circuit interfacing based on fuzzy logic models is presented. Due to their continuous rather than discrete character, fuzzy logic models offer a sig...
175
click to vote
GLVLSI
2008
IEEE
16 years 13 days ago
2008
IEEE
This paper presents the design and evaluation of a new SRAM cell made of nine transistors (9T). The proposed 9T cell utilizes a scheme with separate read and write wordlines; it i...
171
click to vote
ICCAD
2009
IEEE
15 years 3 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
159
click to vote
PDP
2003
IEEE
15 years 11 months ago
2003
IEEE
As general-purpose parallel computers are increasingly being used to speed up different VLSI applications, the development of parallel algorithms for circuit testing, logic minimi...