Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Andreas G. Veneris, Jiang Brandon Liu. Incremental Design Debugging in a Logic Synthesis Environment. J. Electronic Testing, 21(5):485-494, 2005. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Improved Design Debugging Using Maximum SatisfiabilitySean Safarpour, Hratch Mangassarian, Andreas G. Veneris, Mark H. Liffiton, Karem A. Sakallah. FMCAD 2007: 13-19 [doi]
The following publications are possibly variants of this publication: