10.08.2021 - Oski Technology, an Expert in Formal Verification, Joins NVIDIA

We are excited to announce that Oski Technology, a company specializing in formal verification methods, will be joining NVIDIA. Modern processors pack tens of billions of transistors, tiny on/off switches connected by billions of microscopic pathways. A bug in a single transistor can prevent a chip from operating correctly, requiring costly revisions to fix. Today, Read article >

The post Oski Technology, an Expert in Formal Verification, Joins NVIDIA appeared first on The Official NVIDIA Blog.