Oski "Decoding Formal" Club

This Event Had Ended. 

To view videos of the presentations, go to our Decoding Formal Video page.

Decoding Formal Club Meeting
Featuring Formal Talks by ARM and Arteris
 and a presentation by one of the world’s foremost origami artists and theorists

Tuesday, September 26, 11:30am – 4pm — This event has ended

The Conference Center, San Jose, CA

Sponsored by Cadence

Attendance is complimentary, but space is limited, and pre-registration is required (registration link).


“Lessons learnt from a deployment of sign-off formal on a high-performance ARM CPU”, by Vikram Khosa, formal verification lead at ARM

“Architectural Formal Verification of Cache Coherent Protocols”, by Chirag Gandhi, senior hardware verification manager at Arteris and Deepa Sahchari, formal verification engineer at Oski

“From Flapping Birds to Space Telescopes: The Art and Science of Origami” –  by Dr. Robert J. Lang, pioneer in computational origami

The Decoding Formal Club is a forum for formal enthusiasts, pioneers, leaders and colleagues who work to promote the sharing of ideas, advancement of formal technology, and adoption of formal sign-off within the industry.  More information about past Decoding Formal Club meetings is here, including video and technical presentations, photos and news. Look for updates on our blog.