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

TOTAL DOCUMENTS

311

(FIVE YEARS 0)

H-INDEX

34

(FIVE YEARS 0)

Published By ACM

1581132972

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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):

Download Full-text

An approach to incremental design of distributed embedded systems

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

10.1109/dac.2001.935551 ◽

2002 ◽

Author(s):

P. Pop ◽

P. Eles ◽

T. Pop ◽

Z. Peng

Keyword(s):

Embedded Systems ◽

Distributed Embedded Systems ◽

Incremental Design

Download Full-text

Dynamic detection and removal of inactive clauses in SAT with application in image computation

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

10.1109/dac.2001.935566 ◽

2002 ◽

Author(s):

A. Gupta ◽

A. Gupta ◽

Z. Yang ◽

P. Ashar

Keyword(s):

Dynamic Detection ◽

Image Computation

Download Full-text

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 ◽

Author(s):

M.N. Velev ◽

R.E. Bryant

Keyword(s):

Formal Verification ◽

Boolean Satisfiability ◽

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

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 ◽

Author(s):

Liang-Chi Chen ◽

S.K. Gupta ◽

M.A. Breuer

Keyword(s):

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):

Download Full-text