Inspired by the positive response to my interview of Formal R&D Distinguished Engineer Alok Jain, while I was in India for CDNLive! I jumped at the opportunity to introduce to this community to more leaders in our R&D organization -- people that directly drive the development of the tools you use every day. Hence, in this video Incisive Formal R&D team leader Deepak Pant talks about how formal has gone well beyond basic, IP-level verification, and how the concept of coverage can extend to formal -- both for debugging formal constraints as well as for simulation-style progress measurement and coverage unreachability.
If the embedded video doesn't play, click here.
Please feel free to ask Deepak questions via the comments below; or click here to jump to the Team Verify home page and click on "Send Team Verify a private message" for forwarding to Deepak offline.
Joe Hupcey IIIfor Team VerifyOn Twitter: http://twitter.com/teamverify, @teamverify