Please join Team Verify and other design and verification engineers at the next "Club Formal" on the Cadence San Jose campus on Wednesday, October 17 at 11:30am. This free, half-day event (including lunch) is a great opportunity to learn more about general advances in formal analysis and assertion-based verification, and to network with others in your field. Based on attendee feedback from previous events, we will deep-dive on the following topics:
* How customers are using the new Coverage Unreachability formal app to save time, power, and die area
* A presentation of the HVC-2011 paper, "Liveness vs Safety - a practical viewpoint", by B. A. Krishna, of Chelsio Communications Inc.
* The award-winning DAC User Track paper on bypass verification with formal techniques, reviewed by Vigyan Singhal of Oski Technology
* Updates and product roadmaps for Incisive Formal Verifier (IFV), Incisive Enterprise Verifier (IEV), and Assertion-Based Verification IP, presented by Chris Komar of Cadence R&D (You might remember Chris from our DVCon tutorial on formal apps this past spring.)
Again, this free event will run from 11:30am to 4:30pm on the Cadence San Jose campus, Building 10, in the Kirra Point conference room. (Building 10 is the high-rise on the intersection of Montague Expressway and Trimble - street address 2655 Seely Avenue, San Jose, CA 95134).
Sign-in and lunch start promptly at 11:30am.
Register today! http://www.secure-register.net/cadence/SILR_Club_Formal_4Q12
We look forward to meeting with you soon,
On Twitter: http://twitter.com/teamverify, @teamverify
And on Facebook:
P.S. What's a free "Club Formal" user group event like? Here are highlights from prior events we've held here in San Jose and around the world: http://goo.gl/3xOK8
Snapshot from the last Club Formal San Jose (with 50 attendees!)
P.S.S. We also support private Club Formal events too, held on a customer's site 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 engineers outside your company to glean new insights, tips, and tricks from their experiences.)