| 1995 | Dynamic minimization of OKFDDs. | Rolf Drechsler, Bernd Becker |
| 1995 | Accurate device modeling techniques for efficient timing simulation of integrated circuits. | Anirudh Devgan |
| 1995 | A programmable routing controller for flexible communications in point-to-point networks. | Stuart W. Daniel, Jennifer Rexford, James W. Dolter, Kang G. Shin |
| 1995 | Design of an efficient power distribution network for the UltraSPARC-I microprocessor. | Alexander Dalal, Lavi Lev, Sundari Mitra |
| 1995 | A symbolic-simulation approach to the timing verification of interacting FSMs. | Ajay J. Daga, William P. Birmingham |
| 1995 | Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. | David Cyrluk, Mandayam K. Srivas |
| 1995 | VLSI design of densely-connected array processors. | Eric Y. Chou, Bing J. Sheu, Tony H. Wu, Robert C. Chang |
| 1995 | Estimation of sequential circuit activity considering spatial and temporal correlations. | Tan-Li Chou, Kaushik Roy |
| 1995 | Reducing data access penalty using intelligent opcode-driven cache prefetching. | Chi-Hung Chi, Siu-Chung Lau |
| 1995 | Extending VLSI design with higher-order logic. | Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu |
| 1995 | Thermal placement for high-performance multichip modules. | Kai-Yuan Chao, D. F. Wong |
| 1995 | Design and analysis of FPGA/FPIC switch modules. | Yao-Wen Chang, D. F. Wong, C. K. Wong |
| 1995 | FPGA global routing based on a new congestion metric. | Yao-Wen Chang, D. F. Wong, C. K. Wong |
| 1995 | Simple tree-construction heuristics for the fanout problem . | Robert J. Carragher, Masahiro Fujita, Chung-Kuan Cheng |
| 1995 | Testability analysis and insertion for RTL circuits based on pseudorandom BIST. | Joan Carletta, Christos A. Papachristou |
| 1995 | Verifying the performance of the PCI local bus using symbolic techniques. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea |
| 1995 | Performance assessment of embedded Hw/Sw systems. | Jean Paul Calvez, Olivier Pasquier |
| 1995 | Architecture and design of a 40 gigabit per second ATM switch. | Steven E. Butner, David A. Skirmont |
| 1995 | Accurate and efficient layout-to-circuit extraction for high-speed MOS and bipolar/BiCMOS integrated circuits. | Frederik Beeftink, Arjan J. van Genderen, N. P. van der Meijs |
| 1995 | Data parallel fault simulation. | Minesh B. Amin, Bapiraju Vinnakota |
| 1995 | A high performance bus and cache controller for PowerPC multiprocessing systems. | Michael S. Allen, W. Kurt Lewchuk, J. D. Coddington |
| 1995 | Execution-time profiling for multiple-process behavioral synthesis. | Jay K. Adams, John Alan Miller, Donald E. Thomas |
| 1994 | Capturing Synchronization Specifications for Sequential Compositions. | Zheng Zhu, Steven D. Johnson |
| 1994 | Synchronization of Wave-Pipelined Circuits. | Xuguang Zhang, Ramalingam Sridhar |
| 1994 | Efficent Boolean Matching Algorithm for Cell Libraries. | Qinghong Wu, C. Y. Roger Chen, John M. Acken |