| 2005 | A hybrid linear equation solver and its application in quadratic placement. | Haifeng Qian, Sachin S. Sapatnekar |
| 2005 | RTL SAT simplification by Boolean and interval arithmetic reasoning. | Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer |
| 2005 | An efficient and effective detailed placement algorithm. | Min Pan, Natarajan Viswanathan, Chris C. N. Chu |
| 2005 | Static timing analysis considering power supply variations. | Sanjay Pant, David T. Blaauw |
| 2005 | Optimal routing algorithms for pin clusters in high-density multichip modules. | Muhammet Mustafa Ozdal, Martin D. F. Wong, Philip S. Honsinger |
| 2005 | An escape routing framework for dense boards with high-speed design constraints. | Muhammet Mustafa Ozdal, Martin D. F. Wong, Philip S. Honsinger |
| 2005 | Application-specific network-on-chip architecture customization via long-range link insertion. | mit Y. Ogras, Radu Marculescu |
| 2005 | Robust automated synthesis methodology for integrated spiral inductors with variability. | Arthur Nieuwoudt, Yehia Massoud |
| 2005 | Transition-by-transition FSM traversal for reachability analysis in bounded model checking. | Minh D. Nguyen, Dominik Stoffel, Markus Wedler, Wolfgang Kunz |
| 2005 | Design automation issues for biofluidic microchips. | Tamal Mukherjee |
| 2005 | Reducing pessimism in RLC delay estimation using an accurate analytical frequency dependent model for inductance. | Mosin Mondal, Yehia Massoud |
| 2005 | Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems. | Bren Mochocki, Razvan Racu, Rolf Ernst |
| 2005 | Oscillator-AC: restoring rigour to linearized small-signal analysis of oscillators. | Ting Mei, Jaijeet S. Roychowdhury |
| 2005 | An efficient and robust technique for tracking amplitude and frequency envelopes in oscillators. | Ting Mei, Jaijeet S. Roychowdhury |
| 2005 | Steady-state analysis of voltage and current controlled oscillators. | Amit Mehrotra, Suihua Lu, David C. Lee, Amit Narayan |
| 2005 | Adaptive designs for power and thermal optimization. | Richard McGowen |
| 2005 | A complete compositional reasoning framework for the efficient verification of pipelined machines. | Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2005 | Verification of executable pipelined machines with bit-level interfaces. | Panagiotis Manolios, Sudarshan K. Srinivasan |
| 2005 | Interval-valued statistical modeling of oxide chemical-mechanical polishing. | James D. Ma, Claire Fang Fang, Rob A. Rutenbar, Xiaolin Xie, Duane S. Boning |
| 2005 | A layout dependent full-chip copper electroplating topography model. | Jianfeng Luo, Qing Su, Charles C. Chiang, Jamil Kawa |
| 2005 | Computational geometry based placement migration. | Tao Luo, Haoxing Ren, Charles J. Alpert, David Zhigang Pan |
| 2005 | Performance-centering optimization for system-level analog design exploration. | Xin Li, Jian Wang, Lawrence T. Pileggi, Tun-Shih Chen, Wanju Chiang |
| 2005 | An efficient method for terminal reduction of interconnect circuits considering delay variations. | Pu Liu, Sheldon X.-D. Tan, Hang Li, Zhenyu Qi, Jun Kong, Bruce McGaughy, Lei He |
| 2005 | Fast thermal simulation for architecture level dynamic thermal management. | Pu Liu, Zhenyu Qi, Hang Li, Lingling Jin, Wei Wu, Sheldon X.-D. Tan, Jun Yang |
| 2005 | Trade-off between latch and flop for min-period sequential circuit designs with crosstalk. | Chuan Lin, Hai Zhou |