Concepedia

Feng Lu

FL

14

Publications

555

Citations

12

H-Index

2003

Active since

Affiliations

University of California, Santa Barbara(Current)

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

Université de Montpellier

Techniques of Informatics and Microelectronics for Integrated Systems Architecture

Université Grenoble Alpes

Feng Lu is an author at University of California, Santa Barbara specializing in computer engineering, engineering, and computer science.

Top concepts

EngineeringComputer EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationProgram AnalysisComputer ArchitectureSoftware AnalysisSoftware Testing

Publications per year

2003–2014

14

Publications

14

A Circuit SAT Solver With Signal Correlation Guided Learning

Feng Lu, Li-C. Wang, Kwang‐Ting Cheng et al. · Design, Automation, and Test in Europe · 2003 · 104 citations

Artificial Intelligence, Circuit Complexity, Engineering +20

Constraint extraction for pseudo-functional scan-based delay testing

Yung‐Chieh Lin, Feng Lu, Kai Yang et al. · 2005 · 82 citations

Mathematical Programming, Engineering, Verification +18

Constraint extraction for pseudo-functional scan-based delay testing

Yung‐Chieh Lin, Feng Lu, Kai Yang et al. · Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. · 2005 · 57 citations

Mathematical Programming, Engineering, Verification +18

A circuit SAT solver with signal correlation guided learning

Feng Lu, Li-C. Wang, Kwang‐Ting Cheng et al. · 2003 Design, Automation and Test in Europe Conference and Exhibition · 2003 · 52 citations

Artificial Intelligence, Circuit Complexity, Engineering +20

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

Feng Lu, Li-C. Wang, Kwang‐Ting Cheng et al. · 2003 · 51 citations

Engineering, Machine Learning, Hardware Algorithm +20

Rows per page

1–5 of 14