- D. J. Garvin:
Observations of a CAD user (Position Paper). DAC 1980: 519 - Norbert Giambiasi, A. Miara, D. Muriach:
Methods for generalized deductive fault simulation. DAC 1980: 386-392 - Prabhakar Goel:
Test generation costs analysis and projections. DAC 1980: 77-84 - Lawrence H. Goldstein, Evelyn L. Thigpen:
SCOAP: Sandia controllability/observability analysis program. DAC 1980: 190-196 - John M. Gould, Teddy M. Edge:
The standard transistor array (STAR): Part I A two-layer metal semicustom design system. DAC 1980: 108-113 - John Grason, Andrew W. Nagle:
Digital test generation and design for testability. DAC 1980: 175-189 - Charles W. Gwyn:
Design automation trends for VLSI in the 1980s (Position Statement). DAC 1980: 340 - Jerrier A. Haddad:
Keynote speaker. DAC 1980: 2 - Paul R. Hanau, David R. Lenorovitz:
A prototyping and simulation approach to interactive computer system design. DAC 1980: 572-578 - Edwin B. Hassler Jr.:
Chairman's introduction. DAC 1980: 1 - Walter Heyns, Willy Sansen, Herman Beke:
A line-expansion algorithm for the general routing problem with a guaranteed solution. DAC 1980: 243-249 - David W. Hightower, Robert L. Boyd:
A generalized channel router. DAC 1980: 12-21 - R. M. Jacobs:
Design automation and VLSI in the 80's (Position Statement). DAC 1980: 341 - V. Jayakumar:
A data structure for interactive placement of rectangular objects. DAC 1980: 237-242 - Mark G. Karpovsky, Stephen Y. H. Su:
Detecting bridging and stuck-at faults at input and output pins of standard digital components. DAC 1980: 494-505 - Jin H. Kim, Daniel P. Siewiorek:
Issues in IC implementation of high level, abstract designs. DAC 1980: 85-91 - George M. Koppelman, Klim Maling:
Verifying deep logic hierarchies with ALEX. DAC 1980: 328-335 - Ulrich Lauther:
A data structure for gridless routing. DAC 1980: 603-609 - Benjamin Lee:
Design tools for VLSI (Position Statement). DAC 1980: 342 - Sany M. Leinwand, T. Lamdan:
Algebraic analysis of nondeterministic behavior. DAC 1980: 483-493 - Michael J. Lorenzetti, Robert J. Smith:
An implementation of a saturated zone multi-layer printed circuit board router. DAC 1980: 255-262 - Paul Losleben:
The real world of design automation - part III or The user's viewpoint chairman's introduction (Panel Discussion). DAC 1980: 516 - Frank Luebbert, Mike Ulrey:
Gate assignment and pack placement: Two approaches compared. DAC 1980: 472-482 - John B. Macdonald, Mary K. Podlecki, Milt J. Pappas:
Technical documentation by "MAGIC" (Machine Aided Graphics for Illustration and Composition. DAC 1980: 440-445 - Felix P. Mallmann:
The management of engineering changes using the PRIMUS system. DAC 1980: 348-361 - Carl R. McCaw:
Design automation and VLSI in the 80's (Panel Discussion). DAC 1980: 336-337 - Edward J. McGrath, Telle Whitney:
Design integrity and immunity checking: A new look at layout verification and design rule checking. DAC 1980: 263-268 - Thomas M. McWilliams:
Verification of timing constraints on large digital systems. DAC 1980: 139-147 - Jacob M. Miller:
Inter-active graphic methods for automating mechanical engineering design and analyses. DAC 1980: 114-128 - Takashi Mitsuhashi, Toshiaki Chiba, Makoto Takashima, Kenji Yoshida:
An integrated mask artwork analysis system. DAC 1980: 277-284