ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005.
Latest Publications

TOTAL DOCUMENTS

195

(FIVE YEARS 0)

H-INDEX

23

(FIVE YEARS 0)

Published By IEEE

078039254x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Accurate delay computation for noisy waveform shapes

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560198 ◽

2005 ◽

Author(s):

A. Jain ◽

D. Blaauw ◽

V. Zolotov

Download Full-text

Digital RF processor (DRPTM) for cellular phones

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560051 ◽

2005 ◽

Author(s):

R.B. Staszewski ◽

K. Muhammad ◽

D. Leipold

Keyword(s):

Cellular Phones ◽

Download Full-text

Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560081 ◽

2005 ◽

Author(s):

N. Shekhar ◽

P. Kalla ◽

F. Enescu ◽

S. Gopalakrishnan

Keyword(s):

Finite Ring ◽

Equivalence Verification

Download Full-text

Efficient LTL compilation for SAT-based model checking

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560185 ◽

2005 ◽

Author(s):

R. Armoni ◽

S. Egorov ◽

R. Fraer ◽

D. Korchemny ◽

M.Y. Vardi

Keyword(s):

Download Full-text

Practical techniques to reduce skew and its variations in buffered clock networks

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560135 ◽

2005 ◽

Author(s):

G. Venkataraman ◽

N. Jayakumar ◽

Jiang Hu ◽

Peng Li ◽

S. Khatri

Keyword(s):

Download Full-text

System level verification of digital signal processing applications based on the polynomial abstraction technique

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560080 ◽

2005 ◽

Author(s):

T. Raudvere ◽

A.K. Singh ◽

I. Sander ◽

A. Jantsch

Keyword(s):

Signal Processing ◽

Digital Signal Processing ◽

Digital Signal ◽

Download Full-text

Performance-driven read-after-write dependencies softening in high-level synthesis

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560031 ◽

2005 ◽

Author(s):

R. Ruiz-Sautua ◽

M.C. Molina ◽

J.M. Mendias ◽

R. Hermida

Keyword(s):

High Level Synthesis ◽

Download Full-text

A high efficiency full-chip thermal simulation algorithm

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560144 ◽

2005 ◽

Author(s):

Yong Zhan ◽

S.S. Sapatnekar

Keyword(s):

High Efficiency ◽

Thermal Simulation ◽

Simulation Algorithm

Download Full-text

A unified framework for statistical timing analysis with coupling and multiple input switching

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560179 ◽

2005 ◽

Author(s):

D. Sinha ◽

Hai Zhou

Keyword(s):

Timing Analysis ◽

Unified Framework ◽

Statistical Timing Analysis ◽

Multiple Input ◽

Statistical Timing ◽

Multiple Input Switching

Download Full-text

Automatic generalized phase abstraction for formal verification

ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. ◽

10.1109/iccad.2005.1560220 ◽

2005 ◽

Author(s):

P. Bjesse ◽

J. Kukula

Keyword(s):

Formal Verification

Download Full-text