Oski Blog

Latest Blog Posts

What Can Be Learned from Arm’s Implementation of Formal Sign-off

What Can Be Learned from Arm’s Implementation of Formal Sign-off

At Oski, we’ve embedded ourselves in the world of Formal verification because we truly believe in the exhaustive nature of Formal to achieve significant confidence in design and verification sign-off.  So, it doesn’t surprise me that Arm’s initial experience with Formal compelled them to employ a much deeper Formal sign-off strategy with their latest design.  …

What Can Be Learned from Arm’s Implementation of Formal Sign-offRead More »

Use Formal Like Your Life Depended On It

CDNLive EMEA was held on May 15-17, 2017 at the Infinity Hotel and Conference Centre in Munich, Germany and Oski was there exhibiting as a Cadence partner in the vendor exposition. It was a privilege to attend and to meet many Cadence users from across Germany, plus a wide spectrum of other places including Brazil, …

Use Formal Like Your Life Depended On ItRead 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 »

Seven Ways That Formal Verification is Like a Team Sport

I recently started to develop an appreciation for the sport of cricket during our Oski company-wide, off-site meeting in beautiful Udaipur, India. Before that, if you had mentioned cricket, I would be more likely to think of the bugs I hear chirping on summer nights and that sometimes find their way into my garage. However, …

Seven Ways That Formal Verification is Like a Team SportRead More »