Hongce Zhang
Scholar

Hongce Zhang

Google Scholar ID: C0Fiv5oAAAAJ
Hong Kong University of Science and Technology (Guangzhou)
Logic Design & VerificationHardware Model Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
649
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
25
list available
Contact
Emailhongcezh@ust.hkCVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
13 items
Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
2026
Cited
0
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
2026
Cited
0
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
2026
Cited
0
AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking
2026
Cited
0
LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
2026
Cited
0
EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning
2026
Cited
0
ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
2025
Cited
0
Functional Reduction to Speed Up Bounded Model Checking
2025
Cited
0
Resume (English only)
Co-authors
25 total
Wenji Fang
Wenji Fang
Hong Kong University of Science and Technology
Sharad Malik
Sharad Malik
Professor of Electrical and Computer Engineering, Princeton University
Zhiyao Xie
Zhiyao Xie
Assistant Professor, Hong Kong University of Science and Technology
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Aarti Gupta
Aarti Gupta
Princeton University
Co-author 7
Co-author 7
Co-author 8
Co-author 8