| 1994 | Automatic Verification of Refinement. | Trevor Wing Sang Lee, Mark R. Greenstreet, Carl-Johan H. Seger |
| 1994 | FPGA Synthesis Using Function Decomposition. | Yung-Te Lai, Kuo-Rueih Ricky Pan, Massoud Pedram |
| 1994 | Multifault Testable Circuits Based on Binary Parity Diagrams. | Sandip Kundu |
| 1994 | ASOP: Arithmetic Sum-of-Products Generator. | Dileep Kumar, Bob Erickson |
| 1994 | Grammar-Based Optimization of Synthesis Scenarios. | Andreas Kuehlmann, Lukas P. P. P. van Ginneken |
| 1994 | Performance Analysis and Optimization of Asynchronous Circuits. | Prabhakar Kudva, Ganesh Gopalakrishnan, Erik Brunvand, Venkatesh Akella |
| 1994 | Compression of Embedded System Programs. | Michael Kozuch, Andrew Wolfe |
| 1994 | Delay-Verifiability of Combinational Circuits Based on Primitive Faults. | Wuudiann Ke, Premachandran R. Menon |
| 1994 | Defect Tolerant SRAM Based FPGAs. | Jason L. Kelly, Peter A. Ivey |
| 1994 | Path-Delay Fault Simulation for a Standard Scan Design Methodology. | Sungho Kang, Wai-On Law, Bill Underwood |
| 1994 | Dynamic List-Scheduling with Finite Resources. | Ray A. Kamin III, George B. Adams III, Pradeep K. Dubey |
| 1994 | A Class of Good Characteristics Polynomials for LFSR Test Pattern Generators. | Dimitrios Kagaris, Spyros Tragoudas |
| 1994 | Determination of Optimal Sizes for a First and Second Level SRAM-DRAM On-Chip Cache Combination. | Rupinder Hundal, Vojin G. Oklobdzija |
| 1994 | Software Metrics for Object-Oriented Designs. | Raghu V. Hudli, Curtis L. Hoskins, Anand V. Hudli |
| 1994 | Reducing Power Dissipation in Serially Connected MOSFET Circuits via Transistor Reordering. | Razak Hossain, Menghui Zheng, Alexander Albicki |
| 1994 | Integrating Binding Constraints in the Synthesis of Area-Efficient Self-Recovering Microarchitectures. | Karin Hgstedt, Alex Orailoglu |
| 1994 | Improved Techniques for MCM Layer Assignment. | Mohammad Hossain Heydari, Ioannis G. Tollis, Chunliang Xia |
| 1994 | Mesh Routing Topologies for Multi-FPGA Systems. | Scott Hauck, Gaetano Borriello, Carl Ebeling |
| 1994 | SYNCBIST: SYNthesis for Concurrent Built-In-Self-Testability. | Ian G. Harris, Alex Orailoglu |
| 1994 | Optimal Datapath Synthesis of Partitioned Signal Processing Algorithm for Multiple FPGAs. | Baher Haroun, Behzard Sajjadi |
| 1994 | Optimal Logic Blocks for FPGAs, using Factorial Design Techniques. | Faisal Haq, Samiha Mourad |
| 1994 | POWER2 Architecture and Performance. | E. L. Hannon, Frank P. O'Connell, L. J. Shieh |
| 1994 | A Massively Parallel Multithreaded Architecture: DAVRID. | Sangho Ha, Junghwan Kim, Eunha Rho, Yoonhee Nah, Sangyong Han, Daejoon Hwang, Heunghwan Kim, Seung Ho Cho |
| 1994 | Domain Characterization of Transmission Line Models for Efficient Simulation. | Rohini Gupta, Seok-Yoon Kim, Lawrence T. Pillage |
| 1994 | Tradeoffs in Canonical Sequential Function Representations. | Aarti Gupta, Allan L. Fisher |