Scholar

Ghaith Bany Hamad

Google Scholar ID: 2RyPlIAAAAAJ

Stanford University

Artificial IntelligenceMachine LearningFormal verificationASIC Design and Verification

Google Scholar↗

Citations & Impact

All-time

Citations

665

H-index

11

i10-index

14

Publications

20

Co-authors

13

list available

Contact

No contact links provided.

Publications

1 items

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL

2025

Cited

0

Resume (English only)

Co-authors

13 total

Syed Rafay Hasan

Professor, Tennessee Technological University