| 1982 | A "greedy" channel router. Ronald L. Rivest, Charles M. Fiduccia |
| 1982 | A "non-restrictive" artwork verification program for printed circuit boards. David Kaplan |
| 1982 | A Deterministic finite automaton approach to design rule checking for VLSI. R. Alan Eustace, Amar Mukhopadhyay |
| 1982 | A bus router for IC layout. Margaret Lie, Chi-Song Horng |
| 1982 | A combined force and cut algorithm for hierarchical VLSI layout. G. J. Wipfler, Manfred Wiesel, Dieter A. Mlynski |
| 1982 | A consideration of the number of horizontal grids used in the routing of a masterslice layout. Masayuki Terai, Hajime Kanada, Koji Sato, Toshihiko Yahara |
| 1982 | A database approach for managing VLSI design data. Randy H. Katz |
| 1982 | A database management system for design engineers. Jack Bennett |
| 1982 | A depth-first branch-and-bound algorithm for optimal PLA folding. Werner Grass |
| 1982 | A design methodology based upon symbolic layout and integrated cad tools. A. M. Beyls, B. Hennion, Jacques Lecourvoisier, Guy Mazaré, Alain Puissochet |
| 1982 | A design system approach to data integrity. William A. Noon, Ken N. Robbins, M. Ted Roberts |
| 1982 | A fault simulation methodology for VLSI. John P. Hayes |
| 1982 | A fault simulator for MOS LSI circuits. Ajoy K. Bose, Patrick Kozak, Chi-Yuan Lo, Hao N. Nham, Ernesto Pacas-Skewes, Kwok W. Wu |
| 1982 | A formal method for computer design verification. Vijay Pitchumani, Edward P. Stabler |
| 1982 | A functional level modelling language for digital simulation. P. J. DesMarais, E. S. Y. Shew, Philip S. Wilcox |
| 1982 | A hardware assisted design rule check architecture. Larry Seiler |
| 1982 | A hardware description language for processor based digital systems. James H. Tracey, Kovvali Surya Kumar |
| 1982 | A hybrid CAD/CAM system for mechanical applications. Jeffrey Z. Gingerich, Michael P. Carroll, E. J. Chelius, Po-Kuan Lu |
| 1982 | A language for a scientific and engineering database system. Ted M. Sparr |
| 1982 | A layout synthesis system for NMOS gate-cells. Joseph F. P. Luhukay, William J. Kubitz |
| 1982 | A layout system for high precision design of progressive die. Kazuyuki Inoue, Masahiko Adachi, Toru Funayama |
| 1982 | A linear-time heuristic for improving network partitions. Charles M. Fiduccia, Robert M. Mattheyses |
| 1982 | A logic minimizer for VLSI PLA design. Bill Teel, Doran Wilde |
| 1982 | A logic simulation machine. Miron Abramovici, Ytzhak H. Levendel, Prem R. Menon |
| 1982 | A low cost, transportable, data management system for LSI/VLSI design. David C. Smith, Barry S. Wagner |
| 1982 | A minimum-impact routing algorithm. Kenneth J. Supowit |
| 1982 | A new two-dimensional routing algorithm. Chi-Ping Hsu |
| 1982 | A placement algorithm for polycell LSI and ITS evaluation. Takashi Kambe, Toru Chiba, Seiji Kimura, Tsuneo Inufushi, Noboru Okuda, Ikuo Nishioka |
| 1982 | A retrospective on software engineering in design automation. Lawrence A. O'Neill |
| 1982 | A survey of the state-of-the-art of design automation an invited presentation. Melvin A. Breuer |
| 1982 | A symbolic design system for integrated circuits. Kenneth H. Keller, A. Richard Newton, S. Ellis |
| 1982 | A user interface for architectural design, a case study. Gregory John Glass |
| 1982 | A utilitarian approach to CAD. T. J. Thompson |
| 1982 | A verification technique for hardware designs. Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito |
| 1982 | ALI: A procedural language to describe VLSI layouts. Richard J. Lipton, Stephen C. North, Robert Sedgewick, Jacobo Valdes, Gopalakrishnan Vijayan |
| 1982 | An Interactive Simulation System for structured logic design - ISS. Takeshi Sakai, Yoshiyuki Tsuchida, Hiroto Yasuura, Yasushi Ooi, Yoshitsugu Ono, Hiroshi Kano, Shinji Kimura, Shuzo Yajima |
| 1982 | An analytical method for compacting routing area in integrated circuits. Maciej J. Ciesielski, Edwin Kinnen |
| 1982 | An efficient variable-cost maze router. Robert K. Korn |
| 1982 | An enhancement of lssd to reduce test pattern generation effort and increase fault coverage. Kewal K. Saluja |
| 1982 | An interactive drafting system based on two dimensional primitives. G. Cosmai, Umberto Cugini, Piero Mussio, Amri Napolitano |
| 1982 | An interactive logic synthesis system based upon AI techniques. Nobuaki Kawato, Takao Uehara, Sadaki Hirose, Takao Saito |
| 1982 | An interactive testability analysis program - ITTAP. Deepak K. Goel, Robert M. McDermott |
| 1982 | Arbitrarily-sized module location technique in the lop system. Gotaro Odawara, Kazuhiko Iijima, Tetsuro Kiyomatsu |
| 1982 | Auto-delay: A program for automatic calculation of delay in LSI/VLSI chips. Rathin Putatunda |
| 1982 | Automated conversion of design data for building the IBM 3081. Vincent J. Freund Jr., J. A. Guerin |
| 1982 | Automated layout in ASHLAR: An approach to the problems of "General Cell" layout for VLSI. James E. Hassett |
| 1982 | Automated partitioning of hierarchically specified digital systems. Thomas S. Payne, William M. van Cleemput |
| 1982 | Automated rip-up and reroute techniques. William A. Dees Jr., Patrick G. Karger |
| 1982 | Automatic floorplan design. Ralph H. J. M. Otten |
| 1982 | Automatic generation of microprocessor test programs. Catherine Bellon, A. Liothin, Sylvain Sadier, Gabriele Saucier, Raoul Velazco, Francois Grillot, M. Issenman |
| 1982 | Aw expanded logic equation list for checkout. Robert P. Larsen, James Allen Luisi, A. K. Singh |
| 1982 | CGALA-a multi technology Gate Array Layout system. Lee F. Todd, J. M. Hansen, S. V. Pantulu, John L. Barron, D. J. Gilbert, R. J. Anderson, A. K. Biyani |
| 1982 | Cellular image processing techniques for VLSI circuit layout validation and routing. Trevor N. Mudge, Rob A. Rutenbar, Robert M. Lougheed, Daniel E. Atkins |
| 1982 | Computer system design description. Yaohan Chu |
| 1982 | DORA: : CAD interface to automatic diagnostics. R. W. Allen, M. M. Ervin-Willis, Rodham E. Tulloss |
| 1982 | Defining and implementing a multilevel design representation with simulation applications. John A. Nestor, Donald E. Thomas |
| 1982 | Design automation algorithms: Research and applications. Richard J. Lipton, J. Daniel Nash |
| 1982 | Design for testability. Thomas W. Williams |
| 1982 | Design of a graphic processor for computer-aided drafting. Clive K. Liu, Charles M. Eastman |
| 1982 | Design of command menus for CAD systems. Lynne A. Price |
| 1982 | Design verification system for large-scale LSI designs. Michael Monachino |
| 1982 | Designer's Workbench: Delivery of cad tools. Robert Alan Friedenson, J. R. Breiland, T. J. Thompson |
| 1982 | Designing gate arrays using a silicon compiler. John P. Gray, Irene Buchanan, Peter Salkeld Robertson |
| 1982 | Developments in logic network path delay analysis. Lionel Bening, Thomas A. Lane, Curtis R. Alexander, James E. Smith |
| 1982 | Digital logic modeling system based on MODLAN. Adam Pawlak |
| 1982 | Distributed computation for design aids. Saul Yermie Levy |
| 1982 | Electronic Chip-in-Place Test. Prabhakar Goel, M. T. McMahon |
| 1982 | Evolution of the engineering design system data base. Jere L. Sanborn |
| 1982 | Experiments using interactive color raster graphics for CAD. Abe R. Shliferstein |
| 1982 | Formal semantics for the automated derivation of micro-code. Robert A. Mueller, Joseph Varghese |
| 1982 | Gate matrix layout of random control logic in a 32-bit CMOS CPU chip adaptable to evolving logic design. Sung-Mo Kang, Robert H. Krambeck, Hung-Fai Stephen Law |
| 1982 | Global wiring on a wire routing machine. Ravi Nair, Se June Hong, Sandy Liles, Ray Villani |
| 1982 | Hardware support for automatic routing. Erik Damm, H. Gethöffer |
| 1982 | Hierarchical top-down layout design method for VLSI chip. Tohru Adachi, Hitoshi Kitazawa, Mitsuyoshi Nagatani, Tsuneta Sudo |
| 1982 | IBM 3081 system overview and technology. Clive A. Collins |
| 1982 | ICAD/PCB: Integrated computer aided design system for printed circuit boards. Hiroshi Shiraishi, Mitsuo Ishii, Shoichi Kurita, Masaaki Nagamine |
| 1982 | Implication algorithms for MOS switch level functional macromodeling implication and testing. Michael R. Lightner, Gary D. Hachtel |
| 1982 | Important criteria in selecting engineering work stations. Fontaine Richardson |
| 1982 | Interactive design language: A unified approach to hardware simulation, synthesis and documentation. Leon I. Maissel, Daniel L. Ostapko |
| 1982 | LAMBDA: A quick, low cost layout design system for master-slice LSI s. Tsuneo Matsuda, Tomyyuki Fujita, K. Takamizawa, H. Mizumura, H. Nakamura, F. Kitajima, Satoshi Goto |
| 1982 | Logic simulation for LSI. Kazuyuki Hirakawa, Noboru Shiraki, Michiaki Muraoka |
| 1982 | Logical correctness by construction. Sany M. Leinwand |
| 1982 | Lyra: A new approach to geometric layout rule checking. Michael H. Arnold, John K. Ousterhout |
| 1982 | Making the wire frame solid. Donald Robbins |
| 1982 | Measurements of a VLSI design. John K. Ousterhout, David M. Ungar |
| 1982 | Modeling polyhedral solids bounded by multi-curved parametric surfaces. Yehuda E. Kalay |
| 1982 | Modular description/simulation/synthesis using DDL. Sajjan G. Shiva, J. A. Covington |
| 1982 | Object data structures towards distributed graphics processing. David Grabel |
| 1982 | On finding most optimal rectangular package plans. Klim Maling, Steven H. Mueller, William R. Heller |
| 1982 | On routing for custom integrated circuits. Zahir A. Syed, Abbas El Gamal, Melvin A. Breuer |
| 1982 | On routing two-point nets across a channel. Ron Y. Pinter |
| 1982 | Operational aspects of design automation for the IBM 3081. Robert F. Woodward |
| 1982 | Optimal bipartite folding of PLA. Jack R. Egan, C. L. Liu |
| 1982 | Optimal single row router. Raghunath Raghavan, Sartaj Sahni |
| 1982 | Optimum placement of two rectangular blocks. Mandalagiri S. Chandrasekhar, Melvin A. Breuer |
| 1982 | PAOLA: A tool for topological optimization of large PLAS. Samuel Chuquillanqui, Tomás Pérez Segovia |
| 1982 | Parametric pattern router. Tetsuo Asano |
| 1982 | Philo-a VLSI design system. Richard L. Donze, Jacob Sanders, Michael Jenkins, George Sporzynski |
| 1982 | Proceedings of the 19th Design Automation Conference, DAC '82, Las Vegas, Nevada, USA, June 14-16, 1982 James S. Crabbe, Charles E. Radke, Hillel Ofek |
| 1982 | Programs for verifying circuit connectivity of mos/lsi mask artwork. Makoto Takashima, Takashi Mitsuhashi, Toshiaki Chiba, Kenji Yoshida |
| 1982 | QCADS-a LSI CAD system for minicomputer. Xian-Long Hong, Ren-kung Yin, Xi-ling Liu |
| 1982 | Relax: A new circuit for large scale MOS integrated circuits. Ekachai Lelarasmee, Alberto L. Sangiovanni-Vincentelli |
| 1982 | Riot - a simple graphical chip assembly tool. Stephen Trimberger, James A. Rowson |
| 1982 | Robotics: The new automation tool. Harold R. Marcotte |
| 1982 | SAGA: An Experimental Silicon Assembler. Antoni A. Szepieniec |
| 1982 | Simplified data structure for "mini-based" turnkey CAD systems. Joseph Peled |
| 1982 | Software support for the Yorktown Simulation Engine. E. Kronstadt, Gregory F. Pfister |
| 1982 | Special purpose vs. general purpose hardware for da. T. H. Bruggere |
| 1982 | Speed and accuracy in digital network simulation based on structural modeling. Ernst G. Ulrich, Dennis Hebert |
| 1982 | Synchronous path analysis in MOS circuit simulator. Vishwani D. Agrawal |
| 1982 | Techniques for programmable logic array folding. Gary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1982 | Test generation for programmable logic arrays. Pradip Bose, Jacob A. Abraham |
| 1982 | Testing functional faults in VLSI. Yinghua Min, Stephen Y. H. Su |
| 1982 | The "PI" (placement and interconnect) system. Ronald L. Rivest |
| 1982 | The 1-2-3 routing algorithm or the single channel 2-step router on 3 interconnection layers. Walter Heyns |
| 1982 | The Yorktown Simulation Engine. Monty Denneau |
| 1982 | The Yorktown Simulation Engine: Introduction. Gregory F. Pfister |
| 1982 | The conlan project: Status and future plans. Robert Piloty, Dominique Borrione |
| 1982 | The excell method for efficient geometric access to data. Markku Tamminen, Reijo Sulonen |
| 1982 | The planar package planner for system designers. William R. Heller, Gregory B. Sorkin, Klim Maling |
| 1982 | The quad-CIF tree: A data structure for hierarchical on-line algorithms. Gershon Kedem |
| 1982 | Timing Verification and the Timing Analysis program. Robert B. Hitchcock Sr. |
| 1982 | Timing verification system based on delay time hierarchical nature. Minoru Nomura, Shinichi Sato, Nobuo Takano, Toshinori Aoyama, Akihiko Yamada |
| 1982 | Top down design and testability of VLSI circuits. Philippe Basset, Gabriele Saucier |
| 1982 | Toward CAM-oriented CAD. Farhad Arbab, Larry Lichten, Michel A. Melkanoff |
| 1982 | Towards VLSI complexity: The DA algorithm scaling problem: can special DA hardware help? H. G. Adshead |
| 1982 | Transmission gate modeling in an existing three-value simulator. Robert M. McDermott |
| 1982 | Two-dimensional channel routing and channel intersection problems. Manfred Wiesel, Dieter A. Mlynski |
| 1982 | VEEP A VEctor Editor and Preparer. Stacey J. Gelman |
| 1982 | VHSIC HDL. James B. Rawlings |
| 1982 | VLSI design methodology workshop. J. Daniel Nash |
| 1982 | Verification testing. Edward J. McCluskey |
| 1982 | Workshop - industrial robotics. Hriday R. Prasad |