| 2013 | ICCAD-2013 CAD contest in placement finishing and benchmark suite. | Myung-Chul Kim, Natarajan Viswanathan, Zhuo Li, Charles J. Alpert |
| 2013 | Verifying start-up failures in coupled ring oscillators in presence of variability using predictive global optimization. | Taehwan Kim, Do-Gyoon Song, Sangho Youn, Jaejin Park, Hojin Park, Jaeha Kim |
| 2013 | Computer-aided design of electrical energy systems. | Younghyun Kim, Donghwa Shin, Massimo Petricca, Sangyoung Park, Massimo Poncino, Naehyuck Chang |
| 2013 | Performance boosting under reliability and power constraints. | Youngtaek Kim, Lizy Kurian John, Indrani Paul, Srilatha Manne, Michael J. Schulte |
| 2013 | AMBER: adaptive energy management for on-chip hybrid video memories. | Muhammad Usman Karim Khan, Muhammad Shafique, Jrg Henkel |
| 2013 | Generalized Boolean symmetries through nested partition refinement. | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2013 | Incremental multiple-scan chain ordering for ECO flip-flop insertion. | Andrew B. Kahng, Ilgweon Kang, Siddhartha Nath |
| 2013 | High-performance gate sizing with a signoff timer. | Andrew B. Kahng, Seokhyeong Kang, Hyein Lee, Igor L. Markov, Pankit Thapar |
| 2013 | Considering fabrication in sustainable computing. | Alex K. Jones, Yiran Chen, William O. Collinge, Haifeng Xu, Laura A. Schaefer, Amy E. Landis, Melissa M. Bilec |
| 2013 | A proof-carrying based framework for trusted microprocessor IP. | Yier Jin, Yiorgos Makris |
| 2013 | Digital logic with molecular reactions. | Hua Jiang, Marc D. Riedel, Keshab K. Parhi |
| 2013 | The overview of 2013 CAD contest at ICCAD. | Iris Hui-Ru Jiang, Zhuo Li, Hwei-Tseng Wang, Natarajan Viswanathan |
| 2013 | MOMA: mapping of memory-intensive software-pipelined applications for systems with multiple memory controllers. | Janmartin Jahn, Santiago Pagani, Jian-Jia Chen, Jrg Henkel |
| 2013 | Formal verification of distributed dynamic thermal management. | Muhammad Ismail, Osman Hasan, Thomas Ebi, Muhammad Shafique, Jrg Henkel |
| 2013 | Stochastic error rate estimation for adaptive speed control with field delay testing. | Shoichi Iizuka, Masafumi Mizuno, Dan Kuroda, Masanori Hashimoto, Takao Onoye |
| 2013 | ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite. | Chih-Jen Hsu, Wei-Hsun Lin, Hwei-Tseng Wang, Feng Lu, Kei-Yong Khoo |
| 2013 | Thread-criticality aware dynamic cache reconfiguration in multi-core system. | Po-Yang Hsu, TingTing Hwang |
| 2013 | In-placement clock-tree aware multi-bit flip-flop generation for power optimization. | Chih-Cheng Hsu, Yu-Chuan Chen, Mark Po-Hung Lin |
| 2013 | Automatic test pattern generation for delay defects using timed characteristic functions. | Shin-Yann Ho, Shuo-Ren Lin, Ko-Lung Yuan, Chien-Yen Kuo, Kuan-Yu Liao, Jie-Hong R. Jiang, Chien-Mo James Li |
| 2013 | An efficient graph sparsification approach to scalable harmonic balance (HB) analysis of strongly nonlinear RF circuits. | Lengfei Han, Xueqian Zhao, Zhuo Feng |
| 2013 | Partial synthesis through sampling with and without specification. | Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto |
| 2013 | Automated generation of efficient instruction decoders for instruction set simulators. | Nicolas Fournel, Luc Michel, Frdric Ptrot |
| 2013 | Why the design productivity gap never happened. | Harry Foster |
| 2013 | Temperature tracking: an innovative run-time approach for hardware Trojan detection. | Domenic Forte, Chongxi Bao, Ankur Srivastava |
| 2013 | A vectorless framework for power grid electromigration checking. | Mohammad Fawaz, Sandeep Chatterjee, Farid N. Najm |