Sciweavers

ASPDAC
2015
ACM
19views Hardware» more  ASPDAC 2015»
8 years 7 months ago
Generating circuit current constraints to guarantee power grid safety
—Efficient and early verification of the chip power distribution network is a critical step in modern IC design. Vectorless verification, developed over the last decade as an ...
Zahi Moudallal, Farid N. Najm
ASPDAC
2015
ACM
21views Hardware» more  ASPDAC 2015»
8 years 7 months ago
Hardware Trojan detection using exhaustive testing of k-bit subspaces
— Post-silicon hardware Trojan detection is challenging because the attacker only needs to implement one of many possible design modifications, while the verification e↵ort m...
Nicole Lesperance, Shrikant Kulkarni, Kwang-Ting C...
ASPDAC
2015
ACM
17views Hardware» more  ASPDAC 2015»
8 years 7 months ago
Iterative disparity voting based stereo matching algorithm and its hardware implementation
- Stereo matching is one of the key problems in computer vision. A large number of algorithms have been proposed but few of them achieve both high accuracy and short processing tim...
Zhi Hu, Yibo Fan, Xiaoyang Zeng
ASPDAC
2015
ACM
23views Hardware» more  ASPDAC 2015»
8 years 7 months ago
A novel approach using a minimum cost maximum flow algorithm for fault-tolerant topology reconfiguration in NoC architectures
- An approach using a minimum cost maximum flow algorithm is proposed for fault-tolerant topology reconfiguration in a Network-on-Chip system. Topology reconfiguration is converted...
Leibo Liu, Yu Ren, Chenchen Deng, Shouyi Yin, Shao...
ASPDAC
2015
ACM
15views Hardware» more  ASPDAC 2015»
8 years 7 months ago
A retargetable and accurate methodology for logic-IP-internal electromigration assessment
— A new methodology for SoC-level logic-IP-internal EM verification is presented, which provides an on-the-fly retargeting capability for reliability constraints. This flexibilit...
Palkesh Jain, Sachin S. Sapatnekar, Jordi Cortadel...
ASPDAC
2015
ACM
19views Hardware» more  ASPDAC 2015»
8 years 7 months ago
Incremental Latin hypercube sampling for lifetime stochastic behavioral modeling of analog circuits
—In advanced technology node, not only process variations but also aging effects have critical impacts on circuit performance. Most of existing works consider process variations ...
Yen-Lung Chen, Wei Wu, Chien-Nan Jimmy Liu, Lei He
ASPDAC
2015
ACM
9views Hardware» more  ASPDAC 2015»
8 years 7 months ago
Heterogeneous architecture design with emerging 3D and non-volatile memory technologies
—Energy becomes the primary concern in nowadays multi-core architecture designs. Moore’s law predicts that the exponentially increasing number of cores can be packed into a sin...
Qiaosha Zou, Matthew Poremba, Rui He, Wei Yang, Ju...
ASPDAC
2015
ACM
3views Hardware» more  ASPDAC 2015»
8 years 7 months ago
Vulnerability analysis for crypto devices against probing attack
Probing attack is a severe threat for the security of hardware cryptographic modules (HCMs). In this paper, we make the first step to evaluate the vulnerability of HCMs against p...
Lingxiao Wei, Jie Zhang, Feng Yuan, Yannan Liu, Ju...
ASPDAC
2015
ACM
6views Hardware» more  ASPDAC 2015»
8 years 7 months ago
Layout decomposition co-optimization for hybrid e-beam and multiple patterning lithography
—As the feature size keeps scaling down and the circuit complexity increases rapidly, a more advanced hybrid lithography, which combines multiple patterning and e-beam lithograph...
Yunfeng Yang, Wai-Shing Luk, Hai Zhou, Changhao Ya...
ASPDAC
2015
ACM
6views Hardware» more  ASPDAC 2015»
8 years 7 months ago
Evaluation of runtime monitoring methods for real-time event streams
— Runtime monitoring is of great importance as a safe guard to guarantee the correctness of system runtime behaviors. Two new methods, i.e., dynamic counters and l-repetitive fun...