Continuing the series of introducing you to the people that create the tools you use every day, in this video I ask Bob Kurshan, Cadence Fellow and R&D leader of the Incisive Formal Verifier ("IFV") "Engines Team," about the challenges and/or tradeoffs in creating a formal engine, how to avoid gotchas in tricky problems like cache coherency verification, and how formal technology might evolve over the next 5 years.
If the embedded video doesn't play, click here.
Please feel free to ask Bob questions via the comments below; or jump to the Team Verify home page to "send Team Verify a private message" for forwarding to him offline.
Joe Hupcey IIIfor Team VerifyOn Twitter: http://twitter.com/teamverify, @teamverify
Reference links to prior R&D interviews:Distinguished Engineer Alok Jain
Incisive Formal R&D team leader Deepak Pant
Incisive Enterprise Verifier R&D Architect Vinaya Singh
Incisive Formal Verifier R&D leader Pradeep Goyal