英伟达收购正式验证公司Oski Technology

视觉计算公司NVIDIA(纳斯达克股票代码：NVDA)收购了正式验证公司Oski Technology，Oski成立于2005年，专门从事正式验证方法，是NVIDIA的长期合作伙伴，已有10多年的历史。该公司在圣何塞、布达佩斯和古尔冈设有办事处，随着NVIDIA的产品在复杂性和范围上的增长，现在横跨从游戏和数据中心计算到网络和自动驾驶汽车的市场，设计完美的第一个硅的重要性从未像现在这样高。安全是最高目标的新的自动机器应用使得验证变得至关重要。收购Oski将使NVIDIA能够大幅增加对正式验证战略的投资，以实现这一目标。