• In dieser Sektion des Forums werden Pressemitteilungen der Hersteller 1:1 veröffentlicht. Planet 3DNow! übernimmt weder für die Richtigkeit der Angaben noch für die Art der Formulierung jedwede Verantwortung. Oft sind Pressemitteilungen mit typischen Marketing-Floskeln wie "einer der bedeutendsten Herstellern von XY" versetzt. Diese Aussagen sind subjektiv und geben nicht notwendigerweise die Meinung der auf Planet 3DNow! schreibenden Autoren wieder.

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

Press Release - englischsprachige Pressemitteilung

Pressemitteilung

Hinweis: Dieser Inhalt ist eine Pressemitteilung des Herstellers. Planet 3DNow! prüft weder die Richtigkeit der Angaben noch die Art der Formulierung. Pressemitteilungen können subjektiv sein und geben nicht notwendigerweise die Meinung der auf Planet 3DNow! schreibenden Autoren wieder.
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
 
Zurück
Oben Unten