Publications

Ziyi Yang, Wenbin Che, Ziyue Zheng, Guangyu Hu, Hongce Zhang (2026). Forbench: Symbolic Simulation Helps Make Your Testbench More Formal. ICCAD.

Code

Xingyu Liu, Hanwei Fan, Chaofang Ma, Jiawei Liang, Guangyu Hu, Jiang Xu, Wei Zhang (2026). APEX-RBD: Mixed-Precision Exploration Framework for Hardware-Efficient Robot Dynamics Accelerator Design. ICCAD.

Mingkai Miao, Guangyu Hu, Ziyi Yang, Hongce Zhang (2026). IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking. IJCAI.

PDF Code

Xiaoyong Mei, Tingting Zuo, Da Chen, Guangyu Hu, Xiangyu Wen, Chao Duan, Mingyan Zhang, Fudan Zheng (2026). Beyond Overlap Metrics: Rewarding Reasoning and Preferences for Faithful Multi-Role Dialogue Summarization. ACL Findings.

PDF DOI Models & Data

Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang (2026). A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking. CAV.

PDF Code DOI Artifact (Zenodo)

Mingkai Miao, Guangyu Hu, Wei Zhang, Hongce Zhang (2026). LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking. DAC.

PDF Code

Jingren Wang, Guangyu Hu, Shiju Lin, Hongce Zhang (2026). Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation. IWLS.

PDF

Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, Xiangyu Wen, Mingxuan Yuan (2026). SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction. ISCAS.

PDF DOI

Guangyu Hu, Chen Chen, Xiaofeng Zhou, Jiaxi Zhang, Wei Zhang, Hongce Zhang (2026). AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking. ISEDA.

PDF Code

Xiaofeng Zhou, Linfeng Du, Guangyu Hu, Sharad Sinha, Hongce Zhang, Jiang Xu, Wei Zhang (2026). AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs. FCCM.

PDF DOI

Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, Hongce Zhang (2026). FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping. DATE.

PDF Code DOI

Guangyu Hu, Xiaofeng Zhou, Wei Zhang, Hongce Zhang (2026). EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning. TACAS.

PDF Code DOI

Rongliang Fu, Wei Xuan, Shuo Yin, Guangyu Hu, Chen Chen, Hongce Zhang, Bei Yu, Tsung-Yi Ho (2026). eLogic: An E-Graph-based Logic Rewriting Framework for Majority-Inverter Graphs. DATE.

PDF Code DOI

Mingkai Miao, Jianheng Tang, Guangyu Hu, Hongce Zhang (2026). BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning. AAAI.

PDF Code DOI

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.

Code DOI

Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang (2025). E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. DAC.

PDF Code DOI

Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang (2024). E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. DAC.

PDF Code DOI

Guangyu Hu, Jianheng Tang, Changyuan Yu, Wei Zhang, Hongce Zhang (2024). DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction. ASP-DAC.

Code DOI

Guangyu Hu, Wei Zhang, Hongce Zhang (2023). NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking. MLCAD.

Code DOI

Wenji Fang, Guangyu Hu, Hongce Zhang (2023). r-map: Relating Implementation and Specification in Hardware Refinement Checking. TCAD.

DOI

Wenhao Wang, Guangyu Hu, Xiaolin Xu, Jiliang Zhang (2021). CRAlert: Hardware-Assisted Code Reuse Attack Detection. TCAS-II.

DOI