1. Integrating Exact Simulation into Sweeping for Datapath Combinational Equivalence Checking;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
2. On EDA-Driven Learning for SAT Solving;2023 60th ACM/IEEE Design Automation Conference (DAC);2023-07-09
3. Improving Standard-Cell Design Flow using Factored Form Optimization;2023 60th ACM/IEEE Design Automation Conference (DAC);2023-07-09
4. NovelRewrite;Proceedings of the 59th ACM/IEEE Design Automation Conference;2022-07-10
5. Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis;2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC);2022-01-17