Oski "Decoding Formal" Club

You’re Invited!
Decoding Formal Club Meeting
Featuring Formal Talks by Nvidia, Arteris and Oski Technology
Tuesday, March 21, 11:30am – 4pm 

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 presentations, photos and news. Look for updates on our blog.