Decoding Formal Club Meeting Featuring Talks by Oski, AMD and Broadcom

Oski "Decoding Formal" Club

Tuesday, September 25, 2018 11:30am – 5pm

The Conference Center
2055 Gateway Place
San Jose, CA

Sponsored by:  

Attendance is complimentary, but space is limited and pre-registration is required (registration link).


11:30 – Registration and Lunch
1:00 – Presentations
Opening Talk

Leveraging Formal Verification to Combat Simulation-Resistant Superbugs
The Parallelization Megatrend in Modern IC design requires advanced verification strategies to mitigate tapeout delay and bug escape risks. Vigyan shares how to predict the scariest blocks and plan the right verification strategy to address these risks.
Presented by: Roger Sabbagh, VP of Applications Engineering, Oski Technology

Case Studies

Formal Verification of a GPU Shader Sequencer
How formal property verification was used to target simulation-resistant and difficult to cover functions of a GPU shader sequencer.
Presented by: Vaibhav Tendulkar, MTS ASIC Engineer, AMD

A Novel Approach to PCIe Receiver Framing Checks
Proving the absence of payload/header data interference in a PCIe Receiver Framer.
Presented by: Guru Karthikeyan, Senior R&D Engineer IC Design, Broadcom and Vigyan Singhal, Founder and Chief Oski, Oski Technology

4:00 – Networking Reception


What is Decoding Formal?

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.