| 2009 | Pre-ATPG path selection for near optimal post-ATPG process space coverage. | Jiniun Xionq, Yiyu Shi, Vladimir Zolotov, Chandu Visweswariah |
| 2009 | Modeling of layout-dependent stress effect in CMOS design. | Chi-Chao Wang, Wei Zhao, Frank Liu, Min Chen, Yu Cao |
| 2009 | Decoupling capacitance efficient placement for reducing transient power supply noise. | Xiaoyi Wang, Yici Cai, Qiang Zhou, Sheldon X.-D. Tan, Thom Jefferson A. Eguia |
| 2009 | DynaTune: Circuit-level optimization for timing speculation considering dynamic path behavior. | Lu Wan, Deming Chen |
| 2009 | Iterative layering: Optimizing arithmetic circuits by structuring the information flow. | Ajay Kumar Verma, Philip Brisk, Paolo Ienne |
| 2009 | Intrinsic NBTI-variability aware statistical pipeline performance assessment and tuning. | Balaji Vaidyanathan, Anthony S. Oates, Yuan Xie |
| 2009 | An algorithm for identifying dominant-edge metabolic pathways. | Ehsan Ullah, Kyongbum Lee, Soha Hassoun |
| 2009 | An electrical-level superposed-edge approach to statistical serial link simulation. | Michael J. Tsuk, Daniel Dvorscak, Chin Siong Ong, Jacob White |
| 2009 | A study of routability estimation and clustering in placement. | Kalliopi Tsota, Cheng-Kok Koh, Venkataramanan Balakrishnan |
| 2009 | Power-switch routing for coarse-grain MTCMOS technologies. | Tsun-Ming Tseng, Mango Chia-Tso Chao, Chien Pang Lu, Chen Hsing Lo |
| 2009 | Resilient circuits - Enabling energy-efficient performance and reliability. | James W. Tschanz, Keith A. Bowman, Chris Wilkerson, Shih-Lien Lu, Tanay Karnik |
| 2009 | Resilience in computer systems and networks. | Kishor S. Trivedi, Dong Seong Kim, Rahul Ghosh |
| 2009 | First steps towards SAT-based formal analog verification. | Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici |
| 2009 | A parallel preconditioning strategy for efficient transistor-level circuit simulation. | Heidi Thornquist, Eric R. Keiter, Robert J. Hoekstra, David M. Day, Erik G. Boman |
| 2009 | Adaptive power management using reinforcement learning. | Ying Tan, Wei Liu, Qinru Qiu |
| 2009 | Computing quadratic approximations for the isochrons of oscillators: A general theory and advanced numerical methods. | Onder Suvak, Alper Demir |
| 2009 | Value assignment of adjustable delay buffers for clock skew minimization in multi-voltage mode designs. | Yu-Shih Su, Wing-Kai Hon, Cheng-Chih Yang, Shih-Chieh Chang, Yeong-Jar Chang |
| 2009 | Mitigation of intra-array SRAM variability using adaptive voltage architecture. | Ashish Kumar Singh, Ku He, Constantine Caramanis, Michael Orshansky |
| 2009 | Energy-optimal dynamic thermal management for green computing. | Donghwa Shin, Jihun Kim, Naehyuck Chang, Jinhang Choi, Sung Woo Chung, Eui-Young Chung |
| 2009 | Synthesizing complementary circuits automatically. | ShengYu Shen, Jianmin Zhang, Ying Qin, Sikun Li |
| 2009 | Synthesizing sequential register-based computation with biochemistry. | Adam Shea, Marc D. Riedel, Brian Fett, Keshab K. Parhi |
| 2009 | REMiS: Run-time energy minimization scheme in a reconfigurable processor with dynamic power-gated instruction set. | Muhammad Shafique, Lars Bauer, Jrg Henkel |
| 2009 | POWER7 - Verification challenge of a multi-core processor. | Klaus-Dieter Schubert |
| 2009 | CRISP: Congestion reduction by iterated spreading during placement. | Jarrod A. Roy, Natarajan Viswanathan, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov |
| 2009 | Variability analysis of FinFET-based devices and circuits considering electrical confinement and width quantization. | Seid Hadi Rasouli, Kazuhiko Endo, Kaustav Banerjee |