Continuing the series of introducing you to the people that create the tools you use every day, in this video the R&D Architect of Incisive Enterprise Verifier (a/k/a "IEV") Vinaya Singh talks about the advantages of combining formal and simulation technologies, the most common misconceptions people have about mixing the two, and where this technology might go in 5 years time (preview: beyond RTL verification!).
If the embedded video doesn't play, click here.
Please feel free to ask Vinaya questions via the comments below; or click here to jump to the Team Verify home page to "send Team Verify a private message" for forwarding to Vinaya offline.
Joe Hupcey III
for Team Verify
On 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