A signal correlation guided ATPG solver and its applications for solving difficult industrial cases. - Feng Lu 002; Li-C. Wang; Kwang-Ting Cheng; John Moondanos; Ziyad Hanna (DAC, 2003)

A Circuit SAT Solver With Signal Correlation Guided Learning. - Feng Lu 002; Li-C. Wang; Kwang-Ting Cheng; Ric C.-Y. Huang (DATE, 2003)

A Signal Correlation Guided Circuit-SAT Solver. - Feng Lu 002; Li-C. Wang; Kwang-Ting (Tim) Cheng; John Moondanos; Ziyad Hanna (J. Univers. Comput. Sci., 2004)

Constraint extraction for pseudo-functional scan-based delay testing. - Yung-Chieh Lin; Feng Lu 002; Kai Yang; Kwang-Ting Cheng (ASP-DAC, 2005)

An Efficient Sequential SAT Solver With Improved Search Strategies. - Feng Lu 002; Madhu K. Iyer; Ganapathy Parthasarathy; Li-C. Wang; Kwang-Ting Cheng; Kuang-Chien Chen (DATE, 2005)

Sequential equivalence checking based on k-th invariants and circuit SAT solving. - Feng Lu 002; Kwang-Ting (Tim) Cheng (HLDVT, 2005)

Accurate Diagnosis of Multiple Faults. - Yung-Chieh Lin; Feng Lu 002; Kwang-Ting Cheng (ICCD, 2005)

Pseudo-Functional Scan-based BIST for Delay Fault. - Yung-Chieh Lin; Feng Lu 002; Kwang-Ting Cheng (VTS, 2005)

IChecker: An Efficient Checker for Inductive Invariants. - Feng Lu 002; Kwang-Ting Cheng (HLDVT, 2006)

Pseudofunctional testing. - Yung-Chieh Lin; Feng Lu 002; Kwang-Ting Cheng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Multiple-Fault Diagnosis Based On Adaptive Diagnostic Test Pattern Generation. - Yung-Chieh Lin; Feng Lu 002; Kwang-Ting Cheng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

SEChecker: A Sequential Equivalence Checking Framework Based on Kth Invariants. - Feng Lu 002; Kwang-Ting Cheng (IEEE Trans. Very Large Scale Integr. Syst., 2009)