Please join Team Verify and other D&V engineers for one or both of the following free events over the next 2 weeks:
* This coming Tuesday November 8 starting at 11:30am on our San Jose campus, we are holding the next installment of "Club Formal." The main topics for this event will be abstraction and coverage unreachability methodologies. Here are more specifics: http://www.cadence.com/cadence/events/Pages/event.aspx?eventid=617
Register today! http://www.secure-register.net/cadence.php?product=228
* On Thursday November 17 at 9 am Pacific time, Solutions Engineer Joerg Muller (you may recognize him as the author of the recent "Formal Verification of Asynchronous Clocks" post) will show how the popular dynamic simulation methodology of scoreboarding can also be extended to the formal verification domain. Furthermore, as the EDA360 Insider notes, Joerg will show how we can fashion the scoreboard to be like an "app" so engineers with little assertion-based verification (ABV) experience can apply the technique. Here are more details on this free event:http://www.cadence.com/cadence/events/Pages/event.aspx?eventid=560
See you in San Jose, or "on the radio", soon!
On Twitter: http://twitter.com/teamverify, @teamverify
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://www.cadence.com/Community/blogs/fv/archive/2011/06/28/before-dac-there-was-club-formal-an-event-series-completely-focused-on-formal-and-abv.aspx?postID=1285587
P.P.S.: What are our free webinars like? In a nutshell, they are technical deep dives by domain experts on specific topics - with code examples and everything. Plus: attendees are always welcome to jump in and ask questions of the presenter via text chat or the live audio connection. It's easy to confirm this for yourself -- all of our webinars are recorded and archived here for you listening pleasure:http://www.cadence.com/cadence/events/pages/archive.aspx