Sciweavers

35 search results - page 3 / 7
» iccad 2010
Sort
View
ICCAD
2010
IEEE
124views Hardware» more  ICCAD 2010»
13 years 3 months ago
Symbolic performance analysis of elastic systems
Elastic systems, either synchronous or asynchronous, can be optimized for the average-case performance when they have units with early evaluation or variable latency. The performan...
Marc Galceran Oms, Jordi Cortadella, Michael Kishi...
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
13 years 3 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...
ICCAD
2010
IEEE
102views Hardware» more  ICCAD 2010»
13 years 3 months ago
Yield enhancement for 3D-stacked memory by redundancy sharing across dies
Three-dimensional (3D) memory products are emerging to fulfill the ever-increasing demands of storage capacity. In 3D-stacked memory, redundancy sharing between neighboring vertic...
Li Jiang, Rong Ye, Qiang Xu
ICCAD
2010
IEEE
140views Hardware» more  ICCAD 2010»
13 years 3 months ago
Polynomial datapath optimization using constraint solving and formal modelling
For a variety of signal processing applications polynomials are implemented in circuits. Recent work on polynomial datapath optimization achieved significant reductions of hardware...
Finn Haedicke, Bijan Alizadeh, Görschwin Fey,...
ICCAD
2010
IEEE
141views Hardware» more  ICCAD 2010»
13 years 3 months ago
Local clock skew minimization using blockage-aware mixed tree-mesh clock network
Clock network construction is one key problem in high performance VLSI design. Reducing the clock skew variation is one of the most important objectives during clock network synthe...
Linfu Xiao, Zigang Xiao, Zaichen Qian, Yan Jiang, ...