$エヌビディア (NVDA.US)$ エヌビディアがフォーマル検証企業のOski Technologyを買収する ビジ...

$エヌビディア (NVDA.US)$ エヌビディアがフォーマル検証企業のOski Technologyを買収する

ビジュアルコンピューティング企業エヌビディアが、フォーマル検証企業のOski Technologyを買収しました。

Oskiは2005年に設立され、フォーマル検証手法の研究を専門としており、エヌビディアと10年以上にわたる長期パートナー関係にあります。同社にはサンノゼ、ブダペスト、グルガオンにオフィスがあります。