Decoding Formal

Oski’s quarterly Decoding Formal Club Meetings are a forum for formal enthusiasts, pioneers, leaders, and colleagues who work promote the sharing of ideas, advancement of formal technology, and adoption of formal sign-off within the industry.

You can view overview videos of Decoding Formal below.

Past Decoding Formal Events

Mar 20, 2018: Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and Cisco
Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and Cisco

Dec 07, 2017: Decoding Formal Club Meeting Featuring Formal Talks by Barefoot Networks, Cavium, and Qualcomm
Decoding Formal Club Meeting Featuring Formal Talks by Barefoot Networks, Cavium, and Qualcomm

Sep 26, 2017: Decoding Formal Club Meeting Featuring Formal Talks by ARM and Arteris
Decoding Formal Club Meeting Featuring Formal Talks by ARM and Arteris, plus the science of Origami

Mar 21, 2017: Decoding Formal Club Meeting Featuring Formal Talks by Nvidia, Arteris and Oski Technology
Decoding Formal Club Meeting Featuring Formal Talks by Nvidia, Arteris and Oski Technology

Oct 11, 2016: Decoding Formal Club Meeting Featuring Formal Talks by AMD, Qualcomm and Oski Technology
Decoding Formal Club Meeting Featuring Formal Talks by AMD, Qualcomm and Oski Technology

Feb 29, 2016: Panel, Formal Coverage, Chessboard Challenge Award
Decoding Formal Club: Panel, Formal Coverage, Chessboard Challenge Award 🏆

Oct 21, 2015: Completeness of the End-to-End Formal Testbenches
Decoding Formal Club – Completeness of the End-to-End Formal Testbench

Jun 11, 2015: Achieving Formal Sign-Off
Decoding Formal DAC Training Day: Achieving Formal Sign-Off

Feb 09, 2015: Constraints, Liveness vs. Safety, Formal at ARM
Decoding Formal Club – Constraints, Liveness vs. Safety, Formal at ARM (and a Klein Bottle)

Oct 23, 2014: Formal Ph.D Talks: Methodology, Application, Real-World Experience
Decoding Formal Club Oct. 23, 2014: Formal Ph.D Talks: Methodology, Application, Real-World Experience

Jun 05, 2014: Formal Test Planning with Case Studies
Decoding Formal Club June 5, 2014: Starting Formal Right from Formal Test Planning with Case Studies

Jan 23, 2014: Abstraction Models
Decoding Formal Club January 23, 2014: Abstraction Models

Oct 10, 2013: Bounded Proofs
Oski Decoding Formal Club October 10, 2013: Bounded Proofs

View recordings of case studies and other presentations given at Decoding Formal