Publications

Zhiyuan Yan, Xiaofeng Zhou, Ziyue Zheng, Ziyi Yang, Wenbin Che, Wei Zhang, Yangdi Lyu, Hongce Zhang (2026). NeuroAbs: LLM-Guided Neuro-Symbolic RTL Abstraction for Property Checking Acceleration. ICCAD.

Zhiyuan Yan, Ziyue Zheng, Hongce Zhang (2026). Coverage-Driven RTL Assertion Generation with Formal Exploration and Neuro-Symbolic Refinement. MLCAD.

Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu (2025). Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage using Warm Starting States. ICCD.

Zhiyuan Yan, Hongce Zhang (2025). Word-Level Counterexample Reduction Methods for Hardware Verification. DATE.

Zhiyuan Yan, Wenji Fang, Mengming Li, Min Li, Shang Liu, Zhiyao Xie, Hongce Zhang (2025). AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs. ASP-DAC.

Zhiyuan Yan, Hongce Zhang (2024). Word-Level Augmentation of Formal Proof by Learning from Simulation Traces. ICCAD.

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Ying-Cong Chen, Hongce Zhang (2024). AsymSAT: Accelerating SAT Solving with Asymmetric Graph-based Model Prediction. DATE.

PDF Cite Poster

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Ying-Cong Chen, Hongce Zhang (2023). The Elephant in the Room: Variable Dependency in GNN-based SAT Solving. DAV.

Chenlu Wang, Zhiyuan Yan, Chaoyang Gong, Hui Xie, Zhen Qiao, Zhiyi Yuan, Yu-Cheng Chen (2022). Multicolor Light Mixing in Optofluidic Concave Interfaces for Anticounterfeiting with Deep Learning Authentication. ACS Appl. Mater. Interfaces.

(0001). .