Decoding Formal

Decoding Formal

Upcoming Decoding Formal Club Meeting

Date: March 19, 2019 Time: 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 coming soon). AGENDA: 11:30 – Registration and Lunch 1:00 – Presentations TBD 4:00 – Networking Reception   What is Decoding Formal? The Decoding …

Upcoming Decoding Formal Club MeetingRead More »

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

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). AGENDA: 11:30 – Registration and Lunch 1:00 – Presentations Opening Talk Leveraging Formal Verification to Combat Simulation-Resistant Superbugs The Parallelization Megatrend in Modern IC …

Decoding Formal Club Meeting Featuring Talks by Oski, AMD and BroadcomRead More »

Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and Cisco

  Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and Cisco Keynote Address on Security and Formal by Dr. Mike Hamburg a Cryptography Expert and Contributor to the Discovery of Meltdown and Spectre Security Issues When: Tuesday, March 20, 11:30am – 5pm The Conference Center 2055 Gateway Place San Jose, CA Sponsored by Cadence …

Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and CiscoRead More »

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. Thursday, December 7, 11:30am – 5pm The Conference Center, San Jose, CA Sponsored by Cadence Attendance is complimentary, but space is limited, and pre-registration is required (registration link). AGENDA: 11:30 – Registration and Lunch 1:00 – Barefoot Networks 2:10 – Cavium 3:00 …

Decoding Formal Club Meeting Featuring Formal Talks by Barefoot Networks, Cavium, and QualcommRead More »

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

You’re Invited! Decoding Formal Club Meeting Featuring Formal Talks by ARM and Arteris and a presentation by one of the world’s foremost origami artists and theorists Tuesday, September 26, 11:30am – 4pm  The Conference Center, San Jose, CA Sponsored by Cadence  Attendance is complimentary, but space is limited, and pre-registration is required (registration link). AGENDA: “Lessons …

Decoding Formal Club Meeting Featuring Formal Talks by ARM and Arteris, plus the science of OrigamiRead More »

Recap: Decoding Formal Club, Spring 2017

What better way to celebrate the arrival of spring than another meeting of the Decoding Formal Club! The Decoding Formal Club is a forum for formal verification enthusiasts, pioneers, leaders and friends who work to promote the sharing of ideas, advancement of formal verification technology, and adoption of formal sign-off methodology within the industry. On …

Recap: Decoding Formal Club, Spring 2017Read More »

Decoding Formal Club Meeting Featuring Formal Talks by Nvidia, Arteris and Oski Technology

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” …

Decoding Formal Club Meeting Featuring Formal Talks by Nvidia, Arteris and Oski TechnologyRead More »

Oski Decoding Formal Club – A First-Timer’s Perspective

It’s undeniable: I am a newcomer to the formal verification scene. As one of the newest members of the Oski team, I didn’t know what to expect when I attended the Oski Decoding Formal Club meeting on October 11th. Oski hosted the event at the acclaimed Parcel 104 Restaurant in the Santa Clara Marriott hotel. …

Oski Decoding Formal Club – A First-Timer’s PerspectiveRead More »

Decoding Formal Club Meeting Featuring Formal Talks by AMD, Qualcomm and Oski Technology

You’re Invited! Decoding Formal Club Meeting   Featuring Formal Talks by AMD, Qualcomm and Oski Technology Tuesday, Oct. 11, 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).   11:30 AM     Sign-In and Welcome 11:45 AM     Lunch and …

Decoding Formal Club Meeting Featuring Formal Talks by AMD, Qualcomm and Oski TechnologyRead More »

Decoding Formal Club: Panel, Formal Coverage, Chessboard Challenge Award 🏆

Oski Technology will be hosting the next Decoding Formal Club meeting on Monday, Feb. 29, in Santa Clara, CA, where we are hosting a panel discussion on where and how to apply formal, followed by a presentation on formal coverage. We will also be announcing the winner of the 2016 Oski Formal Puzzler Chessboard Challenge, and Oski CEO Vigyan Singhal will be …

Decoding Formal Club: Panel, Formal Coverage, Chessboard Challenge Award 🏆Read More »

Formal 2025: It’s Back to the Future!

The recent Decoding Formal Club meeting hosted by Oski Technology on October 21, 2015 at the Computer History Museum in Mountain View celebrated the club’s 2nd anniversary with a “back to the future” twist. While many of the predictions in the movie “Back to Future Part II” did not come true on October 21, 2015, the day of “the future” …

Formal 2025: It’s Back to the Future!Read More »

Decoding Formal Club – Completeness of the End-to-End Formal Testbench

Decoding Formal Club Meeting – Completeness of End-to-End Formal  Registration is now closed for this event. Please subscribe to our newsletter to receive notice of upcoming Decoding Formal meetings. The next Decoding Formal Club lunch and meeting is on Wednesday, October 21, from 12:00 p.m. until 4:00 p.m., sponsored by Synposys. October 2015 marks the …

Decoding Formal Club – Completeness of the End-to-End Formal TestbenchRead More »

Decoding Formal @ DAC – Join Oski for Four Days of Formal Fun

Oski Decoding Formal Events are usually hosted at the Computer History Museum in Mountain View and have attracted lots of formal enthusiasts in the bay area. Deep formal talks from Oski, lectures given by formal experts from different companies, good networking, cool gifts and museum tours have become the signature of these events that formal …

Decoding Formal @ DAC – Join Oski for Four Days of Formal FunRead More »

Decoding Formal DAC Training Day: Achieving Formal Sign-Off

Registration is now open for the Decoding Formal: “Formal Verification for Formal Sign-Off” DAC Training Day on Thursday June 11 at the Moscone Center, Room 270. This full day of training on formal verification has a packed agenda, with lunch included. Paid pre-registration is required. Check out the details below, and buy tickets here. The …

Decoding Formal DAC Training Day: Achieving Formal Sign-OffRead More »

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

Decoding Formal Club Event, “Treading Deep Into Formal” Join us for the next Decoding Formal Club event on on Monday, February 9, from 11:30 a.m. until 4:15 p.m., sponsored by Synopsys. At this first Decoding Formal Club meeting of 2015, we will tread deep into formal, cover constraint management for formal sign-off, debate liveness vs. …

Decoding Formal Club – Constraints, Liveness vs. Safety, Formal at ARM (and a Klein Bottle)Read More »

New Year’s Resolution – Treading Deep into Formal

According to statistics published in 2014 by the University of Scranton in Pennsylvania in the Journal of Clinical Psychology, 45% Americans usually make New Year’s Resolutions. And people who explicitly make resolutions are 10 times more likely to attain their goals than people who don’t. The largest resolution category –– 47%, is related to self-improvement …

New Year’s Resolution – Treading Deep into FormalRead More »

“What if” All Design and Verification Engineers Used Formal?

What if all design and verification engineers used formal? What if formal tools become smart enough to do the abstractions? What if formal tools had infinite capacity? These and other questions were proposed by attendees on the event survey for this quarter’s Decoding Formal Club event on October 23, 2014 at the Computer History Museum …

“What if” All Design and Verification Engineers Used Formal?Read More »

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

Decoding Formal Club Event, “Formal Ph.D Talks: Methodology, Application, Real-World Experience”  The next Decoding Formal Club event on October 23, 2014 is sponsored by `Synopsys. Three engineers with more than 60 years of combined industry experience with formal verification will share insights on formal sign-off methodology, cache coherence verification, as well as real-world formal experience …

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

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

Decoding Formal Club Event, “Starting Formal Right from Formal Test Planning” The next Decoding Formal Club event on June 5, 2014 at DAC will include a presentation of case studies for formal test planning. Verification planning is key to the success of any verification tasks and this is especially true for formal verification. Formal technology, …

Decoding Formal Club June 5, 2014: Starting Formal Right from Formal Test Planning with Case StudiesRead More »

Building Up the Formal Community

In our visits to many of our customers in the past year, we received a few common requests from companies both large and small: Can you help us find formal expertise to hire? Can you train our engineers to become formal experts? Can you help us build an internal formal team – fast?

Decoding Formal Club January 23, 2014: Abstraction Models

Decoding Formal Club Event, “Abstraction Models: A Case Study” The next Decoding Formal Club event on January 23, 2014 will include a discussion of Abstraction Models. Pre-registration is required. For more information on upcoming Decoding Formal Club events, please visit the Decoding Formal Club page on the Oski web site. Decoding Formal Club Agenda January 23, 2014 Abstraction …

Decoding Formal Club January 23, 2014: Abstraction ModelsRead More »

Highlights from the “Decoding Formal” Club Event, Computer History Museum

On October 10, 2013, Oski Technology welcomed formal enthusiasts to the first “Decoding Formal” Club meeting held at the Computer History Museum in Mountain View, California.  The mission of the Decoding Formal Club is to promote sharing of ideas for the advancement of formal technology, and the achievement of formal sign-off within the industry.  Ten …

Highlights from the “Decoding Formal” Club Event, Computer History MuseumRead More »

Calling All Formal Enthusiasts: Join the Oski “Decoding Formal” Club

In our years of providing formal verification services to leading-edge semiconductor companies, I have had the pleasure of meeting and working with many smart and dedicated engineers who paved the way of formal adoption in their companies – studiously applying formal technology to verify more complex designs as well as building up formal methodology so …

Calling All Formal Enthusiasts: Join the Oski “Decoding Formal” ClubRead More »

Congratulations to Oski’s Online Competition Winners!

To complement the “Decoding Formal” Contests hosted live at DAC 2013 in Austin TX, Oski Technology launched a parallel online “Decoding Formal” Contest so engineers who were not attending DAC could also participate. The online competition concluded on June 21st with many participants from Europe, Asia and US. The 3 winners were chosen based on …

Congratulations to Oski’s Online Competition Winners!Read More »