Linköping University: Students Alumni Trade and Industry/Society Internal Search

Search Results

AUTHOR:YING ZHANG
Found 6 entries
  1. 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
  2. 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
  3. 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
  4. 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.
  5. 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.
  6. 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.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)