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.” (…) Weiterlesen »