$英伟达 (NVDA.US)$ Nvidia 收购了正式验证公司 Oski Technology 视觉计算公司英伟达已...

$英伟达(NVDA.US)$ Nvidia 收购了正式验证公司 Oski Technology

视觉计算公司英伟达已经收购了形式验证公司Oski Technology。

Oski 成立于 2005 年，专门研究形式验证方法，十多年来一直是 NVIDIA 的长期合作伙伴。该公司在圣何塞、布达佩斯和古尔冈设有办事处。