| 1983 | "Minimizing PWB NC drilling". John D. Litke |
| 1983 | A data structure for MOS circuits. Chi-Yuan Lo, Hao N. Nham, Ajoy K. Bose |
| 1983 | A design verification methodology based on concurrent simulation and clock suppression. Ernst G. Ulrich |
| 1983 | A graphical tool for conceptual design of data base applications. Carlo Batini, C. Costa |
| 1983 | A layout verification system for analog bipolar integrated circuits. Erich Barke |
| 1983 | A logic design front-end for improved engineering productivity. Frank Rubin, Paul W. Horstmann |
| 1983 | A method of automatic data path synthesis. Charles Y. Hitchcock III, Donald E. Thomas |
| 1983 | A module interchange placement machine. Alexander Iosupovicz, Clarence King, Melvin A. Breuer |
| 1983 | A multiple media delay simulator for MOS LSI circuits. Kaoru Okazaki, Tomoko Moriya, Toshihiko Yahara |
| 1983 | A new channel routing problem. Hon Wai Leong, C. L. Liu |
| 1983 | A new integrated system for PLA testing and verification. Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto |
| 1983 | A new statistical model for gate array routing. Abbas El Gamal, Zahir A. Syed |
| 1983 | A placement algorithm for array processors. Dah-Juh Chyan, Melvin A. Breuer |
| 1983 | A topology for semicustom array-structured LSI devices, and their automatic customisation. P. Jennings |
| 1983 | A vertically integrated VLSI design environment. Jonathan B. Rosenberg, David G. Boyer, John A. Dallen, Stephen W. Daniel, Charles J. Poirier, John Poulton, C. Durward Rogers, Neil Weste |
| 1983 | ACE: A Circuit Extractor. Anoop Gupta |
| 1983 | APSS: An automatic PLA synthesis system. M. W. Stebnisky, M. J. McGinnis, Joseph C. Werbickas, Rathin Putatunda, A. Feller |
| 1983 | An algebra for logic strength simulation. Peter Flake, Philip Moorby, Gerry Musgrave |
| 1983 | An algorithm to compact a VLSI symbolic layout with mixed constraints. Yuh-Zen Liao, Chak-Kuen Wong |
| 1983 | An improved switch-level simulator for MOS circuits. Vijaya Ramachandran |
| 1983 | An interactive simulation facility for the evaluation of shared-resource architectures (Parallel ARchitecture SIMulator - PARSIM). John A. Board Jr., Peter N. Marinos |
| 1983 | An over-cell gate array channel router. Howard E. Krohn |
| 1983 | An overview of the design and verification subsystem of the Engineering Design System. Larry N. Dunn |
| 1983 | Aquarius: Logic simulation on an Engineering Workstation. Andrew Sangster, John Monahan |
| 1983 | Automatic batch processing in multilayer ceramic metallization. Neil DalCero |
| 1983 | Automatic layout for gate arrays with one layer of metal. Peter Robinson |
| 1983 | Automatic placement algorithms for high packing density V L S I. Tokinori Kozawa, Hidekazu Terai, Tatsuki Ishii, Michiyoshi Hayase, Chihei Miura, Yasushi Ogawa, Kuniaki Kishida, Norio Yamada, Yasuhiro Ohno |
| 1983 | Automatic routing of double layer gate arrays using a moving cursor. B. D. Prazic, M. A. Bozier |
| 1983 | Automating mask layout and specification panel session. Robert Brian Cutler |
| 1983 | BIMOS, an MOS oriented multi-level logic simulator. Piet Stevens, Guido Arnout |
| 1983 | Behavioral level transformation in the CMU-DA system. Robert A. Walker, Donald E. Thomas |
| 1983 | Binary Decision Diagrams: From abstract representations to physical implementations. Jose S. Metos, John V. Oldfield |
| 1983 | Bounds on the saved area ratio due to PLA folding. Wentai Liu, Daniel E. Atkins |
| 1983 | CAD/CAM - the foundation for Computer Integrated Manufacturing. Richard L. Simon |
| 1983 | CAF: A computer-assisted floorplanning tool. André Leblond |
| 1983 | Central DA and its role: An executive view. Robert J. Camoin |
| 1983 | Chip assemblers: Concepts and capabilities. Randy H. Katz, Shlomo Weiss |
| 1983 | Classes of diagnostic tests. Charles Paulson |
| 1983 | Computer Aided Programming. Paul Bassett |
| 1983 | Computer Aided Software Engineering (CASE). F. W. Day |
| 1983 | Computer Design Language - Version Munich (CDLM) a modern multi-level language. Winfried Hahn |
| 1983 | Computer-aided partitioning of behavioral hardware descriptions. Michael C. McFarland |
| 1983 | Consistency checking for MOS/VLSI circuits. Ning-Sang Chang, Ravi Apte |
| 1983 | Critical path tracing - an alternative to fault simulation. Miron Abramovici, Prem R. Menon, David T. Miller |
| 1983 | Design For Test Calculus: An algorithm for DFT rules checking. Dilip K. Bhavsar |
| 1983 | Design aids for the simulation of bipolar gate arrays. Patrick Kozak, Ajoy K. Bose, A. Gupta |
| 1983 | Design automation - lessons of the past, challenges for the future. John S. Mayo |
| 1983 | Design through transformation. J. B. Bendas |
| 1983 | Design/synthesis workshop session. J. Robert Logan |
| 1983 | Diagnosis of TCM failures in the IBM 3081 Processor complex. Nandakumar N. Tendolkar |
| 1983 | Edisim and Edicap: Graphical simulator interfaces. Dwight D. Hill |
| 1983 | Engineering Workstations: Tools or toys? Steve Sapiro |
| 1983 | Experiments with the SLIM Circuit Compactor. Ralph McGarity, Daniel P. Siewiorek |
| 1983 | Facet: A procedure for the automated synthesis of digital systems. Chia-Jeng Tseng, Daniel P. Siewiorek |
| 1983 | Formal design verification of digital systems. Anthony S. Wojcik |
| 1983 | Formal verification of a real-time hardware design. Zerksis D. Umrigar, Vijay Pitchumani |
| 1983 | Functional models for VLSI design. Roy L. Druian |
| 1983 | Functional simulation shortens the development cycle of a new computer. Raymond Cheng, Brian Griffin, Kun Katsumata, John Welsh |
| 1983 | Functional testing of digital systems. Kwok-Woon Lai, Daniel P. Siewiorek |
| 1983 | General river routing algorithm. Chi-Ping Hsu |
| 1983 | Graph-optimization techniques for IC layout and compaction. Gershon Kedem, Hiroyuki Watanabe |
| 1983 | HAL: A block level HArdware Logic simulator. Tohru Sasaki, Nobuhiko Koike, Kenji Ohmori, Kyoji Tomita |
| 1983 | HEX: An instruction-driven approach to feature extraction. Mark Hofmann, Ulrich Lauther |
| 1983 | HOPLA-PLA optimization and synthesis. Shmuel Wimer, N. Sharfman |
| 1983 | Heuristics for the Circuit Realization Problem. James Cohoon, Sartaj Sahni |
| 1983 | Hierarchical channel router. Michael Burstein, Richard N. Pelavin |
| 1983 | Hierarchical circuit extraction with detailed parasitic capacitance. Gary M. Tarolli, William J. Herman |
| 1983 | IBM FSD VLSI chip design methodology. K. Ahdoot, Rita R. Alvarodiaz, L. Crawley |
| 1983 | ILS - interactive logic simulator. Gregory D. Jordan, Brij B. Popli |
| 1983 | Importance of device independence to the CADCAM industry. James R. Warner |
| 1983 | Improved compaction by minimized length of wires. Werner L. Schiele |
| 1983 | Incorporating the human factor in color CAD systems. Francine S. Frome |
| 1983 | Integrated computer aided design, documentation and manufacturing system for PCB electronics. Mikko Tervonen, Hannu Lehikoinen, Timo Mukari |
| 1983 | Integration of solid modeling and data base management for CAD/CAM. Yung-Chia Lee, King-Sun Fu |
| 1983 | Internal connection problem in large optimized PLAs. Samuel Chuquillanqui |
| 1983 | Laying the power and ground wires on a VLSI chip. Anderew S. Moulton |
| 1983 | Linear ordering and application to placement. Sungho Kang |
| 1983 | MACH : a high-hitting pattern checker for VLSI mask data. Akira Tsukizoe, Jun'ya Sakemi, Tokinori Kozawa, Hiroshi Fukuda |
| 1983 | Measured performance of a programmed implementation of the subscripted D-Algorithm. C. Benmehrez, John F. McDonald |
| 1983 | Microprocessor systems modeling with MODLAN. Adam Pawlak |
| 1983 | Microprocessor systems modeling with MODLAN. Adam Pawlak |
| 1983 | N.mPc: A retrospective. Charles W. Rose, Greg M. Ordy, Frederic I. Parke |
| 1983 | On fault detection in CMOS logic networks. Kuang-Wei Chiang, Zvonko G. Vranesic |
| 1983 | Optimisation of global routing for the UK5000 gate array by iteration. C. O. Newton, Patricia A. Young |
| 1983 | Optimum reduction of programmable logic array. T. C. Hu, Yue-Sun Kuo |
| 1983 | PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays. Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli |
| 1983 | PRONTO: Quick PLA product reduction. Jorge Martínez-Carballido, V. Michael Powers |
| 1983 | Partitioning and placement technique for bus-structured PWB. Gotaro Odawara, Kazuhiko Iijima, Tetsuro Kiyomatsu |
| 1983 | Path delay analysis for hierarchical building block layout system. Eiji Tamura, Kimihiro Ogawa, Toshio Nakano |
| 1983 | Petri Net based search directing heuristics for test generation. E. Kofi Vida-Torku, Beverly Messick Huey |
| 1983 | Pictures with parentheses: Combining graphics and procedures in a VLSI layout tool. Robert N. Mayo, John K. Ousterhout |
| 1983 | Placement algorithms for custom VLSI. Kenneth J. Supowit, Eric A. Slutz |
| 1983 | Placement of circuit modules using a graph space approach. Kunio Fukunaga, Shoichiro Yamada, Harold S. Stone, Tamotsu Kasai |
| 1983 | Placement of irregular circuit elements on non-uniform gate arrays. Harold Kirk, P. D. Crowhurst, J. A. Skingley, J. Dan Bowman, G. L. Taylor |
| 1983 | Position paper role of technology design rules in Design Automation. Gayla J. Von Ehr |
| 1983 | Proceedings of the 20th Design Automation Conference, DAC '83, Miami Beach, Florida, USA, June 27-29, 1983 Charles E. Radke |
| 1983 | Program visualization: Graphics support for software development. David Kramlich, Gretchen P. Brown, Richard T. Carling, Christopher F. Herot |
| 1983 | Programmimg languages for hardware description. Peter Robinson, Jeremy Dion |
| 1983 | Quality level and fault coverage for multichip modules. E. Kofi Vida-Torku, Charles E. Radke |
| 1983 | Reducing channel density in standard cell layout. Kenneth J. Supowit |
| 1983 | Robots in design (Panel Discussion). Ernest L. Hall |
| 1983 | Routing method for VLSI design using irregular cells. Hans-Jürgen Rothermel, Dieter A. Mlynski |
| 1983 | Simplification of CNC programming for PWB routing. J. Drier |
| 1983 | Simulating pass transistor circuits using logic simulation machines. Zeev Barzilai, Leendert M. Huisman, Gabriel M. Silberman, Donald T. Tang, Lin S. Woo |
| 1983 | Software architecture for the implementation of a Computer-Aided Engineering system. Charles L. Leath, Steven J. Ollanik |
| 1983 | Solid model in geometric modelling system: HICAD. Shinji Tokumasu, Yoshio Kunitomo, Yoshimi Ohta, Shigeru Yamamoto, Norihiro Nakajima |
| 1983 | Some Computer Aided Engineering System design principles. Henry L. Nattrass, Glen K. Okita |
| 1983 | Space efficient algorithms for VLSI artwork analysis. Thomas G. Szymanski, Christopher J. Van Wyk |
| 1983 | Statistical techniques of timing verification. James H. Shelly, David R. Tryon |
| 1983 | Structured design verification: Function and timing. C. J. Rimkus, Michael R. Wayne, D. D. Cheng, F. J. Magistro |
| 1983 | Symbolic Parasitic Extractor for Circuit Simulation (SPECS). J. D. Bastian, M. Ellement, Priscilla J. Fowler, C. E. Huang, Lawrence P. McNamee |
| 1983 | Technology design rules - a user's perspective. Thomas R. Reinke |
| 1983 | Technology rules- the other side of technology dependent code. Melvin F. Heilweil |
| 1983 | Technology-independent circuit layout. Robert J. Smith |
| 1983 | Test generation for MOS circuits using D-algorithm. Sunil K. Jain, Vishwani D. Agrawal |
| 1983 | Test generation for scan design circuits with tri-state modules and bidirectional terminals. Takuji Ogihara, Shinichi Murai, Yuzo Takamatsu, Kozo Kinoshita, Hideo Fujiwara |
| 1983 | Test strategy for microprocessers. Sunil K. Jain, Alfred K. Susskind |
| 1983 | Testing for bridging faults (shorts) in CMOS circuits. John M. Acken |
| 1983 | The IC Module Compiler, a VLSI system design aid. N. J. Elias, Arthur W. Wetzel |
| 1983 | The N.2 System. Greg M. Ordy, Charles W. Rose |
| 1983 | The Transfer of University Software for Industry Use. Rossane Wyleczuk, Lynn Meyer, Gigi Babcock |
| 1983 | The UK5000 - successful collaborative development of an integrated design system for a 5000 gate CMOS array with built-in test. J. R. Grierson, B. Cosgrove, Daniel Richert, R. E. Halliwell, Harold Kirk, John C. Knight, John A. McLean, J. M. McGrail, C. O. Newton |
| 1983 | The VLSI Design Automation Assistant: Prototype system. Thaddeus J. Kowalski, Donald E. Thomas |
| 1983 | The effect of register-transfer design tradeoffs on chip area and performance. John J. Granacki, Alice C. Parker |
| 1983 | The relational data model for CAD(Tutorial/Panel/Workshop): Close encounters of the third normal form. Stanley Wong |
| 1983 | Timing analysis for nMOS VLSI. Norman P. Jouppi |
| 1983 | Total stuct-at-fault testing by circuit transformation. Andrea S. LaPaugh, Richard J. Lipton |
| 1983 | Tutorial - Group Technology. Hriday R. Prasad |
| 1983 | Tutorial: The relational data model for Design Automation. Mark N. Haynie |
| 1983 | UCAD: Building Design Automation with general purpose software tools on UNIX. James H. Tomkinson |
| 1983 | UNIGRAFIX. Carlo H. Séquin, Paul S. Strauss |
| 1983 | VERDI: A computer aided design system for development and city planning. M. Bouyat, H. Botta, J. C. Vignat |
| 1983 | VGAUA: The Variable Geometry Automated Universal Array layout System. David C. Smith, Richard Noto, Fred Borgini, Shanti S. Sharma, Joseph C. Werbickas |
| 1983 | VHSIC hardware description (VHDL) development program. Al Dewey |
| 1983 | Workshop - technology design rules for design automation. Ronald Waxman, Melvin F. Heilweil, Tom Reinke, Robert J. Smith, Gayla J. Von Ehr |
| 1983 | Zeus: A hardware description language for VLSI. Karl J. Lieberherr, Svend E. Knudsen |