| 1993 | Logic Optimization with Multi-Output Gates. | Yosinori Watanabe, Lisa M. Guerra, Robert K. Brayton |
| 1993 | Area and Performance Comparison of Pipelined RISC Processors Implementing Different Precise Interrupt Methods. | Chia-Jiu Wang, Frank Emnett |
| 1993 | AMBIANT: Automatic Generation of Behavioral Modifications for Testability. | Praveen Vishakantaiah, Thomas Thomas, Jacob A. Abraham, Magdy S. Abadir |
| 1993 | Quiescent Current Monitoring to Improve the Reliability of Electronic Systems in Space Radiation Environments. | F. L. Vargas, Michael Nicolaidis, Bernard Courtois |
| 1993 | Pipelined Fault Simulation on Parallel Machines Using the Circuit Flow Graph. | Shang-E Tai, Debashis Bhattacharya |
| 1993 | Towards a Methodology for the Formal Hierarchical Verification. | Sofine Tahar, Ramayya Kumar |
| 1993 | Specification and Synthesis of Mixed-Mode Systems: Experiments in a VHDL Environment. | P. A. Subrahmanyam, Josep M. Espinalt, Meng-Lin Yu |
| 1993 | Physically Realizable Gate Models. | Paul R. Stephan, Robert K. Brayton |
| 1993 | A C-Testable Carry-Free Divider. | Hosahalli R. Srinivas, Bapiraju Vinnakota, Keshab K. Parhi |
| 1993 | Efficient Diagnosis in Algorithm-Based Fault Tolerant Multiprocessor Systems. | Santhanam Srinivasan, Niraj K. Jha |
| 1993 | VLSI Design of On-Line Add/Multiply Algorithms. | Ali Skaf, Alain Guyot |
| 1993 | Heuristic Minimization of Synchronous Relations. | Vigyan Singhal, Yosinori Watanabe, Robert K. Brayton |
| 1993 | An Analysis of Path Sensitization Criteria. | Joo P. Marques Silva, Karem A. Sakallah |
| 1993 | Wearable Computers: Merging Information Space with the Workspace. | Daniel P. Siewiorek |
| 1993 | About Set and Skewed Associativity on Second-Level Caches. | Andr Seznec |
| 1993 | Desgin for Testability of Asynchronous Sequential Circuits. | Jayashree Saxena, Dhiraj K. Pradhan |
| 1993 | A Systolic Array for Approximate String Matching. | Raghu Sastry, N. Ranganathan |
| 1993 | An Exact Rectilinear Steiner Tree Algorithm. | Jeffrey S. Salowe, David M. Warme |
| 1993 | A Three-Dimensional Mesh Multiprocessor System Using Board-to-Board Free-Space Optical Interconnects: COSINE-III. | Toshikazu Sakano, Takao Matsumoto, Kazuhiro Noguchi |
| 1993 | Design of the Intel Pentium | Avtar Saini |
| 1993 | Channel Architecture Optimization for Performance and Routability of Row-Based FPGAs. | Kaushik Roy, Sudip Nag, Santanu Dutta |
| 1993 | An Integrated Environment for Concurrent Development of a Pixel Processor ASIC and Application Software. | Raymond Roth, John Watkins, Michael Hsieh, William Radke, Donald Hejna, Richard Tom, Byung Kim |
| 1993 | Ravel-XL: A Hardware Accelerator for Assigned-Delay Compiled-Code Logic Gate Simulation. | Michael A. Riepe, Joo P. Marques Silva, Karem A. Sakallah, Richard B. Brown |
| 1993 | Derivation of a DRAM Memory Interface by Sequential Decomposition. | Kamlesh Rath, Bhaskar Bose, Steven D. Johnson |
| 1993 | SMAC: A Scene Matching Chip. | N. Ranganathan, Raghu Sastry, Raguveer Venkatesan, Joseph W. Yoder, David C. Keezer |