Get email delivery of the Cadence blog featured here
The biggest gathering of formal verification engineers in the world takes place in a few weeks — the annual Jasper User Group is coming up on October 21st and 22nd. It has been branded under CadenceCONNECT, specialized meetings that take place alongside the bigger CadenceLIVE event. Of course, the event is online, so to call it a "gathering" is pushing things a bit.
If you are new to formal verification, or new to JasperGold technologies, it can be challenging to follow all of the advanced features and methodologies presented in the Jasper CadenceCONNECT customer papers. Cadence is offering a webinar two days prior to Jasper CadenceCONNECT on October 19 to cover the basics of formal and the JasperGold platform. The webinar will include discussion of common formal deployment methodologies and demonstrations of some of the most popular JaspeGold Apps.
This webinar will be open only to individuals registered for Jasper CadenceCONNECT and is planned to last three hours, 8:30am PDT to 11:30am PDT, including a break. During the presentations, there will be AE's available to answer your questions via the chat interface. You can register for the webinar when you register for the conference itself.
The day will start with Cadence's Ziyad Hanna presenting The State of the Union: Formal Verification in a Distributed World from 8.15am to 9am (all times are PDT). Ziyad is the corporate VP in charge of all formal development based in Haifa. He is also a visiting professor at the University of Oxford. Ziyad will also be back at the end (almost) of the second day to give a technology update.
That will be followed at 9am by a keynote by Professor Moshe Vardi of Rice University. His presentation is titled Program Verification: A 70-year History.
Moshe is University Professor, Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, where he is leading an Initiative on Technology, Culture, and Society. His interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including machine learning, database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification, and teaching logic across the curriculum. He is also a Faculty Scholar at the Baker Institute for Public Policy at Rice University.
Here is a bit of color I was given on three of the presentations:
The full details for rest of Wednesday is:
Thursday has a slightly later start at 8.30am. The whole day will wrap up with awards by 3pm. In between:
Here is the CadenceCONNECT Jasper User Group page, including the up-to-date agenda.
This is the registration page, where you can also add registration for the webinar.
Sign up for Sunday Brunch, the weekly Breakfast Bytes email.