• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. Video: Meet Incisive Enterprise Verifier R&D Architect Vinaya…
TeamVerify
TeamVerify

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
Joe Hupcey III
ABV
Vinaya Singh
Functional Verification
Formal Analysis
formal
video
assertions
IEV
Assertion-Driven Simulation
Formal verification
Assertion-based verification

Video: Meet Incisive Enterprise Verifier R&D Architect Vinaya Singh

29 Nov 2011 • Less than one minute read

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

 

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information