1. Model Checking Leveraged Error Localization for Complex RTL Designs;2022 IEEE 40th International Conference on Computer Design (ICCD);2022-10
2. Exact diagnosis using boolean satisfiability;Proceedings of the 35th International Conference on Computer-Aided Design;2016-11-07
3. EvoDeb: Debugging Evolving Hardware Designs;2015 28th International Conference on VLSI Design;2015-01
4. Formal Guarantees for Localized Bug Fixes;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2013-08
5. Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces;2011 Asian Test Symposium;2011-11