PR Oski Technology, an Expert in Formal Verification, Joins NVIDIA

[Pressemitteilung]

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, verification engineers rely on two very different methods to make sure bugs don’t make it into silicon — simulation and formal verification.

The first approach relies on millions of simulations that search for bugs, exercising corner cases in carefully designed tests.

Formal verification, Oski’s specialty, is a powerful alternative that uses mathematical analysis of a design instead of simulations to prove that a particular feature behaves correctly for all possible inputs.

Whereas simulation injects 1’s and 0’s into a design to test whether numbers are added properly, Oski’s approach formally verifies that “c = a + b.”

(…)

» Pressemitteilung lesen