| 2007 | IntSim: A CAD tool for optimization of multilevel interconnect networks. | Deepak C. Sekar, Azad Naeemi, Reza Sarvari, Jeffrey A. Davis, James D. Meindl |
| 2007 | Statistical analysis of RF circuits using combined circuit simulator-full wave field solver approach. | Arun V. Sathanur, Ritochit Chakraborty, Vikram Jandhyala |
| 2007 | A novel SoC design methodology combining adaptive software and reconfigurable hardware. | Marco D. Santambrogio, Seda Ogrenci Memik, Vincenzo Rana, Umut A. Acar, Donatella Sciuto |
| 2007 | A novel synthesis algorithm for reversible circuits. | Mehdi Saeedi, Mehdi Sedighi, Morteza Saheb Zamani |
| 2007 | High-performance routing at the nanometer scale. | Jarrod A. Roy, Igor L. Markov |
| 2007 | Methodology for low power test pattern generation using activity threshold control logic. | Srivaths Ravi, V. R. Devanathan, Rubin A. Parekhji |
| 2007 | Efficient placement of distributed on-chip decoupling capacitors in nanoscale ICs. | Mikhail Popovich, Eby G. Friedman, Radu M. Secareanu, Olin L. Hartin |
| 2007 | Low-overhead design technique for calibration of maximum frequency at multiple operating points. | Somnath Paul, Sivasubramaniam Krishnamurthy, Hamid Mahmoodi, Swarup Bhunia |
| 2007 | Thermal-aware Steiner routing for 3D stacked ICs. | Mohit Pathak, Sung Kyu Lim |
| 2007 | Sizing and placement of charge recycling transistors in MTCMOS circuits. | Ehsan Pakbaznia, Farzan Fallah, Massoud Pedram |
| 2007 | Archer: a history-driven global routing algorithm. | Muhammet Mustafa Ozdal, Martin D. F. Wong |
| 2007 | Computation of minimal counterexamples by using black box techniques and symbolic methods. | Tobias Nopper, Christoph Scholl, Bernd Becker |
| 2007 | Early planning for clock skew scheduling during register binding. | Min Ni, Seda Ogrenci Memik |
| 2007 | Sparse and passive reduction of massively coupled large multiport interconnects. | Natalie Nakhla, Michel S. Nakhla, Ramachandra Achar |
| 2007 | Selective shielding: a crosstalk-free bus encoding technique. | Madhu Mutyam |
| 2007 | Clustering based pruning for statistical criticality computation under process variations. | Hushrav Mogal, Haifeng Qian, Sachin S. Sapatnekar, Kia Bazargan |
| 2007 | A simultaneous bus orientation and bused pin flipping algorithm. | Fan Mo, Robert K. Brayton |
| 2007 | Stochastic extended Krylov subspace method for variational analysis of on-chip power grid networks. | Ning Mi, Sheldon X.-D. Tan, Pu Liu, Jian Cui, Yici Cai, Xianlong Hong |
| 2007 | Principle Hessian direction based parameter reduction with process variation. | Alexander V. Mitev, Michael M. Marefat, Dongsheng Ma, Janet Meiling Wang |
| 2007 | A robust finite-point based gate model considering process variations. | Alexander V. Mitev, Dinesh Ganesan, Dheepan Shanmugasundaram, Yu Cao, Janet Meiling Wang |
| 2007 | Combinational and sequential mapping with priority cuts. | Alan Mishchenko, Sungmin Cho, Satrajit Chatterjee, Robert K. Brayton |
| 2007 | An efficient algorithm for time separation of events in concurrent systems. | Peggy B. McGee, Steven M. Nowick |
| 2007 | Analog placement with common centroid constraints. | Qiang Ma, Evangeline F. Y. Young, Kong-Pang Pun |
| 2007 | Voltage island-driven floorplanning. | Qiang Ma, Evangeline F. Y. Young |
| 2007 | A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. | Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Exon Smith |