1. 半導体論理開発における検証技術の発展と標準化の動向;IEICE ESS Fundamentals Review;2023-04-01
2. A Comprehensive Study on the Design Methodology of Level Shifter Circuits;IEEE Transactions on Circuits and Systems I: Regular Papers;2023-01
3. A Scalable Methodology for Agile Chip Development with Open-Source Hardware Components;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30
4. A Comparison of SAT-based and SMT-based Frameworks for X-value Combinational Equivalence Checking;2022 IFIP/IEEE 30th International Conference on Very Large Scale Integration (VLSI-SoC);2022-10-03
5. Expand Reuse Strategy to ESL Power Modeling in SystemC/TLM;2021 28th IEEE International Conference on Electronics, Circuits, and Systems (ICECS);2021-11-28