will be under maintenance from Friday, Oct. 3rd at 6pm (PST) thru Sunday, Oct 5th at 11pm (PST). login, registration, community posting and commenting functionalities will be disabled.
Home > Community > Blogs > Functional Verification > video meet formal and abv r amp d
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

Register | Membership benefits
Get email delivery of the Functional Verification blog (individual posts).


* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

Video: Meet Formal and ABV R&D Team Leader Deepak Pant

Comments(0)Filed under: Functional Verification, Formal Analysis, metric driven verification (MDV), ABV, IEV, formal, IFV, Alok Jain, assertions, formal verification, assertion-based verification, ADS, video, Deepak Pant

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 III
for Team Verify

On Twitter:, @teamverify



Leave a Comment

E-mail (will not be published)
 I have read and agree to the Terms of use and Community Guidelines.
Community Guidelines
The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.