Lei Fang

According to our database, Lei Fang authored at least 7 papers between 2006 and 2008.

Collaborative distances:

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

2008

Exploring Constraint Satisfiability Techniques in Formal Verification.

Lei Fang

PhD thesis, 2008

Boosting SAT Solver Performance via a New Hybrid Approach.

Lei Fang, Michael S. Hsiao

J. Satisf. Boolean Model. Comput., 2008

Guided test generation for isolation and detection of embedded trojans in ics.

Mainak Banga, Maheshwar Chandrasekar, Lei Fang, Michael S. Hsiao

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

A Fast Approximation Algorithm for MIN-ONE SAT.

Lei Fang, Michael S. Hsiao

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Efficient power droop aware delay fault testing.

Bin Li, Lei Fang, Michael S. Hsiao

Proceedings of the 2007 IEEE International Test Conference, 2007

A new hybrid solution to boost SAT solver performance.

Lei Fang, Michael S. Hsiao

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Bilateral Testing of Nano-scale Fault-tolerant Circuits.

Lei Fang, Michael S. Hsiao

Proceedings of the 21th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2006), 2006