At DAC 2011, both myself and fellow Team Verify member Tom Anderson felt a distinct increase in the level of interest in Formal and assertion-based verification (ref. my DAC report, and Tom's). We weren't the only ones: at the Oski Technology booth (the same formal verification service provider I spoke to back at DVCon) their representatives always seemed to be busy with prospects. This snapshot taken on the traditionally slow Wednesday morning after the Cadence-Denali party was characteristic:
Fortunately for me their CEO Vigyan Singhal was able to peel away for a few minutes to discuss his take on the momentum of Formal and ABV at DAC, as well as share examples of how you can use abstraction methodologies to scale Formal to verify the critical state spaces of very large systems, and/or systems that can take many seconds to initialize. Vigyan's most surprising, counterintuitive observation: "one sign you are not using Formal as much as it can be used is that much of your verification code is SVA". Click here or on the video screen grab below to start the video and hear his reasoning.
Joe Hupcey III
for Team Verify
On Twitter: http://twitter.com/teamverify, @teamverify
Reference link: Oski Technology home page http://oskitech.com/