To complement our support of DAC, CDNLive, and other large scale events, where the program touches on holistic approaches to whole levels of design and verification realization, Team Verify is also proud to host the "Club Formal" event series. Patterned after the popular "ClubT" series for Specman users and other Trailblazers, Club Formal is a deep dive exclusively focused on topics in Formal analysis and Assertion-Based Verification (ABV). Here are images from the Club Formal we held in Munich, Germany back in February:
and the Club Formal held in San Jose, CA in May:
As you can see from the pictures, depending on the concentration of Formal users in a given area, the event can be relatively small -- from attendance in the high teens from several companies, to up to 50 people from over a dozen different companies. These free events feature direct contact with Cadence R&D and Methodology experts to share developments in advanced Formal techniques and methodologies, deliver updates to the Incisive Formal and Enterprise Verifier roadmaps, and hear attendees' emerging challenges and concerns.
Looking toward future events in this series: we are actively planning a Club Formal track in the "Incisive Seminar" coming to Yokohama, Japan this fall. We are also considering events in other areas of the USA, Europe, India, and Israel. Please contact us with your preferences.
Until the next Club Formal, happy verifying!
Axel Scherer
R&D Architect
for Team Verify
On Twitter: http://twitter.com/teamverify, @teamverify
Reference link:
All Cadence events, including Incisive Verification Seminars and webinars are listed here:
http://www.cadence.com/cadence/events/pages/default.aspx
P.S. There are actually "secret" Club Formal events in the works too -- they are unadvertised since they are held on site at a customer so attendees feel free to talk about their proprietary challenges. Let Team Verify know (and/or let your friendly local AE or Salesperson know) an onsite Club Formal would be of interest. Alternatively, to get the latest data ASAP we can also host live webinars with an agenda focused on your company's Formal and ABV top concerns. (Of course, the downside of this approach vs. going to a public event is you don't get to network with other users outside your company to glean new insights, tips, and tricks from their experiences.)
Photos by Kawe Fotouhi, Joe Hupcey III, Cadence