Proceedings of the 34th Design Automation Conference
Latest Publications

TOTAL DOCUMENTS

144

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0780340930

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Optimizing Designs Containing Black Boxes

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597127 ◽

2005 ◽

Author(s):

Tai-Hung Liu ◽

K. Sajid ◽

A. Aziz ◽

V. Singhal

Keyword(s):

Black Boxes

Download Full-text

ISDL: An Instruction Set Description Language For Retargetability

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597161 ◽

2005 ◽

Cited By ~ 92

Author(s):

G. Hadjiyiannis ◽

S. Hanono ◽

S. Devadas

Keyword(s):

Instruction Set ◽

Description Language

Download Full-text

Safe BDD Minimization Using Don't Cares

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597145 ◽

2005 ◽

Cited By ~ 18

Author(s):

Youpyo Hong ◽

P.A. Beerel ◽

J.R. Burch ◽

K.L. McMillan

Keyword(s):

Don't Cares

Download Full-text

Statistical Estimation Of The Cumulative Distribution Function For Power Dissipation In VLSI Circuits

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597175 ◽

2005 ◽

Cited By ~ 3

Author(s):

Chih-Shun Ding ◽

Qing Wu ◽

Cheng-Ta Hsieh ◽

M. Pedram

Keyword(s):

Distribution Function ◽

Power Dissipation ◽

Statistical Estimation ◽

Cumulative Distribution Function ◽

Vlsi Circuits ◽

Cumulative Distribution

Download Full-text

Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597148 ◽

2005 ◽

Cited By ~ 9

Author(s):

T. Amon ◽

G. Borriello ◽

Taokuan Hu ◽

Jiwen Liu

Keyword(s):

Timing Verification ◽

Timing Diagrams

Download Full-text

Panel: Physical Design And Synthesis: Merge Or Die

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597150 ◽

2005 ◽

Cited By ~ 3

Author(s):

M. Pedram

Keyword(s):

Physical Design ◽

Design And Synthesis

Download Full-text

System-level Synthesis Of Low-power Hard Real-time Systems

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597234 ◽

2005 ◽

Cited By ~ 30

Author(s):

D. Kirovski ◽

M. Potkonjak

Keyword(s):

Low Power ◽

Real Time ◽

System Level ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

A Network Flow Approach For Hierarchical Tree Partitioning

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597200 ◽

2005 ◽

Author(s):

Ming-Ter Kuo ◽

Chung-Kuan Cheng

Keyword(s):

Network Flow ◽

Hierarchical Tree

Download Full-text

Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597241 ◽

2005 ◽

Cited By ~ 25

Author(s):

G. Cabodi ◽

P. Camurati ◽

L. Lavagno ◽

S. Quer

Download Full-text

Linear Sifting Of Decision Diagrams

Proceedings of the 34th Design Automation Conference ◽

10.1109/dac.1997.597144 ◽

2005 ◽

Cited By ~ 11

Author(s):

C. Meinel ◽

F. Somenzi ◽

T. Theobald

Keyword(s):

Decision Diagrams

Download Full-text

Proceedings of the 34th Design Automation ConferenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Optimizing Designs Containing Black Boxes

ISDL: An Instruction Set Description Language For Retargetability

Safe BDD Minimization Using Don't Cares

Statistical Estimation Of The Cumulative Distribution Function For Power Dissipation In VLSI Circuits

Symbolic Timing Verification Of Timing Diagrams Using Presburger Formulas

Panel: Physical Design And Synthesis: Merge Or Die

System-level Synthesis Of Low-power Hard Real-time Systems

A Network Flow Approach For Hierarchical Tree Partitioning

Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits

Linear Sifting Of Decision Diagrams

Proceedings of the 34th Design Automation Conference
Latest Publications