Exploiting Free LUT Entries to Mitigate Soft Errors in SRAM-based FPGAs. - Keheng Huang; Yu Hu 001; Xiaowei Li 001; Gengxin Hua; Hongjin Liu; Bo Liu 018 (Asian Test Symposium, 2011)

Off-path leakage power aware routing for SRAM-based FPGAs. - Keheng Huang; Yu Hu 001; Xiaowei Li 001; Bo Liu 018; Hongjin Liu; Jian Gong (DATE, 2012)

HHC: Hierarchical hardware checkpointing to accelerate fault recovery for SRAM-based FPGAs. - Enshan Yang; Keheng Huang; Yu Hu 001; Xiaowei Li 001; Jian Gong; Hongjin Liu; Bo Liu 018 (IOLTS, 2013)

Property Coverage Analysis Based Trustworthiness Verification for Potential Threats from EDA Tools. - Yingxin Qiu; Huawei Li 001; Tiancheng Wang; Bo Liu 018; Yingke Gao; Xiaowei Li 001 (ATS, 2016)

An accurate algorithm for computing mutation coverage in model checking. - Huina Chao; Huawei Li 001; Tiancheng Wang; Xiaowei Li 001; Bo Liu 018 (ITC, 2016)

Path constraint solving based test generation for observability-enhanced branch coverage. - Yanhong Zhou; Huawei Li 001; Tiancheng Wang; Bo Liu 018; Yingke Gao; Xiaowei Li 001 (VTS, 2016)

Flip-flop clustering based trace signal selection for post-silicon debug. - Yun Cheng; Huawei Li 001; Ying Wang 001; Yingke Gao; Bo Liu 018; Xiaowei Li 001 (VTS, 2017)

On Trace Buffer Reuse-Based Trigger Generation in Post-Silicon Debug. - Yun Cheng; Huawei Li 001; Ying Wang 001; Haihua Shen; Bo Liu 018; Xiaowei Li 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Cross-Layer Optimization for Fault-Tolerant Deep Learning. - Qing Zhang; Cheng Liu 008; Bo Liu 018; Haitong Huang; Ying Wang 001; Huawei Li 001; Xiaowei Li 001 (CoRR, 2023)

Exploring Winograd Convolution for Cost-Effective Neural Network Fault Tolerance. - Xinghua Xue; Cheng Liu 008; Bo Liu 018; Haitong Huang; Ying Wang 001; Tao Luo 014; Lei Zhang 008; Huawei Li 001; Xiaowei Li 001 (IEEE Trans. Very Large Scale Integr. Syst., 2023)

MRFI: An Open-Source Multiresolution Fault Injection Framework for Neural Network Processing. - Haitong Huang; Cheng Liu 008; Xinghua Xue; Bo Liu 018; Huawei Li 001; Xiaowei Li 001 (IEEE Trans. Very Large Scale Integr. Syst., 2024)