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ố 12, 2013
Mục lục:
STTNội dung
1Real-Time Error Recovery in Cyberphysical Digital-Microfluidic Biochips Using a Compact Dictionary / Yan Luo, Krishnendu Chakrabarty, and Tsung-Yi Ho
2Enhanced Precision Analysis for Accuracy-Aware Bit-Width Optimization Using Affine Arithmetic / Shervin Vakili, J. M. Pierre Langlois, Member, IEEE, and Guy Bois
3Simultaneous Constrained Pin Assignment and Escape Routing Considering Differential Pairs for FPGA-PCB Co-design / Seong-I Lei and Wai-Kei Mak
4Improving the Quality of Delay-Based PUFsvia Optical Proximity Correction / Domenic Forte and Ankur Srivastava
5Ultrahigh Density Logic Designs Using Monolithic 3-D Integration / Young-Joon Lee, Student Member, IEEE, and Sung Kyu Lim
6Virtual Channels and Multiple Physical Networks: Two Alternatives to Improve NoC Performance / Young Jin Yoon, Nicola Concer, Michele Petracca, and Luca P. Carloni
7Performance Estimation Techniques With MPSoC Transaction-Accurate Models / De Ma and others
8Efficient Process Shift Detection and Test Realignment / Ender Yilmaz, Sule Ozev, and Kenneth M. Butler
9A Two-Variable Model for SAT-Based ATPG / Huan Chen, and Joao Marques-Silva
10Non-Test Cubes for Test Generation Targeting Hard-to-Detect Faults / Irith Pomeranz
11Security Analysis of Industrial Test Compression Schemes / Amitabh Das and others
12Counterexample Ranking Using Mined Invariants / Srobona Mitra and others
13Software Workarounds for Hardware Errors: Instruction Patch Synthesis / Tsung-Po Liu, Shuo-Ren Lin, and Jie-Hong R. Jiang