Picture for Ghaith Bany Hamad

Ghaith Bany Hamad

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

Add code
Mar 24, 2025
Viaarxiv icon