1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)
Latest Publications

TOTAL DOCUMENTS

221

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM

1581130082

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Word-level decision diagrams, WLCDs and division

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.743094 ◽

2002 ◽

Cited By ~ 1

Author(s):

C. Scholl ◽

B. Becker ◽

T.M. Weis

Keyword(s):

Decision Diagrams ◽

Word Level

Download Full-text

Synthesis of application specific instructions for embedded DSP software

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.743092 ◽

2002 ◽

Author(s):

Hoon Choi ◽

In-Cheol Park ◽

Seung Ho Hwang ◽

Chong-Min Kyung

Keyword(s):

Embedded Dsp ◽

Application Specific

Download Full-text

Transforming control-flow intensive designs to facilitate power management

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.743090 ◽

2002 ◽

Author(s):

G. Lakshminarayana ◽

A. Raghunathan ◽

N.K. Jhat ◽

S. Dey

Keyword(s):

Power Management ◽

Control Flow

Download Full-text

Period assignment in multidimensional periodic scheduling

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.743067 ◽

2002 ◽

Author(s):

W.F.J. Verhaegh ◽

E.H.L. Aarts ◽

P.C.N. van Gorp

Keyword(s):

Periodic Scheduling

Download Full-text

Formal verification of pipeline control using controlled token nets and abstract interpretation

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.743029 ◽

2002 ◽

Author(s):

Pei-Hsin Ho ◽

A.J. Isles ◽

T. Kam

Keyword(s):

Formal Verification ◽

Abstract Interpretation

Download Full-text

Core integration: overview and challenges

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.742929 ◽

2002 ◽

Cited By ~ 1

Author(s):

E. Wein

Keyword(s):

Core Integration

Download Full-text

Waiting false path analysis of sequential logic circuits for performance optimization

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.742902 ◽

2002 ◽

Cited By ~ 1

Author(s):

K. Nakamura ◽

K. Takagi ◽

S. Kimura ◽

K. Watanabe

Keyword(s):

Path Analysis ◽

Performance Optimization ◽

Logic Circuits ◽

Sequential Logic ◽

False Path

Download Full-text

SpC: synthesis of pointers in C application of pointer analysis to the behavioral synthesis from C

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.742894 ◽

2002 ◽

Cited By ~ 3

Author(s):

L. Semeria ◽

G. De Micheli

Keyword(s):

Pointer Analysis ◽

Behavioral Synthesis

Download Full-text

Using precomputation in architecture and logic resynthesis

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.742891 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Hassoun ◽

C. Ebeling

Download Full-text

Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) ◽

10.1109/iccad.1998.742878 ◽

2002 ◽

Cited By ~ 1

Author(s):

F. Ferrandi ◽

A. Macii ◽

E. Macii ◽

M. Poncino ◽

R. Scarsi ◽

...

Keyword(s):

Logic Circuits ◽

Pass Transistor ◽

Pass Transistor Logic ◽

Symbolic Algorithms

Download Full-text

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Word-level decision diagrams, WLCDs and division

Synthesis of application specific instructions for embedded DSP software

Transforming control-flow intensive designs to facilitate power management

Period assignment in multidimensional periodic scheduling

Formal verification of pipeline control using controlled token nets and abstract interpretation

Core integration: overview and challenges

Waiting false path analysis of sequential logic circuits for performance optimization

SpC: synthesis of pointers in C application of pointer analysis to the behavioral synthesis from C

Using precomputation in architecture and logic resynthesis

Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits

1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)
Latest Publications