Enabling Formal Verification at Scale: An Agentic AI-driven Approach to RTL Bring-up
This session describes a verification methodology transformation that enabled a design team to adopt formal verification techniques despite being completely new to formal flows. The team previously relied heavily on simulation-based verification without static analysis or formal methods, with limited personnel and expertise to write properties or deploy formal tools effectively.
