Home > Community > Blogs > Functional Verification > team verify at cdnlive silicon valley next week abv formal multi engine verification and more
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: *

Team Verify at CDNLive Silicon Valley Next Week – ABV, Formal, Multi-Engine Verification and More

Comments(0)Filed under: Functional Verification, Formal Analysis, CDNLive, Incisive, ABV, IEV, formal, methodology, IFV, EDA360, IP, NextOp, assertion synthesis, Zocalo, Silicon Realization

At next week's CDNLive! Silicon Valley in San Jose, California, Cadence will cover all aspects of our verification technologies and methodologies (the agenda for Day 1 is posted here, and the Day 2 techtorials here).  Of course, Team Verify will be there to support any and all events related to assertion-based verification in general, and formal and multi-engine verification in particular.  Here are the specific events focused on our favorite subjects:

Tuesday October 26, 2010 at the Fairmont Hotel, San Jose CA

9:45am - 10:15am: Cadence Silicon Realization overview - learn how our ABV solutions are a piece of the bigger EDA360 Silicon Realization puzzle, especially when it comes to creating perfectly clean IP that's ready to truly ready to plug and play

11:50am - 1:15pm: Lunch with R&D, Solutions Architects, and Field Specialists - Team Verify will have our own table - join us!

5:05pm - 5:50pm: Silicon Realization track paper on "Assertion Synthesis to Drive Formal, Simulation, and Acceleration," by NextOp Software's CEO Dr. Yunshan Zhu.  Here is a sneak preview.

6:45pm - 9:00pm: Designer Expo & Reception: chat with ABV-focused Connection partners Zocalo, NextOp Software, and others; as well as continuing the conversations started at lunch with R&D and the Solutions Architects.

Wednesday October 27, 2010 at the Cadence campus in San Jose, CA

Detailed "techtorial" entitled, "Four Ways to Win: Using Formal, Multi-Engine, Assertion-Based, and Metric Driven Verification To Find Bugs Faster," presented by expert Application Engineers Bin Ju and Darrow Chu.  (You might recognize Darrow from this recent interview.)

See you next week!

Team Verify

On Twitter: @teamverify --  http://twitter.com/teamverify

P.S. Note to our India-based users: Team verify will also be out in force at CDNLive India in Bangalore on November 16.

Reference link: 2010 CDNLive Silicon Valley home page



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.