Scholar
Ghaith Bany Hamad
Google Scholar ID: 2RyPlIAAAAAJ
Stanford University
Artificial Intelligence
Machine Learning
Formal verification
ASIC Design and Verification
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
798
H-index
14
i10-index
20
Publications
20
Co-authors
13
list available
Publications
2 items
FVRuleLearner: Operator-Level Reasoning Tree (Op-Tree)-Based Rules Learning for Formal Verification
IEEE VLSI Test Symposium · 2026
Cited
1
AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
2025
Cited
0
Co-authors
7 total
Syed Rafay Hasan
Professor, Tennessee Technological University
Mark H. Ren
Nvidia
Farimah Poursafaei
Mila, Quebec AI Institute & McGill University
Minwoo Kang
University of California, Berkeley
Mingjie Liu
NVIDIA Corporation
Yunsheng Bai
University of California, Los Angeles
Mounir Boukadoum
UQAM
