| 2013 | Noise in genetic circuits: hindrance or chance? | Cheng-Ju Pan, Hsiao-Chun Huang |
| 2013 | Electromigration study for multi-scale power/ground vias in TSV-based 3D ICs. | Jiwoo Pak, Sung Kyu Lim, David Z. Pan |
| 2013 | Trace alignment algorithms for offline workload analysis of heterogeneous architectures. | Muhammet Mustafa Ozdal, Aamer Jaleel, Paolo Narvez, Steven M. Burns, Ganapati Srinivasa |
| 2013 | Hardware implementation of BLTL property checkers for acceleration of statistical model checking. | Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita |
| 2013 | Managing mobile platform power. | mit Y. Ogras, Raid Zuhair Ayoub, Michael Kishinevsky, David Kadjo |
| 2013 | Design of cross-point metal-oxide ReRAM emphasizing reliability and cost. | Dimin Niu, Cong Xu, Naveen Muralimanohar, Norman P. Jouppi, Yuan Xie |
| 2013 | Slack matching mode-based asynchronous circuits for average-case performance. | Mehrdad Najibi, Peter A. Beerel |
| 2013 | Place and route for massively parallel hardware-accelerated functional verification. | Michael D. Moffitt, Gernot E. Gnther, Kevin A. Pasnik |
| 2013 | Approximate logic synthesis under general error magnitude and frequency constraints. | Jin Miao, Andreas Gerstlauer, Michael Orshansky |
| 2013 | Analog behavior in custom IC variation-aware design. | Trent McConaghy |
| 2013 | Proof logging for computer algebra based SMT solving. | Oliver Marx, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Alexander Dreyer |
| 2013 | The impact of shallow trench isolation effects on circuit performance. | Sravan K. Marella, Sachin S. Sapatnekar |
| 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 | Optimization of polymerase chain reaction on a cyberphysical digital microfluidic biochip. | Yan Luo, Bhargab B. Bhattacharya, Tsung-Yi Ho, Krishnendu Chakrabarty |
| 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 | Diagnosing root causes of system level performance violations. | Lingyi Liu, Xuanyu Zhong, Xiaotao Chen, Shobha Vasudevan |
| 2013 | Parallel power grid analysis using preconditioned GMRES solver on CPU-GPU platforms. | Xuexin Liu, Hai Wang, Sheldon X.-D. Tan |
| 2013 | Compact lateral thermal resistance modeling and characterization for TSV and TSV array. | Zao Liu, Sahana Swarup, Sheldon X.-D. Tan |
| 2013 | Hardware Trojans in wireless cryptographic ICs: silicon demonstration & detection method evaluation. | Yu Liu, Yier Jin, Yiorgos Makris |
| 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 | Security-aware mapping for CAN-based real-time distributed automotive systems. | Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto L. Sangiovanni-Vincentelli |
| 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 | 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 | POLAR: placement based on novel rough legalization and refinement. | Tao Lin, Chris Chu, Joseph R. Shinnerl, Ismail Bustany, Ivailo Nedelchev |
| 2013 | An energy efficient approximate adder with carry skip for error resilient neuromorphic VLSI systems. | Yongtae Kim, Yong Zhang, Peng Li |