| 2013 | A disturb-alleviation scheme for 3D flash memory. Yu-Ming Chang, Yuan-Hao Chang, Tei-Wei Kuo, Hsiang-Pang Li, Yung-Chun Li |
| 2013 | A high-performance triple patterning layout decomposer with balanced density. Bei Yu, Yen-Hung Lin, Gerard Luk-Pat, Duo Ding, Kevin Lucas, David Z. Pan |
| 2013 | A just-in-time customizable processor. Liang Chen, Joseph Tarango, Tulika Mitra, Philip Brisk |
| 2013 | A neuromorphic architecture for anomaly detection in autonomous large-area traffic monitoring. Qiuwen Chen, Qinru Qiu, Hai Li, Qing Wu |
| 2013 | A new methodology to address the growing productivity gap in analog design. David White |
| 2013 | A polynomial time algorithm for solving the word-length optimization problem. Karthick Parashar, Daniel Ménard, Olivier Sentieys |
| 2013 | A proof-carrying based framework for trusted microprocessor IP. Yier Jin, Yiorgos Makris |
| 2013 | A vectorless framework for power grid electromigration checking. Mohammad Fawaz, Sandeep Chatterjee, Farid N. Najm |
| 2013 | A write-time based memristive PUF for hardware security applications. Garrett S. Rose, Nathan R. McDonald, Lok-Kwong Yan, Bryant T. Wysocki |
| 2013 | ADAMS: asymmetric differential STT-RAM cell structure for reliable and high-performance applications. Yaojun Zhang, Ismail Bayram, Yu Wang, Hai Li, Yiran Chen |
| 2013 | AMBER: adaptive energy management for on-chip hybrid video memories. Muhammad Usman Karim Khan, Muhammad Shafique, Jörg Henkel |
| 2013 | Agent-based distributed power management for kilo-core processors. Muhammad Shafique, Jörg Henkel |
| 2013 | Aging-aware logic synthesis. Mojtaba Ebrahimi, Fabian Oboril, Saman Kiamehr, Mehdi Baradaran Tahoori |
| 2013 | An IDDQ-based source driver IC design-for-test technique. S.-S. Lin, C.-L. Kao, Jiun-Lang Huang, C.-C. Lee, Xuan-Lun Huang |
| 2013 | An efficient compiler framework for cache bypassing on GPUs. Xiaolong Xie, Yun Liang, Guangyu Sun, Deming Chen |
| 2013 | An efficient graph sparsification approach to scalable harmonic balance (HB) analysis of strongly nonlinear RF circuits. Lengfei Han, Xueqian Zhao, Zhuo Feng |
| 2013 | An energy efficient approximate adder with carry skip for error resilient neuromorphic VLSI systems. Yongtae Kim, Yong Zhang, Peng Li |
| 2013 | Analog behavior in custom IC variation-aware design. Trent McConaghy |
| 2013 | Approximate logic synthesis under general error magnitude and frequency constraints. Jin Miao, Andreas Gerstlauer, Michael Orshansky |
| 2013 | Automated generation of efficient instruction decoders for instruction set simulators. Nicolas Fournel, Luc Michel, Frédéric Pétrot |
| 2013 | Automatic concolic test generation with virtual prototypes for post-silicon validation. Kai Cong, Fei Xie, Li Lei |
| 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 | BAG: a designer-oriented integrated framework for the development of AMS circuit generators. John Crossley, Alberto Puggelli, Hanh-Phuc Le, B. Yang, R. Nancollas, Kwangmo Jung, Lingkai Kong, Nathan Narevsky, Yue Lu, Nicholas Sutardja, E. J. An, Alberto L. Sangiovanni-Vincentelli, Elad Alon |
| 2013 | Bayesian model fusion: a statistical framework for efficient pre-silicon validation and post-silicon tuning of complex analog and mixed-signal circuits. Xin Li, Fa Wang, Shupeng Sun, Chenjie Gu |
| 2013 | Block copolymer directed self-assembly (DSA) aware contact layer optimization for 10 nm 1D standard cell library. Yuelin Du, Daifeng Guo, Martin D. F. Wong, He Yi, H.-S. Philip Wong, Hongbo Zhang, Qiang Ma |
| 2013 | CD-ECC: content-dependent error correction codes for combating asymmetric nonvolatile memory operation errors. Wujie Wen, Mengjie Mao, Xiaochun Zhu, Seung-Hyuk Kang, Danghui Wang, Yiran Chen |
| 2013 | Clock power minimization using structured latch templates and decision tree induction. Samuel I. Ward, Natarajan Viswanathan, Nancy Y. Zhou, Cliff C. N. Sze, Zhuo Li, Charles J. Alpert, David Z. Pan |
| 2013 | Compact lateral thermal resistance modeling and characterization for TSV and TSV array. Zao Liu, Sahana Swarup, Sheldon X.-D. Tan |
| 2013 | Comprehensive technique for designing and synthesizing TSV fault-tolerant 3D clock trees. Heechun Park, Taewhan Kim |
| 2013 | Computer-aided design of electrical energy systems. Younghyun Kim, Donghwa Shin, Massimo Petricca, Sangyoung Park, Massimo Poncino, Naehyuck Chang |
| 2013 | Conquering the scheduling alternative explosion problem of SystemC symbolic simulation. Chun-Nan Chou, Chen-Kai Chu, Chung-Yang (Ric) Huang |
| 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 | Constrained pattern assignment for standard cell based triple patterning lithography. Haitong Tian, Yuelin Du, Hongbo Zhang, Zigang Xiao, Martin D. F. Wong |
| 2013 | DHASER: dynamic heterogeneous adaptation for soft-error resiliency in ASIP-based multi-core systems. Tuo Li, Muhammad Shafique, Semeen Rehman, Jude Angelo Ambrose, Jörg Henkel, Sri Parameswaran |
| 2013 | DREAMS: DFM rule EvAluation using manufactured silicon. Ronald D. Blanton, Fa Wang, Cheng Xue, Pranab K. Nag, Yang Xue, Xin Li |
| 2013 | Depth controlled symmetric function fanin tree restructure. Hua Xiang, Lakshmi N. Reddy, Louise Trevillyan, Ruchir Puri |
| 2013 | Design of cross-point metal-oxide ReRAM emphasizing reliability and cost. Dimin Niu, Cong Xu, Naveen Muralimanohar, Norman P. Jouppi, Yuan Xie |
| 2013 | Design with FinFETs: design rules, patterns, and variability. Rasit Onur Topaloglu |
| 2013 | Diagnosing root causes of system level performance violations. Lingyi Liu, Xuanyu Zhong, Xiaotao Chen, Shobha Vasudevan |
| 2013 | Digital logic with molecular reactions. Hua Jiang, Marc D. Riedel, Keshab K. Parhi |
| 2013 | Dynamic bandwidth scaling for embedded DSPs with 3D-stacked DRAM and wide I/Os. Daniel W. Chang, Young Hoon Son, Jung Ho Ahn, Hoyoung Kim, Minwook Ahn, Michael J. Schulte, Nam Sung Kim |
| 2013 | Dynamic server power capping for enabling data center participation in power markets. Hao Chen, Can Hankendi, Michael C. Caramanis, Ayse K. Coskun |
| 2013 | Dynamic thermal management in mobile devices considering the thermal coupling between battery and application processor. Qing Xie, Jaemin Kim, Yanzhi Wang, Donghwa Shin, Naehyuck Chang, Massoud Pedram |
| 2013 | Eagle-eye: a near-optimal statistical framework for noise sensor placement. Tao Wang, Chun Zhang, Jinjun Xiong, Yiyu Shi |
| 2013 | Efficient PVT independent abstraction of large IP blocks for hierarchical power analysis. Nagu R. Dhanwada, David J. Hathaway, Victor V. Zyuban, Peng Peng, Karl Moody, William W. Dungan, Arun Joseph, Rahul M. Rao, Christopher J. Gonzalez |
| 2013 | Efficient aerial image simulation on multi-core SIMD CPU. Pei-Ci Wu, Tan Yan, Hongbo Zhang, Martin D. F. Wong |
| 2013 | Efficient analog layout prototyping by layout reuse with routing preservation. Ching-Yu Chin, Po-Cheng Pan, Hung-Ming Chen, Tung-Chieh Chen, Jou-Chun Lin |
| 2013 | Electromigration study for multi-scale power/ground vias in TSV-based 3D ICs. Jiwoo Pak, Sung Kyu Lim, David Z. Pan |
| 2013 | Encoding multi-valued functions for symmetry. Ko-Lung Yuan, Chien-Yen Kuo, Jie-Hong R. Jiang, Meng-Yen Li |
| 2013 | Exploring Boolean and non-Boolean computing with spin torque devices. Kaushik Roy, Mrigank Sharad, Deliang Fan, Karthik Yogendra |
| 2013 | FPGA acceleration of enhanced boolean constraint propagation for SAT solvers. Jason Thong, Nicola Nicolici |
| 2013 | FPGA simulation engine for customized construction of neural microcircuits. Hugh T. Blair, Jason Cong, Di Wu |
| 2013 | Fast statistical analysis of rare circuit failure events via scaled-sigma sampling for high-dimensional variation space. Shupeng Sun, Xin Li, Hongzhou Liu, Kangsheng Luo, Ben Gu |
| 2013 | ForTER: a forward error correction scheme for timing error resilience. Jie Zhang, Feng Yuan, Rong Ye, Qiang Xu |
| 2013 | Formal verification of distributed dynamic thermal management. Muhammad Ismail, Osman Hasan, Thomas Ebi, Muhammad Shafique, Jörg Henkel |
| 2013 | From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám |
| 2013 | Generalized Boolean symmetries through nested partition refinement. Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2013 | Hardware Trojans in wireless cryptographic ICs: silicon demonstration & detection method evaluation. Yu Liu, Yier Jin, Yiorgos Makris |
| 2013 | Hardware implementation of BLTL property checkers for acceleration of statistical model checking. Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita |
| 2013 | Hardware security: threat models and metrics. Masoud Rostami, Farinaz Koushanfar, Jeyavijayan Rajendran, Ramesh Karri |
| 2013 | High-performance gate sizing with a signoff timer. Andrew B. Kahng, Seokhyeong Kang, Hyein Lee, Igor L. Markov, Pankit Thapar |
| 2013 | Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms. Debapriya Chatterjee, Biruk Mammo, Doowon Lee, Raviv Gal, Ronny Morad, Amir Nahir, Avi Ziv, Valeria Bertacco |
| 2013 | ICCAD-2013 CAD contest in mask optimization and benchmark suite. Shayak Banerjee, Zhuo Li, Sani R. Nassif |
| 2013 | ICCAD-2013 CAD contest in placement finishing and benchmark suite. Myung-Chul Kim, Natarajan Viswanathan, Zhuo Li, Charles J. Alpert |
| 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 | ISOMER: integrated selection, partitioning, and placement methodology for reconfigurable architectures. Rana Muhammad Bilal, Rehan Hafiz, Muhammad Shafique, Saad Shoaib, Asim Munawar, Jörg Henkel |
| 2013 | Improved SAT-based ATPG: more constraints, better compaction. Stephan Eggersglüß, Robert Wille, Rolf Drechsler |
| 2013 | Improving platform energy: chip area trade-off in near-threshold computing environment. Hao Wang, Abhishek A. Sinkar, Nam Sung Kim |
| 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 | Incremental multiple-scan chain ordering for ECO flip-flop insertion. Andrew B. Kahng, Ilgweon Kang, Siddhartha Nath |
| 2013 | Joint sizing and adaptive independent gate control for FinFET circuits operating in multiple voltage regimes using the logical effort method. Xue Lin, Yanzhi Wang, Massoud Pedram |
| 2013 | LatchPlanner: latch placement algorithm for datapath-oriented high-performance VLSI designs. Minsik Cho, Hua Xiang, Haoxing Ren, Matthew M. Ziegler, Ruchir Puri |
| 2013 | Layout decomposition with pairwise coloring for multiple patterning lithography. Ye Zhang, Wai-Shing Luk, Hai Zhou, Changhao Yan, Xuan Zeng |
| 2013 | Leveraging rule-based designs for automatic power domain partitioning. Abhinav Agarwal, Arvind |
| 2013 | Low-power timing closure methodology for ultra-low voltage designs. Wen-Pin Tu, Chung-Han Chou, Shih-Hsu Huang, Shih-Chieh Chang, Yow-Tyng Nieh, Chien-Yung Chou |
| 2013 | MOMA: mapping of memory-intensive software-pipelined applications for systems with multiple memory controllers. Janmartin Jahn, Santiago Pagani, Jian-Jia Chen, Jörg Henkel |
| 2013 | Managing mobile platform power. Ümit Y. Ogras, Raid Zuhair Ayoub, Michael Kishinevsky, David Kadjo |
| 2013 | Methodology for standard cell compliance and detailed placement for triple patterning lithography. Bei Yu, Xiaoqing Xu, Jhih-Rong Gao, David Z. Pan |
| 2013 | Model-based hardware design. Girish Venkataramani, Kiran Kintali, Sudeepa Prakash, Stephan van Beek |
| 2013 | Modeling and analysis of (nonstationary) low frequency noise in nano devices: a synergistic approach based on stochastic chemical kinetics. Ahmet Gokcen Mahmutoglu, Alper Demir, Jaijeet S. Roychowdhury |
| 2013 | Noise in genetic circuits: hindrance or chance? Cheng-Ju Pan, Hsiao-Chun Huang |
| 2013 | Novel crack sensor for TSV-based 3D integrated circuits: design and deployment perspectives. Chun Zhang, Moongon Jung, Sung Kyu Lim, Yiyu Shi |
| 2013 | On accurate full-chip extraction and optimization of TSV-to-TSV coupling elements in 3D ICs. Yarui Peng, Taigon Song, Dusan Petranovic, Sung Kyu Lim |
| 2013 | On reconfiguration-oriented approximate adder design and its application. Rong Ye, Ting Wang, Feng Yuan, Rakesh Kumar, Qiang Xu |
| 2013 | Optimally minimizing overlay violation in self-aligned double patterning decomposition for row-based standard cell layout in polynomial time. Zigang Xiao, Yuelin Du, Haitong Tian, Martin D. F. Wong |
| 2013 | Optimization of interconnects between accelerators and shared memories in dark silicon. Jason Cong, Bingjun Xiao |
| 2013 | Optimization of polymerase chain reaction on a cyberphysical digital microfluidic biochip. Yan Luo, Bhargab B. Bhattacharya, Tsung-Yi Ho, Krishnendu Chakrabarty |
| 2013 | POLAR: placement based on novel rough legalization and refinement. Tao Lin, Chris Chu, Joseph R. Shinnerl, Ismail Bustany, Ivailo Nedelchev |
| 2013 | PROTON: an automatic place-and-route tool for optical networks-on-chip. Anja Boos, Luca Ramini, Ulf Schlichtmann, Davide Bertozzi |
| 2013 | Parallel power grid analysis using preconditioned GMRES solver on CPU-GPU platforms. Xuexin Liu, Hai Wang, Sheldon X.-D. Tan |
| 2013 | Partial synthesis through sampling with and without specification. Masahiro Fujita, Satoshi Jo, Shohei Ono, Takeshi Matsumoto |
| 2013 | Performance boosting under reliability and power constraints. Youngtaek Kim, Lizy Kurian John, Indrani Paul, Srilatha Manne, Michael J. Schulte |
| 2013 | Performance evaluation of multicore systems: from traffic analysis to latency predictions (embedded tutorial). Zhiliang Qian, Paul Bogdan, Chi-Ying Tsui, Radu Marculescu |
| 2013 | Place and route for massively parallel hardware-accelerated functional verification. Michael D. Moffitt, Gernot E. Günther, Kevin A. Pasnik |
| 2013 | Post-route alleviation of dense meander segments in high-performance printed circuit boards. Tsun-Ming Tseng, Bing Li, Tsung-Yi Ho, Ulf Schlichtmann |
| 2013 | Proof logging for computer algebra based SMT solving. Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer |
| 2013 | Redundancy-aware electromigration checking for mesh power grids. Sandeep Chatterjee, Mohammad Fawaz, Farid N. Najm |
| 2013 | SDC-based modulo scheduling for pipeline synthesis. Zhiru Zhang, Bin Liu |
| 2013 | STEAM: a fast compact thermal model for two-phase cooling of integrated circuits. Arvind Sridhar, Yassir Madhour, David Atienza, Thomas Brunschwiler, John Richard Thome |
| 2013 | Sample preparation for many-reactant bioassay on DMFBs using common dilution operation sharing. Chia-Hung Liu, Hao-Han Chang, Tung-Che Liang, Juinn-Dar Huang |
| 2013 | Scalable and efficient analog parametric fault identification. Mustafa Berke Yelten, Suriyaprakash Natarajan, Bin Xue, Prashant Goteti |
| 2013 | Scalable power grid transient analysis via MOR-assisted time-domain simulations. Jia Wang, Xuanxing Xiong |
| 2013 | Security-aware mapping for CAN-based real-time distributed automotive systems. Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto L. Sangiovanni-Vincentelli |
| 2013 | Sensitization criterion for threshold logic circuits and its application. Chen-Kuan Tsai, Chun-Yao Wang, Ching-Yi Huang, Yung-Chih Chen |
| 2013 | Sequential logic to transform probabilities. Naman Saraf, Kia Bazargan |
| 2013 | Simulation of temporal stochastic phenomena in electronic and biological systems: a comparative review, examples and synergies. Alper Demir, Burak Erman |
| 2013 | Slack matching mode-based asynchronous circuits for average-case performance. Mehrdad Najibi, Peter A. Beerel |
| 2013 | Spin torque devices in embedded memory: model studies and design space exploration. Arijit Raychowdhury |
| 2013 | Stochastic error rate estimation for adaptive speed control with field delay testing. Shoichi Iizuka, Masafumi Mizuno, Dan Kuroda, Masanori Hashimoto, Takao Onoye |
| 2013 | Techniques and challenges of implementing large scale logic design models in massively parallel fine-grained multiprocessor systems. Platon Beletsky, Michael Bershteyn, Alexandre Birguer, Chunkuen Ho, Viktor Salitrennik |
| 2013 | Temperature tracking: an innovative run-time approach for hardware Trojan detection. Domenic Forte, Chongxi Bao, Ankur Srivastava |
| 2013 | The IEEE/ACM International Conference on Computer-Aided Design, ICCAD'13, San Jose, CA, USA, November 18-21, 2013 Jörg Henkel |
| 2013 | The impact of shallow trench isolation effects on circuit performance. Sravan K. Marella, Sachin S. Sapatnekar |
| 2013 | The overview of 2013 CAD contest at ICCAD. Iris Hui-Ru Jiang, Zhuo Li, Hwei-Tseng Wang, Natarajan Viswanathan |
| 2013 | Thread-criticality aware dynamic cache reconfiguration in multi-core system. Po-Yang Hsu, TingTing Hwang |
| 2013 | Trace alignment algorithms for offline workload analysis of heterogeneous architectures. Muhammet Mustafa Ozdal, Aamer Jaleel, Paolo Narváez, Steven M. Burns, Ganapati Srinivasa |
| 2013 | Transient modeling of TSV-wire electromigration and lifetime analysis of power distribution network for 3D ICs. Xin Zhao, Yang Wan, Michael Scheuermann, Sung Kyu Lim |
| 2013 | Uncertainty quantification for integrated circuits: stochastic spectral methods. Zheng Zhang, Ibrahim M. Elfadel, Luca Daniel |
| 2013 | Unleashing the potential of MLC STT-RAM caches. Xiuyuan Bi, Mengjie Mao, Danghui Wang, Hai Li |
| 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 | Why the design productivity gap never happened. Harry Foster |