- On Modeling and Detecting Trojans in Instruction Sets
Ying Zhang, Aodi He, Jiaying Li, Ahmed Rezine, Zebo Peng, Erik Larsson, Tao Yang, Jianhui Jiang, Huawei Li
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 43, no. 10, pp. 3226-3239
- Software-based Self-Testing using Bounded Model Checking for Out-of-Order Superscalar Processors
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Wafer-Level NoC
Zhongsheng Chen, Ying Zhang, Zebo Peng, Jianhui Jiang
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Florence, Italy
- Software-based Self-Testing using Bounded Model Checking for Out-of-Order Superscalar Processors
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Temperature-Aware Software-Based Self-Testing for Delay Faults
Ying Zhang, Zebo Peng, J. Jiang, H. Li, M. Fujita
Proc. Design, Automation and Test in Europe Conference (DATE’15), Grenoble, France, Mar. 9-13, 2015.
- Automatic Test Program Generation for Out-of-Order Superscalar Processors
Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng
21st IEEE Asian Test Symposium (ATS 2012), Niigata, Japan, November 19-22, 2012.
- Automatic Test Program Generation Using Executing Trace Based Constraint Extraction for Embedded Processors
Ying Zhang, Huawei Li, Xiaowei Li
IEEE Transactions on Very Large Scale Integration Systems, 2012.
|
|
