Publications

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

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

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

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). .