24th ACM/IEEE conference proceedings on Design automation conference - DAC '87
Latest Publications

TOTAL DOCUMENTS

128

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0818607815

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Routing with a scanning window-8Ma unified approach

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.37987 ◽

1987 ◽

Cited By ~ 3

Author(s):

D. Kaplan

Keyword(s):

Unified Approach ◽

Scanning Window

Knowledge based approach for the verification of CAD database generated by an automated schematic capture system

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.38002 ◽

1987 ◽

Cited By ~ 1

Author(s):

J. Y. Tou ◽

W. H. Ki ◽

K. C. Fan ◽

C. L. Huang

Keyword(s):

Knowledge Based

Logic verification algorithms and their parallel implementation

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.37931 ◽

1987 ◽

Cited By ~ 31

Author(s):

H.-K. T. Ma ◽

S. Devadas ◽

A. Sangiovanni-Vincentelli ◽

R. Wei

Keyword(s):

Parallel Implementation ◽

Verification Algorithms ◽

Logic Verification

The IBM VHDL design system

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.37960 ◽

1987 ◽

Cited By ~ 18

Author(s):

L. F. Saunders

Keyword(s):

Design System

A case study in silicon compilation software engineering, HVDEV high voltage device layout generator

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.37900 ◽

1987 ◽

Cited By ~ 5

Author(s):

N. J. Elias

Keyword(s):

Software Engineering ◽

High Voltage ◽

Silicon Compilation

A rule-based placement system for printed wiring boards

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.38011 ◽

1987 ◽

Cited By ~ 5

Author(s):

G. Odawara ◽

T. Hamuro ◽

K. Iijima ◽

T. Yoshino ◽

Y. Dai

Keyword(s):

Printed Wiring Boards ◽

Rule Based

Performance of a parallel algorithm for standard cell placement on the Intel hypercube

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.38015 ◽

1987 ◽

Cited By ~ 18

Author(s):

M. Jones ◽

P. Banerjee

Keyword(s):

Parallel Algorithm ◽

Standard Cell ◽

Cell Placement

LCS---a leaf cell synthesizer employing formal deduction techniques

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.37956 ◽

1987 ◽

Cited By ~ 1

Author(s):

P. A. Subrahmanyam

Keyword(s):

Leaf Cell

A practical moat router

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.37921 ◽

1987 ◽

Cited By ~ 7

Author(s):

R. K. McGehee

Design automation standards need integration

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87 ◽

10.1145/37888.37972 ◽

1987 ◽

Author(s):

L O'Connell

Keyword(s):

Design Automation

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Routing with a scanning window-8Ma unified approach

Knowledge based approach for the verification of CAD database generated by an automated schematic capture system

Logic verification algorithms and their parallel implementation

The IBM VHDL design system

A case study in silicon compilation software engineering, HVDEV high voltage device layout generator

A rule-based placement system for printed wiring boards

Performance of a parallel algorithm for standard cell placement on the Intel hypercube

LCS---a leaf cell synthesizer employing formal deduction techniques

A practical moat router

Design automation standards need integration

24th ACM/IEEE conference proceedings on Design automation conference - DAC '87
Latest Publications