Feng Lu

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Feng Lu, Kwang-Ting Cheng
SEChecker: A Sequential Equivalence Checking Framework Based on Kth Invariants. IEEE Trans. Very Large Scale Integr. Syst. 17 (6) (2009)
Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng
Multiple-Fault Diagnosis Based On Adaptive Diagnostic Test Pattern Generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (5) (2007)
Feng Lu, Kwang-Ting Cheng
IChecker: An Efficient Checker for Inductive Invariants. HLDVT (2006)
Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng
Pseudofunctional testing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (8) (2006)
Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng
Accurate Diagnosis of Multiple Faults. ICCD (2005)
Feng Lu, Madhu K. Iyer, Ganapathy Parthasarathy, Li-C. Wang, Kwang-Ting Cheng, Kuang-Chien Chen
An Efficient Sequential SAT Solver With Improved Search Strategies. DATE (2005)
Feng Lu, Kwang-Ting (Tim) Cheng
Sequential equivalence checking based on k-th invariants and circuit SAT solving. HLDVT (2005)
Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng
Pseudo-Functional Scan-based BIST for Delay Fault. VTS (2005)
Yung-Chieh Lin, Feng Lu, Kai Yang, Kwang-Ting Cheng
Constraint extraction for pseudo-functional scan-based delay testing. ASP-DAC (2005)
Feng Lu, Li-C. Wang, Kwang-Ting (Tim) Cheng, John Moondanos, Ziyad Hanna
A Signal Correlation Guided Circuit-SAT Solver. J. Univers. Comput. Sci. 10 (12) (2004)
Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. Huang
A Circuit SAT Solver With Signal Correlation Guided Learning. DATE (2003)
Feng Lu, Li-C. Wang, Kwang-Ting Cheng, John Moondanos, Ziyad Hanna
A signal correlation guided ATPG solver and its applications for solving difficult industrial cases. DAC (2003)