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 and education. This is me, trying to squeeze time in my busy schedule to work out and keep my brain sharp by learning new things. This year, our family joined a new health club where I can watch TED  Talks as I walk, and I am embarking on a learning journey with my sixth grader on Machine Learning & Robot Design. It has been fun!

As the Director of Marketing at Oski Technology, my New Year’s Resolution for Oski is simple –– Treading Deep into Formal. In the past 18 months, we successfully hosted five Decoding Formal Club events where we, and our invited guests, shared some of the deepest knowledge and practical experiences about formal that cannot be found elsewhere.

We have covered many deep formal topics such as Abstraction Models, Bound Analysis, End-to-End Checkers, and Formal Test Planning, all with the goal to achieve Formal Sign-off. Invited guests from industry formal leaders, such as NVIDIA and Broadcom, shared their experiences deploying formal. With deep formal talks, opportunities for formal networking, good food and cool gifts, Decoding Formal Club has become a magnet that attracts formal enthusiasts. It is where deep formal learning happens.

Carrying on the theme of Treading Deep into Formal into 2015, our first Decoding Formal Club meeting will be held Monday, February 9, from 11:30 a.m. until 4:15 p.m. at our usual location, the Computer History Museum in Mountain View.

We have an agenda packed with Deep Formal Talks and lots of fun! It will include talks by:

• Vigyan Singhal, chief executive officer of Oski Technology, who will share another important topic in Formal Sign-off –– constraint management.
• NVIDIA Principal Engineer Jon Michelson, co-author of “The Art of Verification with SystemVerilog Assertions” and “The Art of Verification with Vera,” who will present “A Practical Viewpoint on Liveness versus Safety.”
• Ross Weber, Staff Design Engineer at ARM and author of the best paper award at the Jasper User Group 2014, who will discuss formal achievements at ARM.

While attendees tread deeply into the formal space, we will bring them back with a special invited guest Cliff Stoll. His TED Talk, “The Call to Learn” inspired us to offer one of his Acme Klein Bottles as a giveaway.  And with the Chinese New Year coming February 19, attendees will be in for Chinese flair and other surprises.

The event space can hold only 40 people, and we intentionally keep the event small to offer the best learning and networking experience. Our goal is to make it the best four hours of an attendee’s work week.

Come and join us as we Tread Deep into Formal in 2015. It will be exciting!

Visit the Decoding Formal registration page, here.

Tags: "Decoding Formal" Club, #ARM, Cliff Stoll, constraints, Jin Zhang, Jon Michelson, NVIDIA, Oski Technology, Ross Weber, Vigyan Singhal

Category: Blog

This entry was posted on Friday, January 16th, 2015 at 3:29 pm. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.