| 1980 | A "grid-free" channel router. Koji Sato, Hiroyoshi Shimoyama, Takao Nagai, Masaru Ozaki, Toshihiko Yahara |
| 1980 | A CAD user's perspective what gets done right wrong and not at all (Position Paper). R. A. Armstrong |
| 1980 | A contemporary perspective on design automation and VLSI in the 80's (Position Statement). Jonathan Allen |
| 1980 | A data structure for gridless routing. Ulrich Lauther |
| 1980 | A data structure for interactive placement of rectangular objects. V. Jayakumar |
| 1980 | A fast maze router with iterative use of variable search space restriction. Fumiya Tada, Kiyoshi Yoshimura, Takashi Kagata, Takeyoshi Shirakawa |
| 1980 | A generalized channel router. David W. Hightower, Robert L. Boyd |
| 1980 | A hierarchical approach for layout versus circuit consistency check. Shiu-Ping Chao, Yen-Son Huang, Lap Man Yam |
| 1980 | A hierarchical approach for layout versus circuit consistency check. Shiu-Ping Chao, Yen-Son Huang, Lap Man Yam |
| 1980 | A hierarchical bit-map format for the representation of IC mask data. James A. Wilmore |
| 1980 | A layout system for the random logic portion of MOS LSI. Isao Shirakawa, Noboru Okuda, Takashi Harada, Sadahiro Tani, Hiroshi Ozaki |
| 1980 | A line-expansion algorithm for the general routing problem with a guaranteed solution. Walter Heyns, Willy Sansen, Herman Beke |
| 1980 | A mixed-mode simulator. Vishwani D. Agrawal, Ajoy K. Bose, Patrick Kozak, Hao N. Nham, Ernesto Pacas-Skewes |
| 1980 | A multiple delay simulator for MOS LSI circuits. Hao N. Nham, Ajoy K. Bose |
| 1980 | A new look at logic synthesis. John A. Darringer, William H. Joyner Jr. |
| 1980 | A new test pattern generation system. Yacoub M. El-Ziq |
| 1980 | A prestructuring model for system arrangement problems. Keiichi Sato, Charles L. Owen |
| 1980 | A prototyping and simulation approach to interactive computer system design. Paul R. Hanau, David R. Lenorovitz |
| 1980 | A survey of space allocation algorithms in use in architectural design in the past twenty years. Robert Simpson Frew |
| 1980 | A tool to support design automation in batch manufacturing. Gregory L. Smith, Sharon A. Stephens, Leonard L. Tripp, Wayne L. Warren |
| 1980 | Alex: A conversational, hierarchical logic design system. Keith A. Duke, Klim Maling |
| 1980 | Algebraic analysis of nondeterministic behavior. Sany M. Leinwand, T. Lamdan |
| 1980 | An IC design station needs a high performance color graphic display. Neil Weste, Bryan D. Ackland |
| 1980 | An Interactive Graphics System for custom design. P. Carmody, A. M. Barone, J. K. Morrell, A. Weiner, John L. Hennessy |
| 1980 | An accurate functional level concurrent fault simulator. Manuel A. d'Abreu, Edward W. Thompson |
| 1980 | An automatic routing system for high density multilayer printed wiring boards. Ikuo Nishioka, Takuji Kurimoto, Hisao Nishida, Seiji Yamamoto, Toru Chiba, Toshiaki Nagakawa, Takatsugu Fujioka, Masashi Uchino |
| 1980 | An implementation of a saturated zone multi-layer printed circuit board router. Michael J. Lorenzetti, Robert J. Smith |
| 1980 | An integrated CAD system for architecture. B. T. David |
| 1980 | An integrated mask artwork analysis system. Takashi Mitsuhashi, Toshiaki Chiba, Makoto Takashima, Kenji Yoshida |
| 1980 | An interactive test data system for LSI production testing. H. D. Schnurmann, R. M. Peters |
| 1980 | An optimized ATPG. Samiha Mourad |
| 1980 | An over-the-cell router. David N. Deutsch, Paul Glick |
| 1980 | Automatic design with dependence graphs. Albert E. Casavant, Daniel D. Gajski, David J. Kuck |
| 1980 | Automation of design for uncommitted logic array. Frank R. Ramsay |
| 1980 | Automation of sheet metal design and manufacturing. David W. Currier |
| 1980 | Cell map representation for hierarchical layout. Jirí Soukup, J. Royle |
| 1980 | Chairman's introduction. Edwin B. Hassler Jr. |
| 1980 | Combinational logic synthesis from an HDL description. Sajjan G. Shiva |
| 1980 | Comet - a fast component placer. Valerie K. Smith, Robert J. Smith, Phil A. Preston |
| 1980 | Complexity theory and design automation. Wilm E. Donath |
| 1980 | Computer-aided assignment of manufacturing tolerances. Arvind M. Patel |
| 1980 | Design automation and VLSI in the 80's (Panel Discussion). Carl R. McCaw |
| 1980 | Design automation and VLSI in the 80's (Position Statement). R. M. Jacobs |
| 1980 | Design automation at a large architect-engineer. E. F. Chelotti, D. P. Bossie |
| 1980 | Design automation trends for VLSI in the 1980s (Position Statement). Charles W. Gwyn |
| 1980 | Design integrity and immunity checking: A new look at layout verification and design rule checking. Edward J. McGrath, Telle Whitney |
| 1980 | Design process analysis: A measurement and analysis technique. Kenneth D. Yates |
| 1980 | Design tools for VLSI (Position Statement). Benjamin Lee |
| 1980 | Desisn automation and VLSI in the 80's (Position Statement). Steve Sapiro |
| 1980 | Detecting bridging and stuck-at faults at input and output pins of standard digital components. Mark G. Karpovsky, Stephen Y. H. Su |
| 1980 | Developments in verification of design correctness (A Tutorial). Wendell E. Cory, William M. van Cleemput |
| 1980 | Digital test generation and design for testability. John Grason, Andrew W. Nagle |
| 1980 | Efficient placement and routing techniques for master slice LSI. Hiroshi Shiraishi, Fumiyasu Hirose |
| 1980 | Fault diagnosis based on effect-cause analysis: An introduction. Miron Abramovici, Melvin A. Breuer |
| 1980 | Functional level simulation at Raytheon. Dan C. Nash, Keith Russell, Paul Silverman, Mary Thiel |
| 1980 | Gate assignment and pack placement: Two approaches compared. Frank Luebbert, Mike Ulrey |
| 1980 | High-speed concurrent fault simulation with vectors and scalars. Ernst G. Ulrich, D. Lacy, N. Phillips, J. Tellier, M. Kearney, T. Elkind, R. Beaven |
| 1980 | Inter-active graphic methods for automating mechanical engineering design and analyses. Jacob M. Miller |
| 1980 | Interactive wiring system. Frank D. Skinner |
| 1980 | Issues in IC implementation of high level, abstract designs. Jin H. Kim, Daniel P. Siewiorek |
| 1980 | Justification and financial analysis for CAD. R. E. Powell |
| 1980 | Keynote speaker. Jerrier A. Haddad |
| 1980 | MIXS: A mixed level simulator for large digital system logic verification. Tohru Sasaki, Akihiko Yamada, Shunichi Kato, Terufumi Nakazawa, Kyoji Tomita, Nobuyoshi Nomizu |
| 1980 | Methods for generalized deductive fault simulation. Norbert Giambiasi, A. Miara, D. Muriach |
| 1980 | Observations of a CAD user (Position Paper). D. J. Garvin |
| 1980 | Optimization of the influence of problem modifications on given microprogrammed controllers. Günter Biehl, Werner Grass, P. S. Hall |
| 1980 | Position statement - CAD for VLSI. Sam Bala Daram |
| 1980 | Practical automated design of LSI for large computers. J. Philip Singleton, Nigel R. Crocker |
| 1980 | Proceedings of the 17th Design Automation Conference, DAC '80, Minneapolis, Minnesota, USA, June 23-25, 1980 Edwin B. Hassler Jr. |
| 1980 | SCOAP: Sandia controllability/observability analysis program. Lawrence H. Goldstein, Evelyn L. Thigpen |
| 1980 | SIDS (A Symbolic Interactive Design System). Dave Clary, Robert Kirk, Steve Sapiro |
| 1980 | SLIM-the translation of symbolic layouts into mask data. Alfred E. Dunlop |
| 1980 | Selecting and successfully implementing a turnkey computer graphics system. Frank W. Bliss, George M. Hyman |
| 1980 | System facilities for CAD databases. Charles M. Eastman |
| 1980 | Table lookup techniques for fast and flexible digital logic simulation. Ernst G. Ulrich |
| 1980 | Technical documentation by "MAGIC" (Machine Aided Graphics for Illustration and Composition. John B. Macdonald, Mary K. Podlecki, Milt J. Pappas |
| 1980 | Test generation costs analysis and projections. Prabhakar Goel |
| 1980 | The SLIDE simulator: A facility for the design and analysis of computer interconnections. Arthur H. Altman, Alice C. Parker |
| 1980 | The Standard Transistor Array (star) (Part II automatic cell placement techniques). Glenn W. Cox, Bill D. Carroll |
| 1980 | The VLSI design challenge of the 80's (Position Statement). A. Richard Newton |
| 1980 | The complexity of design automation problems. Sartaj Sahni, Atul Bhatt |
| 1980 | The design and implementation of fault insertion capabilities for ISPS. J. Duane Northcutt |
| 1980 | The electronics engineer's design station. D. E. Bering |
| 1980 | The evolution of design automation to meet the challanges of VLSI. Lawrence M. Rosenberg |
| 1980 | The genealogical approach to the layout problem. Antoni A. Szepieniec, Ralph H. J. M. Otten |
| 1980 | The incorporation of functional level element routines into an existing digital simulation system. Edward W. Thompson, Patrick G. Karger, W. R. Read Jr., Don Ross, John Smith, Richard von Blucher |
| 1980 | The interchange algorithms for circuit placement problems. L. C. Cote, Arvind M. Patel |
| 1980 | The management of engineering changes using the PRIMUS system. Felix P. Mallmann |
| 1980 | The real world of design automation - part III or The user's viewpoint chairman's introduction (Panel Discussion). Paul Losleben |
| 1980 | The standard transistor array (STAR): Part I A two-layer metal semicustom design system. John M. Gould, Teddy M. Edge |
| 1980 | The use of graphics processors for circuit design simulation at GTE AE Labs. Joe Dyer, Arijit Laha, Ernest J. Moran, William D. Smart |
| 1980 | VLSI - a challenge for system designers (Position Statement). Martin B. Roberts |
| 1980 | Verification of timing constraints on large digital systems. Thomas M. McWilliams |
| 1980 | Verifying deep logic hierarchies with ALEX. George M. Koppelman, Klim Maling |
| 1980 | Weaknesses of commercial data base management systems in engineering applications. Thomas Sidle |
| 1980 | Will your bridge stand the load? (Position Paper). A. E. Fitch |