| 1993 | A combined hierarchical placement algorithm. | Hyunchul Shin, Chunghee Kim, Wonjong Kim, Myoungsub Oh, Kwangjoon Rhee, Seogyun Choi, Heasoo Chung |
| 1993 | Minimum padding to satisfy short path constraints. | Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | Probabilistic construction and manipulation of free Boolean diagrams. | Amelia Shen, Srinivas Devadas, Abhijit Ghosh |
| 1993 | Partitioning with cone structures. | Gabriele Saucier, Daniel R. Brasen, J. P. Hiol |
| 1993 | Transforming an arbitrary floorplan into a sliceable one. | Majid Sarrafzadeh |
| 1993 | Convexity-based algorithms for design centering. | Sachin S. Sapatnekar, Pravin M. Vaidya, Steve M. Kang |
| 1993 | Fault dictionary compression and equivalence class computation for sequential circuits. | Paul G. Ryan, W. Kent Fuchs, Irith Pomeranz |
| 1993 | Design tool integration using object-oriented database views. | Elke A. Rundensteiner |
| 1993 | Dynamic variable ordering for ordered binary decision diagrams. | Richard Rudell |
| 1993 | Accelerated waveform methods for parallel transient simulation of semiconductor devices. | Mark W. Reichelt, Andrew Lumsdaine, Jacob K. White |
| 1993 | Behavior tables: a basis for system representation and transformational system synthesis. | Kamlesh Rath, M. Esen Tuna, Steven D. Johnson |
| 1993 | Buffer assignment for data driven architectures. | Dhiraj K. Pradhan, Mitrajit Chatterjee, Savita Banerjee |
| 1993 | On diagnosis and correction of design errors. | Irith Pomeranz, Sudhakar M. Reddy |
| 1993 | Test generation for path delay faults based on learning. | Irith Pomeranz, Sudhakar M. Reddy |
| 1993 | Architecture and routability analysis for row-based FPGAs. | Massoud Pedram, Bahman S. Nobandegani, Bryan Preas |
| 1993 | Polynomial algorithms for the synthesis for hazard-free circuits from signal transition graphs. | Enric Pastor, Jordi Cortadella |
| 1993 | A new feed-through assignment algorithm based on a flow model. | Takumi Okamoto, Masaki Ishikawa, Tomoyuki Fujita |
| 1993 | Breadth-first manipulation of very large binary-decision diagrams. | Hiroyuki Ochi, Koichi Yasuoka, Shuzo Yajima |
| 1993 | Reconfigurable scan chains: a novel approach to reduce test application time. | Sridhar Narayanan, Melvin A. Breuer |
| 1993 | Fault-based automatic test generator for linear analog circuits. | Naveena Nagi, Abhijit Chatterjee, Ashok Balivada, Jacob A. Abraham |
| 1993 | Cube-packing and two-level minimization. | Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | Merging multiple FSM controllers for DFT/BIST hardware. | Debaditya Mukherjee, Massoud Pedram, Melvin A. Breuer |
| 1993 | Layout-driven module selection for register-transfer synthesis of sub-micron ASIC's. | Vasily G. Moshnyaga, Hiroshi Mori, Hidetoshi Onodera, Keikichi Tamaru |
| 1993 | Retiming sequential circuits for low power. | Jos Monteiro, Srinivas Devadas, Abhijit Ghosh |
| 1993 | Detection of symmetry of Boolean functions represented by ROBDDs. | Dirk Mller, Janett Mohnke, Michael Weber |