| 1994 | Incremental formal design verification. | Gitanjali Swamy, Robert K. Brayton |
| 1994 | A loosely coupled parallel algorithm for standard cell placement. | Wern-Jieh Sun, Carl Sechen |
| 1994 | Retiming with non-zero clock skew, variable register, and interconnect delay. | Tolga Soyata, Eby G. Friedman |
| 1994 | Decomposition methods for library binding of speed-independent asynchronous designs. | Polly Siegel, Giovanni De Micheli |
| 1994 | Efficient implementation of retiming. | Narendra V. Shenoy, Richard L. Rudell |
| 1994 | Macromodeling of analog circuits for hierarchical circuit design. | Jianfeng Shao, Ramesh Harjani |
| 1994 | A specified delay accomplishing clock router using multiple layers. | Mitsuho Seki, Kenji Inoue, Kazuo Kato, Kouki Tsurusaki, Shin'ichi Fukasawa, Hitoshi Sasaki, Mutsuhito Aizawa |
| 1994 | An object-oriented cell library manager. | Naresh Sehgal, C. Y. Roger Chen, John M. Acken |
| 1994 | On modeling top-down VLSI design. | Bernd Schrmann, Joachim Altmeyer, Martin Schtze |
| 1994 | Embedded systems design for low energy consumption. | Michael A. Schuette, John R. Barr |
| 1994 | Towards support for design description languages in EDA framework. | Olav Schettler, Susanne Heymann |
| 1994 | Iterative [simulation-based genetics + deterministic techniques]= complete ATPG0. | Daniel G. Saab, Youssef Saab, Jacob A. Abraham |
| 1994 | Algorithm selection: a quantitative computation-intensive optimization approach. | Miodrag Potkonjak, Jan M. Rabaey |
| 1994 | On error correction in macro-based circuits. | Irith Pomeranz, Sudhakar M. Reddy |
| 1994 | On testing delay faults in macro-based combinational circuits. | Irith Pomeranz, Sudhakar M. Reddy |
| 1994 | Multi-level synthesis for safe replaceability. | Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton |
| 1994 | A precorrected-FFT method for capacitance extraction of complicated 3-D structures. | Joel R. Phillips, Jacob K. White |
| 1994 | Area minimization for hierarchical floorplans. | Peichen Pan, Weiping Shi, C. L. Liu |
| 1994 | Symmetry detection and dynamic variable ordering of decision diagrams. | Shipra Panda, Fabio Somenzi, Bernard Plessier |
| 1994 | A comprehensive fault macromodel for opamps. | Chen-Yang Pan, Kwang-Ting Cheng, Sandeep Gupta |
| 1994 | Selecting partial scan flip-flops for circuit partitioning. | Toshinobu Ono |
| 1994 | Comprehensive lower bound estimation from behavioral descriptions. | Seong Yong Ohm, Fadi J. Kurdahi, Nikil D. Dutt |
| 1994 | Channel-driven global routing with consistent placement (extended abstract). | Shigetoshi Nakatake, Yoji Kajitani |
| 1994 | Synthesis of manufacturable analog circuits. | Tamal Mukherjee, L. Richard Carley, Rob A. Rutenbar |
| 1994 | A new approach for factorizing FSM's. | Chunduri Rama Mohan, Partha Pratim Chakrabarti |