Oski Technology

03/05/2021

Oski is open! Yeh mera office hai... Come join the pawry - we are hiring!!!

11/12/2019

Join us at the Decoding Formal Club meeting sponsored by Cadence, on December 3rd, 2019 from 11am to 5 pm. Learn how companies such as Microchip Technology Inc., Provino and U-Blox America Inc use formal verification to ensure their chips are bug free before tapeout. Register for this free event at shorturl.at/aouSX

08/17/2019

The Oski theater returned to this year’s Design Automation Conference (DAC) in Las Vegas as a venue for daily talks on formal sign-off methodology and case studies.

07/30/2019

At this year’s Design Automation Conference (DAC), everyone who attended the Oski DAC booth theater presentations was automatically entered into a draw for a foldable drone with WiFi and HD camera.
Congratulations to all the winners! Here are photos of some of the lucky folks who won a drone.
Thanks to everyone who attended and we hope to see you again at DAC 2020 for more chances to win!

06/19/2019

https://semiengineering.com/adding-order-and-structure-to-verification/

How industry experts reacted to their first encounter with a formal capability maturity model.

04/04/2019

https://www.oskitechnology.com/decoding-formal/next-decoding-formal-event/

Formal Verification of a Resource Allocator Unit The Resource Allocator Unit (RAU) is responsible for allocating from a pool of many thousands of resources. This talk will describe how formal verification was used to prove that RAU correctly processed any combination and sequence of input requests ...

02/06/2019

Snow caps from Oski San Jose office!

01/24/2019

https://semiengineering.com/taming-concurrency/

What hoops will designers have to jump through to avoid concurrency bugs?

08/30/2018

https://www.linkedin.com/feed/update/urn:li:activity:6440998231311818752

August 30, 2018: Oski Technology posted an article on LinkedIn