| 1996 | Design and Implementation of a new Synchronization Method for High-Speed Cell-based Network Interfaces. | Alex Maniatopoulos, Theodore Antonakopoulos, Vassilios Makios |
| 1996 | A Practical Algorithm for Retiming Level-Clocked Circuits. | Naresh Maheshwari, Sachin S. Sapatnekar |
| 1996 | Early Zero Detection. | David Raymond Lutz, Doddaballapur Narasimha-Murthy Jayasimha |
| 1996 | Branch-Directed and Stride-Based Data Cache Prefetching. | Yue Liu, David R. Kaeli |
| 1996 | DNA computations can have global memory. | Richard J. Lipton |
| 1996 | A New Non-Restoring Square Root Algorithm and its VLSI Implementation. | Yamin Li, Wanming Chu |
| 1996 | An output-shared buffer ATM switch. | Jin Li |
| 1996 | Design issues for distributed shared-memory systems. | Daniel Lenoski |
| 1996 | Global Bus Design of a Bus-Based COMA Multiprocessor DICE. | Gyungho Lee, Bland Quattlebaum, Sangyeun Cho, Larry L. Kinney |
| 1996 | Using Genetic Algorithms to Automate System Implementation in a Novel Three-Dimensional Packaging Technolog. | Steven P. Larcombe, David J. Prendergast, Neil A. Thacker, Peter A. Ivey |
| 1996 | Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. | Michel Langevin, Sofine Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny |
| 1996 | FPGA Module Minimization. | D. Kuguris, Spyros Tragoudas |
| 1996 | The use of random simulation in formal verification. | Florian Krohm, Andreas Kuehlmann, Arjen Mets |
| 1996 | New Challenges for Video Servers: Performance of Non-Linear Applications under User Choice. | Michael Kozuch, Wayne H. Wolf, Andrew Wolfe |
| 1996 | Embedded System Design Issues (The Rest of the Story). | Philip Koopman |
| 1996 | Cycle-Based Timing Simulations Using Event-Stream. | Kei-Yong Khoo, Alan N. Willson Jr. |
| 1996 | Module Generators for a Regular Analog Layout. | J. Kampe, C. Wisser, G. Scarbata |
| 1996 | Pulse-Driven Delay-Insensitive Circuits using Single-Flux-Quantum Devices. | Yoshio Kameda |
| 1996 | A multiseed counter TPG with performance guarantee. | Dimitrios Kagaris, Spyros Tragoudas |
| 1996 | Optimal Selection of Supply Voltages and Level Conversions During Data Path Scheduling Under Resource Constraints. | Mark C. Johnson, Kaushik Roy |
| 1996 | Early Quantification and Partitioned Transition Relations. | Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton |
| 1996 | High Speed Video Board as a Case Study for Hardware-Software Co-Design. | Dirk Herrmann |
| 1996 | Design Methodologies for Tolerating Cell and Interconnect Faults in FPGAs. | Fran Hancheck, Shantanu Dutt |
| 1996 | Opportunities and pitfalls in HDL-based system design. | Rajesh K. Gupta, Daniel Gajski, Randy Allen, Yatin Trivedi |
| 1996 | Large Standard Cell Libraries and Their Impact on Layout Area and Circuit Performanc. | Bingzhong Guan, Carl Sechen |