| 1992 | Algorithms for Interface Timing Verification. | Kenneth L. McMillan, David L. Dill |
| 1992 | The T9000 Transputer. | David May, Roger Shepherd, Peter Thompson |
| 1992 | One-Chip System Integration for GSM with the DSP KISS-16V2. | Gisela Mahlich, G.-H. Huaman-Bollo, Joachim Preiner, Johannes Schuck, Hans Sahm, P. Weingart, Dirk Weinsziehr, J. Yeandel |
| 1992 | Modified Booth Algorithm for High Radix Multiplication. | Philip E. Madrid, Brian Millar, Earl E. Swartzlander Jr. |
| 1992 | Multiple Fault Detection in CMOS Logic Circuits. | Ding Lu, Carol Q. Tong |
| 1992 | Reliable Floating-Point Arithmetic Algorithms for Berger Encoded Operands. | Jien-Chung Lo |
| 1992 | Sampling of Cache Congruence Classes. | Lishing Liu, Jih-Kwon Peir |
| 1992 | Fully Differential Optical Interconnects for High-Speed Digital Systems. | C.-S. Li, Harold S. Stone, C. M. Olsen |
| 1992 | Dynamic Reordering of Hgh Latency Transactions Using a Modified a Micropipeline. | Gernot Armin Liebchen, Ganesh Gopalakrishnan |
| 1992 | MDP Design Tools and Methods. | Richard A. Lethin, William J. Dally |
| 1992 | Behavioral Synthesis for Easy Testability in Data Path Allocation. | Tien-Chien Lee, Wayne H. Wolf, Niraj K. Jha, John M. Acken |
| 1992 | Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits. | Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1992 | On Relationship Between ITE and BDD. | William K. C. Lam, Robert K. Brayton |
| 1992 | VLSI Design of Modulo Adders/Subtractors. | Gopal Lakhani |
| 1992 | Boolean Matching Using Binary Decision Diagrams with Applications to Logic Synthesis and Verification. | Yung-Te Lai, Sarma Sastry, Massoud Pedram |
| 1992 | High-Level State Machine Specification and Synthesis. | Andreas Kuehlmann, Reinaldo A. Bergamaschi |
| 1992 | The Selective Extra-Stage Butterfly. | Smaragda Konstantinidou |
| 1992 | Analysis of Asynchronous Binary Arbitration on Digital-Transmission-Line Busses. | Shlomo Kipnis |
| 1992 | A Tool for Automatic Generation of BISTed and Transparent BISTed Rams. | O. Kebichi, Michael Nicolaidis |
| 1992 | Distributed VLSI Simulation on a Network of Workstations. | Sankaran Karthik, Jacob A. Abraham |
| 1992 | Modeling and Simulation of Design Errors. | Sungho Kang, Stephen A. Szygenda |
| 1992 | Comparing Layouts with HDL Models: A Formal Verification Technique. | Timothy Kam, P. A. Subrahmanyam |
| 1992 | On Minimizing Hardware Overhead for Pseudoexhaustive Circuit Testability. | Dimitrios Kagaris, Fillia Makedon, Spyros Tragoudas |
| 1992 | Theory and Design of Two-Rail Totally Self-Checking Basic Building Blocks. | Zhi-Jian Jiang, R. Venkatesen |
| 1992 | Multiple Input Bridging Fault Detection in CMOS Sequential Circuits. | Niraj K. Jha, Sying-Jyan Wang, Phillip C. Gripka |