| 1993 | New methods for parallel pattern fast fault simulation for synchronous sequential circuits. | Mehrdad Mojtahedi, Walter Geisselhardt |
| 1993 | Rapid prototyping of microprocessor-based systems. | Raj S. Mitra, Biswaroop Guha, Anupam Basu |
| 1993 | A flexible statistical model for CAD of submicrometer analog CMOS integrated circuits. | Christopher Michael, Christopher J. Abel, C. S. Teng |
| 1993 | Boolean matching for full-custom ECL gates. | Robert N. Mayo, Herv J. Touati |
| 1993 | Augmented partial reset. | Ben Mathew, Daniel G. Saab |
| 1993 | Unifying test and diagnosis of interconnects and logic clusters in partial boundary scan boards. | Meryem Marzouki, Marcelo Lubaszewski, Mohamed Hedi Touati |
| 1993 | Tree-based mapping of algorithms to predefined structures. | Peter Marwedel |
| 1993 | Macromodeling of the A.C. characteristics of CMOS Op-amps. | Pradip Mandal, V. Visvanathan |
| 1993 | Analysis of cyclic combinational circuits. | Sharad Malik |
| 1993 | Gate sizing and buffer insertion for optimizing performance in power constrained BiCMOS circuits. | Kerry S. Lowe, P. Glenn Gulak |
| 1993 | A fast algorithm for VLSI net extraction. | Mario Alberto Lpez, Ravi Janardan, Sartaj K. Sahni |
| 1993 | The practical application of retiming to the design of high-performance systems. | Brian Lockyear, Carl Ebeling |
| 1993 | Performance-driven partitioning using retiming and replication. | Lung-Tien Liu, Minshine Shih, Nan-Chi Chou, Chung-Kuan Cheng, Walter H. Ku |
| 1993 | Nyquist data converter testing and yield analysis using behavioral simulation. | Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli |
| 1993 | Allocation of multiport memories for hierarchical data stream. | Paul E. R. Lippens, Jef L. van Meerbergen, Wim F. J. Verhaegh, Albert van der Werf |
| 1993 | Boolean factorization using multiple-valued minimization. | Stan Y. Liao, Srinivas Devadas, Abhijit Ghosh |
| 1993 | Bounds on net lengths for high-speed PCB. | Jaebum Lee, Eugene Shragowitz, David J. Poli |
| 1993 | Parallel multi-delay simulation. | Yun Sik Lee, Peter M. Maurer |
| 1993 | New methods of improving parallel fault simulation in synchronous sequential circuits. | Hyung Ki Lee, Dong Sam Ha |
| 1993 | FGILP: an integer linear program solver based on function graphs. | Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula |
| 1993 | HANNIBAL: an efficient tool for logic verification based on recursive learning. | Wolfgang Kunz |
| 1993 | Tri-state bus conflict checking method for ATPG using BDD. | Yasushi Koseko, Takuji Ogihara, Shinichi Murai |
| 1993 | Sizing and verification of communication buffers for communicating processes. | Tilman Kolks, Bill Lin, Hugo De Man |
| 1993 | A simple algorithm for fanout optimization using high-performance buffer libraries. | K. Kodandapani, Joel Grodstein, Antun Domic, Herv J. Touati |
| 1993 | An efficient methodology for extraction and simulation of transmission lines for application specific electronic modules. | S. Y. Kim, Emre Tuncer, Rohini Gupta, Byron Krauter, Thomas L. Savarino, Dean P. Neikirk, Lawrence T. Pillage |