Feng Lu

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