Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99
Latest Publications

TOTAL DOCUMENTS

181

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581331097

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MEMS CAD beyond multi-million transistors (panel)

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.309993 ◽

1999 ◽

Author(s):

Albert P. Pisano ◽

Nicholas Swart ◽

Mike Horton ◽

John Rychcik ◽

John R. Gilbert ◽

...

Download Full-text

Formal verification using parametric representations of Boolean constraints

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.309968 ◽

1999 ◽

Cited By ~ 21

Author(s):

Mark D. Aagaard ◽

Robert B. Jones ◽

Carl-Johan H. Serger

Keyword(s):

Formal Verification

Download Full-text

Built-in test sequence generation for synchronous sequential circuits based on loading and expansion of test subsequences

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.310052 ◽

1999 ◽

Author(s):

Irith Pomeranz ◽

Sudhakar M. Reddy

Keyword(s):

Sequential Circuits ◽

Test Sequence ◽

Sequence Generation ◽

Synchronous Sequential Circuits ◽

Test Sequence Generation

Download Full-text

An efficient Lyapunov equation-based approach for generating reduced-order models of interconnect

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.309848 ◽

1999 ◽

Cited By ~ 31

Author(s):

Jing-Rebecca Li ◽

Frank Wang ◽

Jacob K. White

Keyword(s):

Lyapunov Equation ◽

Reduced Order Models ◽

Reduced Order

Download Full-text

Dynamic fault diagnosis on reconfigurable hardware

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.310029 ◽

1999 ◽

Cited By ~ 3

Author(s):

Fatih Kocan ◽

Daniel G. Saab

Keyword(s):

Fault Diagnosis ◽

Reconfigurable Hardware ◽

Dynamic Fault Diagnosis

Download Full-text

Genetic list scheduling algorithm for scheduling and allocation on a loosely coupled heterogeneous multiprocessor system

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.309931 ◽

1999 ◽

Cited By ~ 12

Author(s):

Martin Grajcar

Keyword(s):

Scheduling Algorithm ◽

Multiprocessor System ◽

List Scheduling ◽

Loosely Coupled ◽

Heterogeneous Multiprocessor

Download Full-text

IC analyses including extracted inductance models

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.310098 ◽

1999 ◽

Cited By ~ 3

Author(s):

Michael W. Beattie ◽

Lawrence T. Pileggi

Download Full-text

Design strategy of on-chip inductors for highly integrated RF systems

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.310110 ◽

1999 ◽

Cited By ~ 7

Author(s):

C. Patrick Yue ◽

S. Simon Wong

Keyword(s):

Design Strategy ◽

Rf Systems ◽

On Chip

Download Full-text

The Jini architecture

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.309906 ◽

1999 ◽

Cited By ~ 12

Author(s):

Ken Arnold

Download Full-text

Embedded application design using a real-time OS

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 ◽

10.1145/309847.310566 ◽

1999 ◽

Cited By ~ 4

Author(s):

David Stepner ◽

Nagarajan Rajan ◽

David Hui

Keyword(s):

Real Time ◽

Embedded Application ◽

Application Design

Download Full-text

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

MEMS CAD beyond multi-million transistors (panel)

Formal verification using parametric representations of Boolean constraints

Built-in test sequence generation for synchronous sequential circuits based on loading and expansion of test subsequences

An efficient Lyapunov equation-based approach for generating reduced-order models of interconnect

Dynamic fault diagnosis on reconfigurable hardware

Genetic list scheduling algorithm for scheduling and allocation on a loosely coupled heterogeneous multiprocessor system

IC analyses including extracted inductance models

Design strategy of on-chip inductors for highly integrated RF systems

The Jini architecture

Embedded application design using a real-time OS

Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99
Latest Publications