SIGMA: Sign-off Intelligence with GenAI for Methodical Assurance in Formal Verification

Author(s):
R C Sanjay Krushnan, Moola Jeevan Chaitanya Goud, Sakthivel Ramaiah, Erik Seligman
Location:
United States
Year:
2026
Type:
Presentation
Format:
pdf