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