Picture for Syed Suhaib

Syed Suhaib

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

Add code
Mar 24, 2025
Viaarxiv icon