Intel (United States) — United States
Computer Science · Physical Sciences
5h-index120citations10works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Testing and Debugging Techniques(9), VLSI and Analog Circuit Testing(6), Formal Methods in Verification(4), Machine Learning and Algorithms(3), Embedded Systems Design Techniques(2)
Publications10 total
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2009· 15 cited
Data mining in constrained random verification
2008· 2 cited
Lecture notes in computer science·2007· 11 cited
Proceedings·2006· 2 cited
Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design·2006· 3 cited
Simulation-based functional test justification using a decision-digram-based Boolean data miner.
International Conference on Computer Design·2006· 2 cited
Frequent Co-authors
Li-C. Wang(10), Charles H.‐P. Wen(4), Jeremy Levitt(2), Harry Foster(2), Tao Feng(2), Magdy S. Abadir(2), Hillel Miller(1), Jayanta Bhadra(1), Jin Yang(1)