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

AGENDA:

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

Management
Career
Media
Contact