Dr. Darbari sat down with Kiran Vittal from Synopsys and asks him why does Synopsys care about formal methods? Kiran is a Senior Product Marketing Director in the Verification Group at Synopsys, with 25 years of experience in EDA and semiconductor design. Kiran outlines that Synopsys is seeing massive traction for formal methods and the year-on-year growth in Synopsys for formal methods is clear evidence of this. When asked, how can budget companies afford formal tools from Synopsys, Kiran explains that Synopsys can also offer cost-effective solutions.