Sciweavers

376 search results - page 15 / 76
» Improved Simulation of Stabilizer Circuits
Sort
View
MOBIWAC
2006
ACM
15 years 10 months ago
Ad hoc routing based on the stability of routes
Some reactive ad hoc protocols allow the discovery and/or storage of multiple paths to the same destination node. The selection of the path to utilize is commonly based on the cri...
Alicia Triviño-Cabrera, Irene Nieves-P&eacu...
140
Voted
VTS
2002
IEEE
101views Hardware» more  VTS 2002»
15 years 8 months ago
Speeding Up The Byzantine Fault Diagnosis Using Symbolic Simulation
Fault diagnosis is to predict the potential fault sites in a logic IC. In this paper, we particularly address the problem of diagnosing faults that exhibit the so-called Byzantine...
Shi-Yu Huang
DAC
2011
ACM
14 years 3 months ago
Efficient incremental analysis of on-chip power grid via sparse approximation
In this paper, a new sparse approximation technique is proposed for incremental power grid analysis. Our proposed method is motivated by the observation that when a power grid net...
Pei Sun, Xin Li, Ming Yuan Ting
132
Voted
SOCC
2008
IEEE
167views Education» more  SOCC 2008»
15 years 10 months ago
65NM sub-threshold 11T-SRAM for ultra low voltage applications
In this paper a new ultra low power SRAM cell is proposed. In the proposed SRAM topology, additional circuitry has been added to a standard 6T-SRAM cell to improve the static nois...
Farshad Moradi, Dag T. Wisland, Snorre Aunet, Hami...
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 8 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann