1. Equivalence Checking for Flow-Based Computing;2022 IEEE 40th International Conference on Computer Design (ICCD);2022-10
2. Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems;2022 IEEE 4th International Conference on Artificial Intelligence Circuits and Systems (AICAS);2022-06-13
3. Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing;Proceedings of the 14th IEEE/ACM International Symposium on Nanoscale Architectures;2018-07-17
4. Free Binary Decision Diagram-Based Synthesis of Compact Crossbars for In-Memory Computing;IEEE Transactions on Circuits and Systems II: Express Briefs;2018-05