- 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
|
|
