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!
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