Sciweavers

78 search results - page 11 / 16
» iccad 2002
Sort
View
ICCAD
2002
IEEE
106views Hardware» more  ICCAD 2002»
15 years 6 months ago
Throughput-driven IC communication fabric synthesis
As the scale of system integration continues to grow, the on-chip communication becomes the ultimate bottleneck of system performance and the primary determinant of system archite...
Tao Lin, Lawrence T. Pileggi
ICCAD
2002
IEEE
98views Hardware» more  ICCAD 2002»
15 years 2 months ago
Efficient mixed-domain analysis of electrostatic MEMS
—We present efficient computational methods for scattered point and meshless analysis of electrostatic microelectromechanical systems (MEMS). Electrostatic MEM devices are govern...
Gang Li, Narayan R. Aluru
ICCAD
2002
IEEE
103views Hardware» more  ICCAD 2002»
15 years 6 months ago
Synthesis of customized loop caches for core-based embedded systems
Embedded system programs tend to spend much time in small loops. Introducing a very small loop cache into the instruction memory hierarchy has thus been shown to substantially red...
Susan Cotterell, Frank Vahid
ICCAD
2002
IEEE
117views Hardware» more  ICCAD 2002»
15 years 6 months ago
An energy-conscious algorithm for memory port allocation
Multiport memories are extensively used in modern system designs because of the performance advantages they offer. The increased memory access throughput could lead to significan...
Preeti Ranjan Panda, Lakshmikantam Chitturi
ICCAD
2002
IEEE
146views Hardware» more  ICCAD 2002»
15 years 6 months ago
Conflict driven learning in a quantified Boolean Satisfiability solver
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
Lintao Zhang, Sharad Malik