2026

ARSP: Automated Repair of Verilog Design via Semantic Partitioning

Bingkun Yao, Ning Wang, Yuchen Hu, Xiangfeng Liu, Yuxin Du, Hong Gao, Zhe Jiang, Nan Guan

IEEE/ACM International Conference on Codesign of Embedded Systems (CODES) 2026

Automated repair of Verilog designs via semantic partitioning.

ARSP: Automated Repair of Verilog Design via Semantic Partitioning

Bingkun Yao, Ning Wang, Yuchen Hu, Xiangfeng Liu, Yuxin Du, Hong Gao, Zhe Jiang, Nan Guan

IEEE/ACM International Conference on Codesign of Embedded Systems (CODES) 2026

Automated repair of Verilog designs via semantic partitioning.

Insights from Verification: Training a Verilog Generation LLM using Reinforcement Learning with Testbench Feedback

Ning Wang, Bingkun Yao*, Jie Zhou, Yuchen Hu, Xi Wang, Zhe Jiang, Nan Guan

Design Automation Conference (DAC) 2026

Training a Verilog generation large language model using reinforcement learning with testbench feedback.

Insights from Verification: Training a Verilog Generation LLM using Reinforcement Learning with Testbench Feedback

Ning Wang, Bingkun Yao*, Jie Zhou, Yuchen Hu, Xi Wang, Zhe Jiang, Nan Guan

Design Automation Conference (DAC) 2026

Training a Verilog generation large language model using reinforcement learning with testbench feedback.

CircuitDiff: Bridging Netlist Knowledge with RTL based on Graph Denoising Diffusion

Ning Wang, Zichong Deng, Bingkun Yao, Jie Zhou, Yuchen Hu, Xi Wang, Zhe Jiang, Nan Guan

Design Automation Conference (DAC) 2026

Bridging netlist knowledge with RTL based on graph denoising diffusion.

CircuitDiff: Bridging Netlist Knowledge with RTL based on Graph Denoising Diffusion

Ning Wang, Zichong Deng, Bingkun Yao, Jie Zhou, Yuchen Hu, Xi Wang, Zhe Jiang, Nan Guan

Design Automation Conference (DAC) 2026

Bridging netlist knowledge with RTL based on graph denoising diffusion.

ChatFCM: Comprehension-Synthesis Decoupling for LLM-Based Functional Coverage Model Generation

Yuan Pu, Yudong He, Zhenghao Chen, Mingjun Wang, Bingkun Yao, Zhaotan Lin, Qin Chen, Bing Li, Song Chen, Zhuolun He, Wenjian Yu, Yanfeng Li, Bei Yu

IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2026

Comprehension-synthesis decoupling for LLM-based functional coverage model generation.

ChatFCM: Comprehension-Synthesis Decoupling for LLM-Based Functional Coverage Model Generation

Yuan Pu, Yudong He, Zhenghao Chen, Mingjun Wang, Bingkun Yao, Zhaotan Lin, Qin Chen, Bing Li, Song Chen, Zhuolun He, Wenjian Yu, Yanfeng Li, Bei Yu

IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2026

Comprehension-synthesis decoupling for LLM-based functional coverage model generation.

SymNLO: Automated and High-Accuracy Hardware Synthesis for General Nonlinear Operators

Xiangfeng Liu, Yuan Ling, Hui Wang, Yuchen Hu, Qingnan Wu, Bingkun Yao, Xiaomeng Han, Ning Wang, Qingxu Deng, Xi Wang, Zhe Jiang, Nan Guan

International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) 2026

Automated and high-accuracy hardware synthesis for general nonlinear operators.

SymNLO: Automated and High-Accuracy Hardware Synthesis for General Nonlinear Operators

Xiangfeng Liu, Yuan Ling, Hui Wang, Yuchen Hu, Qingnan Wu, Bingkun Yao, Xiaomeng Han, Ning Wang, Qingxu Deng, Xi Wang, Zhe Jiang, Nan Guan

International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) 2026

Automated and high-accuracy hardware synthesis for general nonlinear operators.

2025

Age-of-Information Minimization for Data Aggregation in Energy-Harvesting IoTs

Bingkun Yao, Mun Choon Chan, Hong Gao, Zhe Jiang, Nan Guan

ACM/IEEE Design Automation Conference (DAC) 2025

Minimizing the age of information for data aggregation in energy-harvesting IoT networks.

Age-of-Information Minimization for Data Aggregation in Energy-Harvesting IoTs

Bingkun Yao, Mun Choon Chan, Hong Gao, Zhe Jiang, Nan Guan

ACM/IEEE Design Automation Conference (DAC) 2025

Minimizing the age of information for data aggregation in energy-harvesting IoT networks.

Location is Key: Leveraging LLM for Functional Bug Localization in Verilog Design

Bingkun Yao, Ning Wang, Jie Zhou, Xi Wang, Hong Gao, Zhe Jiang, Nan Guan

ACM/IEEE Design Automation Conference (DAC) 2025

A large language model based approach for localizing functional bugs in Verilog hardware designs.

Location is Key: Leveraging LLM for Functional Bug Localization in Verilog Design

Bingkun Yao, Ning Wang, Jie Zhou, Xi Wang, Hong Gao, Zhe Jiang, Nan Guan

ACM/IEEE Design Automation Conference (DAC) 2025

A large language model based approach for localizing functional bugs in Verilog hardware designs.

Minimizing the AoI for Pull-Based Target-Level Data Collection in Energy-Harvesting IoTs

Bingkun Yao, Hong Gao, Yang Zhang, Dongjing Miao, Quan Chen, Jianzhong Li

IEEE Transactions on Mobile Computing 2025

Minimizing the age of information for pull-based target-level data collection in energy-harvesting IoT systems.

Minimizing the AoI for Pull-Based Target-Level Data Collection in Energy-Harvesting IoTs

Bingkun Yao, Hong Gao, Yang Zhang, Dongjing Miao, Quan Chen, Jianzhong Li

IEEE Transactions on Mobile Computing 2025

Minimizing the age of information for pull-based target-level data collection in energy-harvesting IoT systems.

VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction

Ning Wang, Bingkun Yao, Jie Zhou, Xi Wang, Zhe Jiang, Nan Guan

IEEE/ACM Proceedings of LAD (Language-Assisted Design) 2025

VeriDebug: a unified large language model for Verilog debugging using contrastive embedding and guided correction.

VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction

Ning Wang, Bingkun Yao, Jie Zhou, Xi Wang, Zhe Jiang, Nan Guan

IEEE/ACM Proceedings of LAD (Language-Assisted Design) 2025

VeriDebug: a unified large language model for Verilog debugging using contrastive embedding and guided correction.

Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning

Ning Wang, Bingkun Yao, Jie Zhou, Xi Wang, Zhe Jiang, Nan Guan

IEEE/ACM Proceedings of LAD (Language-Assisted Design) 2025

A large language model for Verilog code generation enhanced with code-structure-guided reinforcement learning.

Large Language Model for Verilog Generation with Code-Structure-Guided Reinforcement Learning

Ning Wang, Bingkun Yao, Jie Zhou, Xi Wang, Zhe Jiang, Nan Guan

IEEE/ACM Proceedings of LAD (Language-Assisted Design) 2025

A large language model for Verilog code generation enhanced with code-structure-guided reinforcement learning.

Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design

Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Nan Guan, Shuai Zhao, Zhe Jiang

ACM/IEEE Design Automation Conference (DAC) 2025

A large language model approach for solving assertion failures in RTL design by learning from correct and incorrect examples.

Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design

Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Nan Guan, Shuai Zhao, Zhe Jiang

ACM/IEEE Design Automation Conference (DAC) 2025

A large language model approach for solving assertion failures in RTL design by learning from correct and incorrect examples.

2023

Maximum AoI Minimization for Target Monitoring in Battery-free WSNs

Bingkun Yao, Hong Gao, Yang Zhang, Jinbao Wang, Jianzhong Li

IEEE Transactions on Mobile Computing 2023

Minimizing the maximum age of information for target monitoring in battery-free wireless sensor networks.

Maximum AoI Minimization for Target Monitoring in Battery-free WSNs

Bingkun Yao, Hong Gao, Yang Zhang, Jinbao Wang, Jianzhong Li

IEEE Transactions on Mobile Computing 2023

Minimizing the maximum age of information for target monitoring in battery-free wireless sensor networks.

2021

Energy-Adaptive and Bottleneck-Aware Many-to-many Communication Scheduling for Battery-Free WSNs

Bingkun Yao, Hong Gao, Quan Chen, Jianzhong Li

IEEE Internet of Things Journal 2021

Energy-adaptive and bottleneck-aware communication scheduling for many-to-many communication in battery-free wireless sensor networks.

Energy-Adaptive and Bottleneck-Aware Many-to-many Communication Scheduling for Battery-Free WSNs

Bingkun Yao, Hong Gao, Quan Chen, Jianzhong Li

IEEE Internet of Things Journal 2021

Energy-adaptive and bottleneck-aware communication scheduling for many-to-many communication in battery-free wireless sensor networks.

2019

Multicast Scheduling Algorithms for Battery-Free IoTs

Bingkun Yao, Hong Gao, Jianzhong Li

IEEE International Conference on Mobile Ad hoc and Sensor Systems (MASS) 2019

Multicast scheduling algorithms designed for battery-free IoT devices.

Multicast Scheduling Algorithms for Battery-Free IoTs

Bingkun Yao, Hong Gao, Jianzhong Li

IEEE International Conference on Mobile Ad hoc and Sensor Systems (MASS) 2019

Multicast scheduling algorithms designed for battery-free IoT devices.