Home > Community > Blogs > Functional Verification > join us at fmcad october 20 23
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).


* 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: *

Join Us at FMCAD October 20-23

Comments(0)Filed under: Functional Verification, Formal Analysis, ABV, IEV, formal, IFV, Alok Jain, FMCAD

Are you deeply interested in formal and assertion-based verification technology?  Are you wondering what algorithms and methodologies are coming over the horizon in this rapidly evolving space?  Have you been looking for an opportunity to influence the leading thinkers in this field with feedback from your real world experiences?

If so, we recommend you join us at the 10th International Conference on Formal Methods in Computer-Aided Design, a/k/a "FMCAD" on October 20-23 in Lugano, Switzerland.  While this conference has traditionally focused on research, this year the conference is expanding to bridge the gap between research and real world applications via a whole new "industrial" track complemented by detailed tutorials.  Of course Cadence R&D and Solution Architects will be there (including Distinguished Engineer Alok Jain), and they will be eager to discuss your verification challenges and project roadmaps.

For further details see http://fmcad10.iaik.tugraz.at/FMCAD10_program.pdf

Hope to see you there!

Team Verify

Follow us on Twitter: http://twitter.com/teamverify, @teamverify



Leave a Comment

E-mail (will not be published)
 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.