Feng Lu

According to our database, Feng Lu authored at least 12 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

SEChecker: A Sequential Equivalence Checking Framework Based on Kth Invariants.

Feng Lu, Kwang-Ting Cheng

IEEE Trans. Very Large Scale Integr. Syst., 2009

2007

Multiple-Fault Diagnosis Based On Adaptive Diagnostic Test Pattern Generation.

Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

2006

Pseudofunctional testing.

Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

IChecker: An Efficient Checker for Inductive Invariants.

Feng Lu, Kwang-Ting Cheng

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

Pseudo-Functional Scan-based BIST for Delay Fault.

Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng

Proceedings of the 23rd IEEE VLSI Test Symposium (VTS 2005), 2005

Accurate Diagnosis of Multiple Faults.

Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Sequential equivalence checking based on k-th invariants and circuit SAT solving.

Feng Lu, Kwang-Ting (Tim) Cheng

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

An Efficient Sequential SAT Solver With Improved Search Strategies.

Feng Lu, Madhu K. Iyer, Ganapathy Parthasarathy, Li-C. Wang, Kwang-Ting Cheng, Kuang-Chien Chen

Proceedings of the 2005 Design, 2005

Constraint extraction for pseudo-functional scan-based delay testing.

Yung-Chieh Lin, Feng Lu, Kai Yang, Kwang-Ting Cheng

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

A Signal Correlation Guided Circuit-SAT Solver.

Feng Lu, Li-C. Wang, Kwang-Ting (Tim) Cheng, John Moondanos, Ziyad Hanna

J. Univers. Comput. Sci., 2004

2003

A Circuit SAT Solver With Signal Correlation Guided Learning.

Feng Lu, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. Huang

Proceedings of the 2003 Design, 2003

A signal correlation guided ATPG solver and its applications for solving difficult industrial cases.

Feng Lu, Li-C. Wang, Kwang-Ting Cheng, John Moondanos, Ziyad Hanna

Proceedings of the 40th Design Automation Conference, 2003