• 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. Team Verify at CDNLive Silicon Valley Next Week – ABV, Formal…
TeamVerify
TeamVerify

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
NextOp
IP
ABV
methodology
Zocalo
CDNLive
Functional Verification
Formal Analysis
formal
EDA360
Incisive
Silicon Realization
assertion synthesis
IEV
IFV

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

20 Oct 2010 • 1 minute read

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.
http://www.cadence.com/cdnlive/in/2010/pages/default.aspx

Reference link: 2010 CDNLive Silicon Valley home page

 

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

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