Cadence.com will be under maintenance from Friday, Oct. 3rd at 6pm (PST) thru Sunday, Oct 5th at 11pm (PST).
Cadence.com login, registration, community posting and commenting functionalities will be disabled.
Home > Community > Blogs > Functional Verification > shameless promotion free club formal san jose formal scoreboard webinar
 
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

Register | Membership benefits
Get email delivery of the Functional Verification blog (individual posts).
 

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

Shameless Promotion: Free Club Formal San Jose, Formal Scoreboard Webinar

Comments(0)Filed under: Functional Verification, Formal Analysis, verification strategy, ABV, IEV, formal, methodology, IFV, EDA360, formal verification, assertion-based verification, webinar, Club Formal, Joerg Mueller, scoreboard

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

Register today!
https://www.secure-register.net/register.php?event=12027

See you in San Jose, or "on the radio", soon!

Team Verify

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

 

Comments(0)

Leave a Comment


Name
E-mail (will not be published)
Comment
 I have read and agree to the Terms of use and Community Guidelines.
Community Guidelines
The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.