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짯sco짯pic 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셳 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 careful짯ly desi짯gned tests.

For짯mal veri짯fi짯ca짯ti짯on, Oski셲 spe짯cial짯ty, is a powerful 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셲 and 0셲 into a design to test whe짯ther num짯bers are added pro짯per짯ly, Oski셲 approach for짯mal짯ly veri짯fies that 쐁 = 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 Jas짯per Design Auto짯ma짯ti짯on. Jasper셲 soft짯ware remains one of the most powerful soft짯ware tools available for for짯mal veri짯fi짯ca짯ti짯on pro짯ofs. Howe짯ver, powerful 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 peo짯p짯le less than 20 miles sou짯the짯ast of New Delhi. Recent짯ly ren짯a짯med Gurug짯ram, it셲 the country셲 second-lar짯gest tech hub, as well as an emer짯ging cen짯ter of finan짯ce and banking.

India is alre짯a짯dy home to NVIDIA셲 lar짯gest group of employees out짯side the U.S., and the new Gurug짯ram office will be NVIDIA셲 fourth engi짯nee짯ring office in India.

Raising the Bar for Innovation

As NVIDIA셲 pro짯ducts have grown in com짯ple짯xi짯ty and scope, now span짯ning mar짯kets from gam짯ing and data cen짯ter com짯pu짯ting to net짯wor짯king and auto짯no짯mous vehic짯les, the importance of desig짯ning per짯fect first sili짯con has never been hig짯her. And new auto짯no짯mous machi짯ne appli짯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 increase our invest짯ment in and com짯mit짯ment to for짯mal veri짯fi짯ca짯ti짯on stra짯te짯gies to achie짯ve that goal.

Powerful veri짯fi짯ca짯ti짯on methods direct짯ly enable more rapid inno짯va짯ti짯on, and we are very exci짯ted to join forces with the Oski team to deli짯ver even more ama짯zing pro짯ducts for years to come.