• 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: Bob Kurshan, Cadence Fellow and Incisive Formal R&D…
TeamVerify
TeamVerify

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
ABV
Formal Analysis
formal
video
Kurshan
cache coherency
IEV
Bob Kurshan
Formal verification
IFV
verification
Assertion-based verification

Video: Bob Kurshan, Cadence Fellow and Incisive Formal R&D Leader, talks about Formal Engine Tech

5 Jan 2012 • 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 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 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

Incisive Enterprise Verifier R&D Architect Vinaya Singh

Incisive Formal Verifier R&D leader Pradeep Goyal

 

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

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