Hongqin Lyu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPDAC | 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 |
| 2026 | DATE | 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 |
| 2026 | ETS | 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 |
| 2025 | ITC | 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 |
| 2025 | VTS | 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 |
| 2024 | DAC | SmartATPG: Learning-based Automatic Test Pattern Generation with Graph Convolutional Network and Reinforcement Learning. | Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Huawei Li |
| 2021 | PDCAT | A Blockchain-Based Continuous Query Differential Privacy Algorithm. | Heng Ouyang, Hongqin Lyu, Shigong Long, Hai Liu, Hongfa Ding |