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

TOTAL DOCUMENTS

195

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

078039254x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Digital RF processor (DRPTM) for cellular phones

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

10.1109/iccad.2005.1560051 ◽

2005 ◽

Cited By ~ 7

Author(s):

R.B. Staszewski ◽

K. Muhammad ◽

D. Leipold

Keyword(s):

Cellular Phones ◽

Digital Rf

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 ◽

Cited By ~ 15

Author(s):

N. Shekhar ◽

P. Kalla ◽

F. Enescu ◽

S. Gopalakrishnan

Keyword(s):

Finite Ring ◽

Fixed Size ◽

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 ◽

Cited By ~ 9

Author(s):

R. Armoni ◽

S. Egorov ◽

R. Fraer ◽

D. Korchemny ◽

M.Y. Vardi

Keyword(s):

Model Checking

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 ◽

Cited By ~ 26

Author(s):

G. Venkataraman ◽

N. Jayakumar ◽

Jiang Hu ◽

Peng Li ◽

S. Khatri

Keyword(s):

Clock Networks

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 ◽

Cited By ~ 10

Author(s):

T. Raudvere ◽

A.K. Singh ◽

I. Sander ◽

A. Jantsch

Keyword(s):

Signal Processing ◽

Digital Signal Processing ◽

Digital Signal ◽

System Level

Download Full-text

Accurate delay computation for noisy waveform shapes

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

10.1109/iccad.2005.1560198 ◽

2005 ◽

Cited By ~ 5

Author(s):

A. Jain ◽

D. Blaauw ◽

V. Zolotov

Download Full-text

A routing algorithm for flip-chip design

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

10.1109/iccad.2005.1560165 ◽

2005 ◽

Cited By ~ 5

Author(s):

Jia-Wei Fang ◽

I-Jye Lin ◽

Ping-Hung Yuh ◽

Yao-Wen Chang ◽

Jyh-Herng Wang

Keyword(s):

Flip Chip ◽

Routing Algorithm ◽

Chip Design

Download Full-text

Finfets for nanoscale CMOS digital integrated circuits

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

10.1109/iccad.2005.1560065 ◽

2005 ◽

Cited By ~ 5

Author(s):

Tsu-Jae King

Keyword(s):

Integrated Circuits ◽

Digital Integrated Circuits ◽

Nanoscale Cmos

Download Full-text

Taco: temperature aware clock-tree optimization

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

10.1109/iccad.2005.1560133 ◽

2005 ◽

Cited By ~ 39

Author(s):

M. Cho ◽

S. Ahmed ◽

D.Z. Pan

Keyword(s):

Clock Tree ◽

Tree Optimization

Download Full-text

Formalizing designer's preferences for multiattribute optimization with application to leakage-delay tradeoffs

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

10.1109/iccad.2005.1560158 ◽

2005 ◽

Cited By ~ 2

Author(s):

S. Bhardwaj ◽

S. Vrudhula

Keyword(s):

Leakage Delay

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Digital RF processor (DRPTM) for cellular phones

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

Efficient LTL compilation for SAT-based model checking

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

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

Accurate delay computation for noisy waveform shapes

A routing algorithm for flip-chip design

Finfets for nanoscale CMOS digital integrated circuits

Taco: temperature aware clock-tree optimization

Formalizing designer's preferences for multiattribute optimization with application to leakage-delay tradeoffs

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