Hongqin Lyu

According to our database, Hongqin Lyu authored at least 17 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring.

Hongqin Lyu, Yonghao Wang, Zhiteng Chao, Tiancheng Wang, Huawei Li

CoRR, May, 2026

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation.

Yonghao Wang, Hongqin Lyu, Boling Chen, MinYang Bao, Wenchao Ding, Feng Gu, Zhiteng Chao, Jianan Mu, Kan Shi, Tiancheng Wang, Huawei Li

CoRR, April, 2026

Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification.

Yonghao Wang, Jiaxin Zhou, Yang Yin, Hongqin Lyu, Zhiteng Chao, Wenchao Ding, Jing Ye, Tiancheng Wang, Huawei Li

CoRR, February, 2026

AssertMiner-pro: Enhanced module-level spec generation and assertion mining with LLM guided by top-down hierarchical strategies.

Yonghao Wang, Jiaxin Zhou, Hongqin Lyu, Boling Chen, Mingyu Shi, Zhiteng Chao, Tiancheng Wang, Huawei Li

Integr., 2026

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations.

Yonghao Wang, Yang Yin, Hongqin Lyu, Jiaxin Zhou, Zhiteng Chao, Mingyu Shi, Wenchao Ding, Yunlin Du, Jing Ye, Tiancheng Wang, Huawei Li

Proceedings of the Design, Automation & Test in Europe Conference, 2026

AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs.

Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li

Proceedings of the 31st Asia and South Pacific Design Automation Conference, 2026

2025

AssertFix: Empowering Automated Assertion Fix via Large Language Models.

Hongqin Lyu, Yunlin Du, Yonghao Wang, Zhiteng Chao, Tiancheng Wang, Huawei Li

CoRR, September, 2025

DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications.

Yonghao Wang, Jiaxin Zhou, Hongqin Lyu, Zhiteng Chao, Tiancheng Wang, Huawei Li

CoRR, September, 2025

HighTPI: A Hierarchical Graph Based Intelligent Method for Test Point Insertion.

Zhiteng Chao, Bin Sun, Hongqin Lyu, Ge Yu, Minjun Wang, Wenxing Li, Zizhen Liu, Jianan Mu, Shengwen Liang, Jing Ye, Xiaowei Li, Huawei Li

Proceedings of the 43rd IEEE VLSI Test Symposium, 2025

TESLA: Testability Enhancement for Shift-Left Automation via Multi-LLM Collaboration.

Zhiteng Chao, Rengang Zhang, Feng Gu, Hongqin Lyu, Bin Sun, Wenxing Li, Zizhen Liu, Jianan Mu, Jing Ye, Xiaowei Li, Huawei Li

Proceedings of the IEEE International Test Conference, 2025

MacLight: Multi-scene Aggregation Convolutional Learning for Traffic Signal Control.

Sunbowen Lee, Hongqin Lyu, Yicheng Gong, Yingying Sun, Chao Deng

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

AssertGen: Enhancement of LLM-aided Assertion Generation through Cross-Layer Signal Bridging.

Hongqin Lyu, Yonghao Wang, Yunlin Du, Mingyu Shi, Zhiteng Chao, Wenxing Li, Tiancheng Wang, Huawei Li

Proceedings of the 34th IEEE Asian Test Symposium, 2025

2024

A Static Test Compaction Method Based on GCN Assisted Fault Gate Classification.

Zhiteng Chao, Qinluan Dai, Jiale Li, Zizhen Liu, Wenxing Li, Hongqin Lyu, Jing Ye, Huawei Li, Xiaowei Li

Proceedings of the IEEE International Test Conference in Asia, 2024

SmartATPG: Learning-based Automatic Test Pattern Generation with Graph Convolutional Network and Reinforcement Learning.

Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Huawei Li

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Federated learning privacy incentives: Reverse auctions and negotiations.

Hongqin Lyu, Yongxiong Zhang, Chao Wang, Shigong Long, Shengnan Guo

CAAI Trans. Intell. Technol., December, 2023

Intelligent Automatic Test Pattern Generation for Digital Circuits Based on Reinforcement Learning.

Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Pengyu Tian, Huawei Li

Proceedings of the 32nd IEEE Asian Test Symposium, 2023

2021

A Blockchain-Based Continuous Query Differential Privacy Algorithm.

Heng Ouyang, Hongqin Lyu, Shigong Long, Hai Liu, Hongfa Ding

Proceedings of the Parallel and Distributed Computing, Applications and Technologies, 2021