Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361)
Latest Publications

TOTAL DOCUMENTS

182

(FIVE YEARS 0)

H-INDEX

25

(FIVE YEARS 0)

Published By IEEE

1581130929

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbolic model checking using SAT procedures instead of BDDs

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781333 ◽

2003 ◽

Author(s):

A. Biere ◽

A. Cimatti ◽

E.M. Clarke ◽

M. Fujita ◽

Y. Zhu

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text

Lowering power consumption in clock by using globally asynchronous locally synchronous design style

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.782202 ◽

2003 ◽

Author(s):

A. Hemani ◽

T. Meincke ◽

S. Kumar ◽

A. Postula ◽

T. Olsson ◽

...

Keyword(s):

Power Consumption ◽

Globally Asynchronous Locally Synchronous ◽

Download Full-text

Kernel-based power optimization of RTL components: exact and approximate extraction algorithms

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781320 ◽

2003 ◽

Author(s):

L. Benini ◽

G. De Micheli ◽

E. Macii ◽

G. Odasso ◽

M. Poncino

Keyword(s):

Power Optimization

Download Full-text

Efficient computation of quasi-periodic circuit operating conditions via a mixed frequency/time approach

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.782020 ◽

2003 ◽

Author(s):

Dan Feng ◽

J. Phillips ◽

K. Nabors ◽

K. Kundert ◽

J. White

Keyword(s):

Operating Conditions ◽

Efficient Computation ◽

Mixed Frequency

Download Full-text

Multilevel k-way hypergraph partitioning

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781339 ◽

2003 ◽

Author(s):

G. Karypis ◽

V. Kumar

Keyword(s):

Hypergraph Partitioning

Download Full-text

IC test using the energy consumption ratio

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.782238 ◽

2003 ◽

Author(s):

Wanli Jiang ◽

B. Vinnakota

Keyword(s):

Energy Consumption ◽

Consumption Ratio ◽

Energy Consumption Ratio ◽

Download Full-text

Converting a 64 b PowerPC processor from CMOS bulk to SOI technology

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.782211 ◽

2003 ◽

Author(s):

D. Allen ◽

D. Behrends ◽

B. Stanisic

Keyword(s):

Download Full-text

Robust rational function approximation algorithm for model generation

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781313 ◽

2003 ◽

Author(s):

C.P. Coelho ◽

J.R. Phillips ◽

L.M. Silveira

Keyword(s):

Approximation Algorithm ◽

Rational Function ◽

Function Approximation ◽

Model Generation ◽

Rational Function Approximation

Download Full-text

Crosstalk minimization using wire perturbations

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781281 ◽

2003 ◽

Author(s):

P. Saxena ◽

C.L. Liu

Download Full-text

Behavioral network graph unifying the domains of high-level and logic synthesis

Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) ◽

10.1109/dac.1999.781314 ◽

2003 ◽

Author(s):

R.A. Bergamaschi

Keyword(s):

Logic Synthesis ◽

Network Graph ◽

Download Full-text