1. UVM-Based Design and Verification of AHB-Lite to AXI Bridge;SoutheastCon 2024;2024-03-15
2. 10GB MAC CORE Verification Reference (Input Monitor) Module;2023 7th International Conference on Intelligent Computing and Control Systems (ICICCS);2023-05-17
3. A SAT Enhanced Word-Level Solver for Constrained Random Simulation;2023 International Symposium of Electronics Design Automation (ISEDA);2023-05-08
4. A Multi-Core Verification Method of Vector Instructions Based on Spike;2023 Asia-Pacific Conference on Image Processing, Electronics and Computers (IPEC);2023-04-14
5. Decision Diagrams for Quantum Computing;Design Automation of Quantum Computers;2022-08-13