Sciweavers

ICCAD
2010
IEEE
140views Hardware» more  ICCAD 2010»
13 years 4 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
136views Hardware» more  ICCAD 2010»
13 years 4 months ago
Synthesis of an efficient controlling structure for post-silicon clock skew minimization
Clock skew minimization has been an important design constraint. However, due to the complexity of Process, Voltage, and Temperature (PVT) variations, the minimization of clock sk...
Yu-Chien Kao, Hsuan-Ming Chou, Kun-Ting Tsai, Shih...
ICCAD
2010
IEEE
102views Hardware» more  ICCAD 2010»
13 years 4 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
139views Hardware» more  ICCAD 2010»
13 years 4 months ago
3D-ICE: Fast compact transient thermal modeling for 3D ICs with inter-tier liquid cooling
Categories and Subject Descriptors Keywords .
Arvind Sridhar, Alessandro Vincenzi, Martino Ruggi...
ICCAD
2010
IEEE
121views Hardware» more  ICCAD 2010»
13 years 4 months ago
Multi-Wafer Virtual Probe: Minimum-cost variation characterization by exploring wafer-to-wafer correlation
In this paper, we propose a new technique, referred to as MultiWafer Virtual Probe (MVP) to efficiently model wafer-level spatial variations for nanoscale integrated circuits. Tow...
Wangyang Zhang, Xin Li, Emrah Acar, Frank Liu, Rob...
ICCAD
2010
IEEE
166views Hardware» more  ICCAD 2010»
13 years 4 months ago
Low-power clock trees for CPUs
Clock networks contribute a significant fraction of dynamic power and can be a limiting factor in high-performance CPUs and SoCs. The need for multi-objective optimization over a l...
Dongjin Lee, Myung-Chul Kim, Igor L. Markov
ICCAD
2010
IEEE
141views Hardware» more  ICCAD 2010»
13 years 4 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, ...
ICCAD
2010
IEEE
114views Hardware» more  ICCAD 2010»
13 years 4 months ago
On timing-independent false path identification
This paper is concerned with finding timing-independent false paths that cannot be sensitized under any signal arrival time condition in integrated circuits. Existing techniques r...
Feng Yuan, Qiang Xu
ICCAD
2010
IEEE
140views Hardware» more  ICCAD 2010»
13 years 4 months ago
Reduction of interpolants for logic synthesis
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
John D. Backes, Marc D. Riedel
ICCAD
2010
IEEE
148views Hardware» more  ICCAD 2010»
13 years 4 months ago
Trace signal selection to enhance timing and logic visibility in post-silicon validation
Trace buffer technology allows tracking the values of a few number of state elements inside a chip within a desired time window, which is used to analyze logic errors during post-s...
Hamid Shojaei, Azadeh Davoodi