Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)
Latest Publications

TOTAL DOCUMENTS

311

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM

1581132972

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935509 ◽

2002 ◽

Cited By ~ 39

Author(s):

M.N. Velev ◽

R.E. Bryant

Keyword(s):

Formal Verification ◽

Boolean Satisfiability ◽

Effective Use

Download Full-text

Power-aware scheduling under timing constraints for mission-critical embedded systems

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935622 ◽

2002 ◽

Author(s):

Jinfeng Liu ◽

P.H. Chou ◽

N. Bagherzadeh ◽

F. Kurdahi

Keyword(s):

Embedded Systems ◽

Timing Constraints ◽

Mission Critical ◽

Power Aware Scheduling

Download Full-text

Improving bus test via I/sub DDT/ and boundary scan

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935525 ◽

2002 ◽

Author(s):

Shih-Yu Yang ◽

C.A. Papachristou ◽

M. Taib-Azar

Keyword(s):

Boundary Scan

Download Full-text

Simulation-based test algorithm generation and port scheduling for multi-port memories

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935524 ◽

2002 ◽

Author(s):

Chi-Feng Wu ◽

Chih-Tsun Huang ◽

Kuo-Liang Cheng ◽

Chih-Wea Wang ◽

Cheng-Wen Wu

Keyword(s):

Simulation Based ◽

Test Algorithm ◽

Algorithm Generation

Download Full-text

A new gate delay model for simultaneous switching and its applications

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935522 ◽

2002 ◽

Cited By ~ 1

Author(s):

Liang-Chi Chen ◽

S.K. Gupta ◽

M.A. Breuer

Keyword(s):

Gate Delay ◽

Delay Model ◽

Simultaneous Switching

Download Full-text

One-chip Bluetooth ASIC challenges

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935516 ◽

2002 ◽

Author(s):

P.T.M. van Zeijl

Download Full-text

Simultaneous shield insertion and net ordering under explicit RLC noise constraint

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935504 ◽

2002 ◽

Author(s):

K.M. Lepak ◽

I. Luwandi ◽

Lei He

Download Full-text

Creating and exploiting flexibility in Steiner trees

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935503 ◽

2002 ◽

Author(s):

E. Bozorgzadeh ◽

R. Kastner ◽

M. Sarrafzadeh

Keyword(s):

Steiner Trees

Download Full-text

A quick safari through the reconfiguration jungle

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935499 ◽

2002 ◽

Author(s):

P. Schaumont ◽

I. Verbauwhede ◽

K. Keutzer ◽

M. Sarrafzadeh

Download Full-text

Behavioral partitioning in the synthesis of mixed analog-digital systems

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) ◽

10.1109/dac.2001.935491 ◽

2002 ◽

Cited By ~ 1

Author(s):

S. Ganesan ◽

R. Vemuri

Keyword(s):

Digital Systems

Download Full-text

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors

Power-aware scheduling under timing constraints for mission-critical embedded systems

Improving bus test via I/sub DDT/ and boundary scan

Simulation-based test algorithm generation and port scheduling for multi-port memories

A new gate delay model for simultaneous switching and its applications

One-chip Bluetooth ASIC challenges

Simultaneous shield insertion and net ordering under explicit RLC noise constraint

Creating and exploiting flexibility in Steiner trees

A quick safari through the reconfiguration jungle

Behavioral partitioning in the synthesis of mixed analog-digital systems

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)
Latest Publications