Maximize the power of formal
verification to enable innovative SoC
designs and Formal Sign-offTM!
Parcel 104 Restaurant, Santa Clara Marriott Hotel
Sponsored by Synopsys
Attendance is complimentary, but space is limited, and pre-registration is required (registration link).
“The Next Big Leap in the Evolution of Formal Verification – Systems” Vigyan Singhal, Oski
“Architectural Formal Verification of Coherency Models” Siddartha Papineni, Nvidia
“Formal Sign-Off of a Configurable Cache Controller” Parimal Gaikwad, Arteris
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