{"id":63625,"date":"2021-10-14T18:49:06","date_gmt":"2021-10-14T16:49:06","guid":{"rendered":"https:\/\/www.planet3dnow.de\/cms\/?p=63625"},"modified":"2021-10-14T18:49:06","modified_gmt":"2021-10-14T16:49:06","slug":"oski-technology-an-expert-in-formal-verification-joins-nvidia","status":"publish","type":"post","link":"https:\/\/www.planet3dnow.de\/cms\/63625-oski-technology-an-expert-in-formal-verification-joins-nvidia\/","title":{"rendered":"Oski Technology, an Expert in Formal Verification, Joins NVIDIA<\/span>"},"content":{"rendered":"

We are exci\u00adted to announ\u00adce that Oski Tech\u00adno\u00adlo\u00adgy, a com\u00adpa\u00adny spe\u00adcia\u00adli\u00adzing in for\u00admal veri\u00adfi\u00adca\u00adti\u00adon methods, will be joi\u00adning NVIDIA<\/span>.<\/p>\n

Modern pro\u00adces\u00adsors pack tens of bil\u00adli\u00adons of tran\u00adsis\u00adtors, tiny on\/off swit\u00adches con\u00adnec\u00adted by bil\u00adli\u00adons of micro\u00adsco\u00adpic pathways. A bug in a sin\u00adgle tran\u00adsis\u00adtor can pre\u00advent a chip from ope\u00adra\u00adting cor\u00adrect\u00adly, requi\u00adring cos\u00adt\u00adly revi\u00adsi\u00adons to fix.<\/p>\n

Today, veri\u00adfi\u00adca\u00adti\u00adon engi\u00adneers rely on two very dif\u00adfe\u00adrent methods to make sure bugs don\u2019t make it into sili\u00adcon \u2014 simu\u00adla\u00adti\u00adon and for\u00admal verification.<\/p>\n

The first approach reli\u00ades on mil\u00adli\u00adons of simu\u00adla\u00adti\u00adons that search for bugs, exer\u00adcis\u00ading cor\u00adner cases in careful\u00adly desi\u00adgned tests.<\/p>\n

For\u00admal veri\u00adfi\u00adca\u00adti\u00adon, Oski\u2019s spe\u00adcial\u00adty, is a powerful alter\u00adna\u00adti\u00adve that uses mathe\u00adma\u00adti\u00adcal ana\u00adly\u00adsis of a design ins\u00adtead of simu\u00adla\u00adti\u00adons to pro\u00adve that a par\u00adti\u00adcu\u00adlar fea\u00adture beha\u00adves cor\u00adrect\u00adly for all pos\u00adsi\u00adble inputs.<\/p>\n

Whe\u00adre\u00adas simu\u00adla\u00adti\u00adon injects 1\u2019s and 0\u2019s into a design to test whe\u00adther num\u00adbers are added pro\u00adper\u00adly, Oski\u2019s approach for\u00admal\u00adly veri\u00adfies that \u201cc = a + b.\u201d<\/p>\n

A Leading Role in Formal Verification<\/b><\/h2>\n

In the semi\u00adcon\u00adduc\u00adtor indus\u00adtry, Oski is well known for its lea\u00adding edge work in for\u00admal veri\u00adfi\u00adca\u00adti\u00adon. Its foun\u00adder, Vigyan Singhal, also foun\u00added Jas\u00adper Design Auto\u00adma\u00adti\u00adon. Jasper\u2019s soft\u00adware remains one of the most powerful soft\u00adware tools available for for\u00admal veri\u00adfi\u00adca\u00adti\u00adon pro\u00adofs. Howe\u00adver, powerful tools requi\u00adre gre\u00adat exper\u00adti\u00adse to be used successfully.<\/p>\n

In 2005, Vigyan star\u00adted Oski with the mis\u00adsi\u00adon of app\u00adly\u00ading the deep com\u00adpu\u00adter sci\u00adence of for\u00admal veri\u00adfi\u00adca\u00adti\u00adon. Oski has sin\u00adce grown to beco\u00adme a well-reco\u00adgni\u00adzed lea\u00adder in the field and has been a valued part\u00adner to NVIDIA<\/span> for more than 10 years.<\/p>\n

An Office in a Rising Tech Hub<\/b><\/h2>\n

Oski has offices in San Jose, Buda\u00adpest and Gur\u00adgaon. Most of its employees work in Gur\u00adgaon, a city of more than a mil\u00adli\u00adon peo\u00adp\u00adle less than 20 miles sou\u00adthe\u00adast of New Delhi. Recent\u00adly ren\u00ada\u00admed Gurug\u00adram, it\u2019s the country\u2019s second-lar\u00adgest tech hub, as well as an emer\u00adging cen\u00adter of finan\u00adce and banking.<\/p>\n

India is alre\u00ada\u00addy home to NVIDIA<\/span>\u2019s lar\u00adgest group of employees out\u00adside the U.S., and the new Gurug\u00adram office will be NVIDIA<\/span>\u2019s fourth engi\u00adnee\u00adring office in India.<\/p>\n

Raising the Bar for Innovation<\/b><\/h2>\n

As NVIDIA<\/span>\u2019s pro\u00adducts have grown in com\u00adple\u00adxi\u00adty and scope, now span\u00adning mar\u00adkets from gam\u00ading and data cen\u00adter com\u00adpu\u00adting to net\u00adwor\u00adking and auto\u00adno\u00admous vehic\u00adles, the importance of desig\u00adning per\u00adfect first sili\u00adcon has never been hig\u00adher. And new auto\u00adno\u00admous machi\u00adne appli\u00adca\u00adti\u00adons whe\u00adre safe\u00adty is the hig\u00adhest goal make veri\u00adfi\u00adca\u00adti\u00adon vital.<\/p>\n

With this acqui\u00adsi\u00adti\u00adon, we have the oppor\u00adtu\u00adni\u00adty to dra\u00adma\u00adti\u00adcal\u00adly increase our invest\u00adment in and com\u00admit\u00adment to for\u00admal veri\u00adfi\u00adca\u00adti\u00adon stra\u00adte\u00adgies to achie\u00adve that goal.<\/p>\n

Powerful veri\u00adfi\u00adca\u00adti\u00adon methods direct\u00adly enable more rapid inno\u00adva\u00adti\u00adon, and we are very exci\u00adted to join forces with the Oski team to deli\u00adver even more ama\u00adzing pro\u00adducts for years to come.<\/p>\n","protected":false},"excerpt":{"rendered":"

We are exci\u00adted to announ\u00adce that Oski Tech\u00adno\u00adlo\u00adgy, a com\u00adpa\u00adny spe\u00adcia\u00adli\u00adzing in for\u00admal veri\u00adfi\u00adca\u00adti\u00adon methods, will be joi\u00adning NVIDIA<\/span>.<\/p>\n

Modern pro\u00adces\u00adsors pack tens of bil\u00adli\u00adons of tran\u00adsis\u00adtors, tiny on\/off swit\u00adches con\u00adnec\u00adted by bil\u00adli\u00adons of micro\u00adsco\u00adpic pathways. A bug in a sin\u00adgle tran\u00adsis\u00adtor can pre\u00advent a chip from ope\u00adra\u00adting cor\u00adrect\u00adly, requi\u00adring cos\u00adt\u00adly revi\u00adsi\u00adons to fix.<\/p>\n

Today, veri\u00adfi\u00adca\u00adti\u00adon engi\u00adneers rely on two very dif\u00adfe\u00adrent methods to make sure bugs don\u2019t make it into sili\u00adcon \u2014 simu\u00adla\u00adti\u00adon and for\u00admal verification.<\/p>\n

The first approach reli\u00ades on mil\u00adli\u00adons of simu\u00adla\u00adti\u00adons that search for bugs, exer\u00adcis\u00ading cor\u00adner cases in careful\u00adly desi\u00adgned tests.<\/p>\n

For\u00admal veri\u00adfi\u00adca\u00adti\u00adon, Oski\u2019s spe\u00adcial\u00adty, is a powerful alter\u00adna\u00adti\u00adve that uses mathe\u00adma\u00adti\u00adcal ana\u00adly\u00adsis of a design ins\u00adtead of simu\u00adla\u00adti\u00adons to pro\u00adve that a par\u00adti\u00adcu\u00adlar fea\u00adture beha\u00adves cor\u00adrect\u00adly for all pos\u00adsi\u00adble inputs.<\/p>\n

Whe\u00adre\u00adas simu\u00adla\u00adti\u00adon injects 1\u2019s and 0\u2019s into a design to test whe\u00adther num\u00adbers are added pro\u00adper\u00adly, Oski\u2019s approach for\u00admal\u00adly veri\u00adfies that \u201cc = a + b.\u201d (\u2026) Wei\u00adter\u00adle\u00adsen \u00bb<\/a><\/p>\n","protected":false},"author":593,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"wp_typography_post_enhancements_disabled":false,"ngg_post_thumbnail":0,"footnotes":""},"categories":[22],"tags":[992,2625],"class_list":["post-63625","post","type-post","status-publish","format-standard","hentry","category-pressemitteilungen","tag-nvidia","tag-oski","entry"],"share_on_mastodon":{"url":"","error":""},"_links":{"self":[{"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/posts\/63625","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/users\/593"}],"replies":[{"embeddable":true,"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/comments?post=63625"}],"version-history":[{"count":2,"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/posts\/63625\/revisions"}],"predecessor-version":[{"id":63685,"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/posts\/63625\/revisions\/63685"}],"wp:attachment":[{"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/media?parent=63625"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/categories?post=63625"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.planet3dnow.de\/cms\/wp-json\/wp\/v2\/tags?post=63625"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}