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

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

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

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

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

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

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

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

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

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

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