$NVIDIA (NVDA.US)$ Nvidia acquires Oski Technology, a formal...

$NVIDIA(NVDA.US)$ Nvidia acquires Oski Technology, a formal verification company

Visual computing company Nvidia has acquired formal verification company Oski Technology.

Founded in 2005, Oski specializes in the research of formal verification methods and has been a long-term partner of NVIDIA for more than ten years. The company has offices in San Jose, Budapest and Gurgaon.