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