Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91
Latest Publications

TOTAL DOCUMENTS

138

(FIVE YEARS 0)

H-INDEX

32

(FIVE YEARS 0)

Published By ACM Press

0897913957

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A new approach to hierarchical adaptation using sequence-control based on cell interactions

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127758 ◽

1991 ◽

Author(s):

Matthias C. Utesch

Keyword(s):

Cell Interactions ◽

Download Full-text

Breadth-first manipulation of SBDD of Boolean functions for vector processing

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127704 ◽

1991 ◽

Author(s):

Hiroyuki Ochi ◽

Nagisa Ishiura ◽

Shuzo Yajima

Keyword(s):

Boolean Functions ◽

Vector Processing

Download Full-text

Bottom up synthesis based on fuzzy schedules

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127749 ◽

1991 ◽

Author(s):

Tai A. Ly ◽

Jack T. Mowchenko

Keyword(s):

Download Full-text

Modeling and simulation of high-frequency integrated circuits based on scattering parameters

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127764 ◽

1991 ◽

Author(s):

A. T. Yang ◽

C. H. Chan ◽

J. T. Yao ◽

R. R. Daniels ◽

J. P. Harrang

Keyword(s):

Integrated Circuits ◽

Modeling And Simulation ◽

High Frequency ◽

Scattering Parameters

Download Full-text

Formal hardware verification by symbolic ternary trajectory evaluation

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127701 ◽

1991 ◽

Author(s):

Randal E. Bryant ◽

Derek L. Beatty ◽

Carl-Johan H. Seger

Keyword(s):

Hardware Verification

Download Full-text

Placement for clock period minimization with multiple wave propagation

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127742 ◽

1991 ◽

Author(s):

Donald A. Joy ◽

Maciej J. Ciesielski

Keyword(s):

Wave Propagation ◽

Clock Period ◽

Download Full-text

A global router using an efficient approximate multicommodity multiterminal flow algorithm

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127687 ◽

1991 ◽

Author(s):

Robert C. Carden ◽

Chung-Kuan Cheng

Keyword(s):

Download Full-text

Efficient transient simulation of lossy interconnect

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127762 ◽

1991 ◽

Author(s):

Jaijeet S. Roychowdhury ◽

Donald O. Pederson

Keyword(s):

Transient Simulation

Download Full-text

Robust delay-fault test generation and synthesis for testability under a standard scan design methodology

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127632 ◽

1991 ◽

Author(s):

Kwang-Ting Cheng ◽

Srinivas Devadas ◽

Kurt Keutzer

Keyword(s):

Test Generation ◽

Design Methodology ◽

Scan Design ◽

Synthesis For Testability ◽

Download Full-text

Scheduling for functional pipelining and loop winding

Proceedings of the 28th conference on ACM/IEEE design automation conference - DAC '91 ◽

10.1145/127601.127766 ◽

1991 ◽

Author(s):

Cheng-Tsung Hwang ◽

Yu-Chin Hsu ◽

Youn-Long Lin

Download Full-text