NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
Computer-Aided Design of Integrated Circuits and Systems, Tập 32, Số 7, 2013
Mục lục:
DòngNội dung
1Simulation-Assisted Formal Verification of Nonlinear Mixed-Signal Circuits With Bayesian Inference Guidance / Leyi Yin, Yue Deng, and Peng Li
2Common-Centroid Capacitor Layout Generation Considering Device Matching and Parasitic Minimization / Mark Po-Hung Lin and others
3Charge Allocation in Hybrid Electrical Energy Storage Systems / Qing Xie and others
4Dynamic Driver Supply Voltage Scaling for Organic Light Emitting Diode Displays / Donghwa Shin and others
5Modeling Power Consumption of NAND Flash Memories Using FlashPower / Vidyabhushan Mohan and others
6Analytical Thermal Model for Self-Heating in Advanced FinFET Devices With Implications for Design and Reliability / Chuan Xu and others
7Verifying RLC Power Grids with Transient Current Constraints / Xuanxing Xiong and Jia Wang
8Efficient Spatial Pattern Analysis for Variation Decomposition via Robust Sparse Regression / Wangyang Zhang and others
9Library-Based Cell-Size Selection Using Extended Logical Effort / Mohammad Rahman, Hiran Tennakoon, and Carl Sechen
10Through-Silicon Via Fault-Tolerant Clock Networks for 3-D ICs / Chiao-Ling Lung and others
11PROMETHEUS: A Proactive Method for Thermal Management of Heterogeneous MPSoCs / Shervin Sharifi, Dilip Krishnaswamy and Tajana ˇSimuni´c Rosing
12Testing Chips With Spare Identical Cores / Abishek Ramdas and Ozgur Sinanoglu