Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)
Latest Publications

TOTAL DOCUMENTS

112

(FIVE YEARS 0)

H-INDEX

27

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818672137

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relaxation-based harmonic balance technique for semiconductor device simulation

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.480206 ◽

2002 ◽

Author(s):

B. Troyanovsky ◽

Zhiping Yu ◽

L. So ◽

R.W. Dutton

Keyword(s):

Harmonic Balance ◽

Semiconductor Device ◽

Device Simulation ◽

Semiconductor Device Simulation ◽

Balance Technique ◽

Harmonic Balance Technique

Download Full-text

Fast functional simulation using branching programs

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.480148 ◽

2002 ◽

Author(s):

P. Ashar ◽

S. Malik

Keyword(s):

Branching Programs ◽

Functional Simulation

Download Full-text

Efficient use of large don't cares in high-level and logic synthesis

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.480023 ◽

2002 ◽

Author(s):

R.A. Bergamaschi ◽

D. Brand ◽

L. Stok ◽

M. Berkelaar ◽

S. Prakash

Keyword(s):

Logic Synthesis ◽

Download Full-text

Timing analysis with known false sub graphs

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.480255 ◽

2002 ◽

Author(s):

K.P. Belkhale ◽

A.J. Suess

Keyword(s):

Timing Analysis

Download Full-text

The formal verification of a pipelined double-precision IEEE floating-point multiplier

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.479878 ◽

2002 ◽

Author(s):

M.D. Aagaard ◽

C.-J.H. Seger

Keyword(s):

Formal Verification ◽

Floating Point ◽

Double Precision

Download Full-text

Bounded-skew clock and Steiner routing under Elmore delay

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.479993 ◽

2002 ◽

Author(s):

J. Cong ◽

A.B. Kahng ◽

C.-K. Koh ◽

C.-W. Albert Tsao

Download Full-text

PROP: a recursive paradigm for area-efficient and performance oriented partitioning of large FPGA netlists

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.480197 ◽

2002 ◽

Author(s):

R. Kuznar ◽

F. Brglez

Keyword(s):

And Performance ◽

Download Full-text

Pseudo-random testing and signature analysis for mixed-signal circuits

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.479999 ◽

2002 ◽

Author(s):

C.-Y. Pan ◽

K.-T. Cheng

Keyword(s):

Random Testing ◽

Signature Analysis ◽

Mixed Signal ◽

Mixed Signal Circuits

Download Full-text

Interface co-synthesis techniques for embedded systems

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.480024 ◽

2002 ◽

Author(s):

Pai Chou ◽

R.B. Ortega ◽

G. Borriello

Keyword(s):

Embedded Systems ◽

Synthesis Techniques

Download Full-text

A high-level design and optimization tool for analog RF receiver front-ends

Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ◽

10.1109/iccad.1995.480170 ◽

2002 ◽

Author(s):

J. Crols ◽

S. Donnay ◽

M. Steyaert ◽

G. Gielen

Keyword(s):

Design And Optimization ◽

Rf Receiver ◽

Level Design ◽

Download Full-text