Decoding Formal Club Meeting Featuring Formal Talks by ARM and Arteris, plus the science of Origami

Oski "Decoding Formal" Club

You’re Invited!
Decoding Formal Club Meeting
Featuring Formal Talks by ARM and Arteris and a p
resentation by one of the world’s foremost origami artists and theorists
Tuesday, September 26, 11:30am – 4pm 

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.