Oski Technology, an Expert in Formal Verification, Joins NVIDIA

We are exci­ted to announ­ce that Oski Tech­no­lo­gy, a com­pa­ny spe­cia­li­zing in for­mal veri­fi­ca­ti­on methods, will be joi­ning NVIDIA.

Modern pro­ces­sors pack tens of bil­li­ons of tran­sis­tors, tiny on/off swit­ches con­nec­ted by bil­li­ons of micro­scopic pathways. A bug in a sin­gle tran­sis­tor can pre­vent a chip from ope­ra­ting cor­rect­ly, requi­ring cos­t­ly revi­si­ons to fix.

Today, veri­fi­ca­ti­on engi­neers rely on two very dif­fe­rent methods to make sure bugs don’t make it into sili­con — simu­la­ti­on and for­mal verification.

The first approach reli­es on mil­li­ons of simu­la­ti­ons that search for bugs, exer­cis­ing cor­ner cases in care­ful­ly desi­gned tests.

For­mal veri­fi­ca­ti­on, Oski’s spe­cial­ty, is a power­ful alter­na­ti­ve that uses mathe­ma­ti­cal ana­ly­sis of a design ins­tead of simu­la­ti­ons to pro­ve that a par­ti­cu­lar fea­ture beha­ves cor­rect­ly for all pos­si­ble inputs.

Whe­re­as simu­la­ti­on injects 1’s and 0’s into a design to test whe­ther num­bers are added pro­per­ly, Oski’s approach for­mal­ly veri­fies that “c = a + b.”

A Leading Role in Formal Verification

In the semi­con­duc­tor indus­try, Oski is well known for its lea­ding edge work in for­mal veri­fi­ca­ti­on. Its foun­der, Vigyan Singhal, also foun­ded Jasper Design Auto­ma­ti­on. Jasper’s soft­ware remains one of the most power­ful soft­ware tools avail­ab­le for for­mal veri­fi­ca­ti­on pro­ofs. Howe­ver, power­ful tools requi­re gre­at exper­ti­se to be used successfully.

In 2005, Vigyan star­ted Oski with the mis­si­on of app­ly­ing the deep com­pu­ter sci­ence of for­mal veri­fi­ca­ti­on. Oski has sin­ce grown to beco­me a well-reco­gni­zed lea­der in the field and has been a valued part­ner to NVIDIA for more than 10 years.

An Office in a Rising Tech Hub

Oski has offices in San Jose, Buda­pest and Gur­gaon. Most of its employees work in Gur­gaon, a city of more than a mil­li­on peop­le less than 20 miles sou­the­ast of New Delhi. Recent­ly ren­a­med Gurug­ram, it’s the country’s second-lar­gest tech hub, as well as an emer­ging cen­ter of finan­ce and banking.

India is alrea­dy home to NVIDIA’s lar­gest group of employees out­side the U.S., and the new Gurug­ram office will be NVIDIA’s fourth engi­nee­ring office in India.

Raising the Bar for Innovation

As NVIDIA’s pro­ducts have grown in com­ple­xi­ty and scope, now span­ning mar­kets from gaming and data cen­ter com­pu­ting to net­wor­king and auto­no­mous vehi­cles, the impor­t­ance of designing per­fect first sili­con has never been hig­her. And new auto­no­mous machi­ne app­li­ca­ti­ons whe­re safe­ty is the hig­hest goal make veri­fi­ca­ti­on vital.

With this acqui­si­ti­on, we have the oppor­tu­ni­ty to dra­ma­ti­cal­ly incre­a­se our invest­ment in and com­mit­ment to for­mal veri­fi­ca­ti­on stra­te­gies to achie­ve that goal.

Power­ful veri­fi­ca­ti­on methods direct­ly enab­le more rapid inno­va­ti­on, and we are very exci­ted to join for­ces with the Oski team to deli­ver even more ama­zing pro­ducts for years to come.