Author:
Fahim Ali M.,Veneris A.,Smith A.,Safarpour S.,Drechsler R.,Abadir M.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exact diagnosis using boolean satisfiability;Proceedings of the 35th International Conference on Computer-Aided Design;2016-11-07
2. A New Approach for Debugging Logic Circuits without Explicitly Debugging Their Functionality;2016 IEEE 25th Asian Test Symposium (ATS);2016-11
3. Debugging Methods Through Identification of Appropriate Functions for Internal Gates;IFIP Advances in Information and Communication Technology;2015
4. Debugging RTL Using Structural Dominance;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2014-01
5. Formal Guarantees for Localized Bug Fixes;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2013-08