Maximize the power of formal
verification to enable innovative SoC
designs and Formal Sign-offTM!
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