Abo
  • Services:

Trierer Forscher wollen für fehlerfreie Mikrochips sorgen

Mathematisches Verfahren soll Fehler beim Chipdesign ausschließen

Ein junger Wissenschaftler des Instituts für Telematik hat ein mathematisches Verfahren entwickelt, mit dem Chiphersteller schon in der Entwicklungsphase in der Lage sein sollen, die Fehlerfreiheit von Mikroprozessoren und integrierten Schaltkreisen sicherzustellen. So sollen sich die mit Hardware-Fehlern gelegentlich verbundenen hohen finanziellen Risiken ausschließen lassen.

Artikel veröffentlicht am ,

Das vom Trierer Informatiker Dr. Harald Sack geschaffene neue Verfahren zur computergestützten automatischen Schaltkreis-Überprüfung erweitert die bislang genutzten Datenstrukturen der so genannten "geordneten binären Entscheidungsdiagramme (OBDDs)".

Stellenmarkt
  1. über duerenhoff GmbH, Raum Essen
  2. BWI GmbH, deutschlandweit

"Die anhaltende Miniaturisierung und explosionsartig zunehmende Komplexität von integrierten Schaltkreisen macht es für Entwickler immer schwieriger, absolut korrekt arbeitende Mikrochips zu gewährleisten", beschreibt Sack, der jetzt mit einer Doktorarbeit zu diesem Thema an der Uni Trier promovierte, die Lage in der Industrie.

Der Konkurrenzdruck zwischen den Herstellern führe zudem zu immer kürzeren Entwicklungszyklen. Welche fatalen Folgen fehlerhafte Chips haben könnten, sei der Öffentlichkeit erstmals Ende 1994 bewusst geworden, als in Intels Pentium-1-Prozessor der als "FDIV-Bug" bezeichnete Fehler in der Floating Point Unit aufgetreten sei. "Die dadurch ausgelöste Umtauschaktion kostete den Hersteller mehr als 475 Millionen US-Dollar", rechnet der Trierer Wissenschaftler vor.

Institutsdirektor Professor Christoph Meinel hat beobachtet, dass seither die Kette aufgetretener Fehler in Mikroprozessoren nicht abgerissen ist: "Nicht immer sind die Folgen so spektakulär wie damals", betont Meinel. Nach seinen Informationen existieren zu allen aktuellen Prozessoren Listen mit bekannten, aufgetretenen Fehlern, doch minderten diese die Einsatzfähigkeit der Chips nur in geringem Maße. Trotzdem sei es gerade bei sicherheitskritischen Anwendungen in Flug- oder Kraftfahrzeugen wichtig, Hardware-Fehler bereits möglichst früh im Designprozess zu erkennen. Hierfür sei das von Dr. Sack entwickelte Verfahren eine wichtige Voraussetzung.



Anzeige
Spiele-Angebote
  1. 33,49€
  2. 45,99€ (Release 12.10.)
  3. 59,99€ mit Vorbesteller-Preisgarantie

OM 28. Feb 2002

nun ja vielleicht funktioniert das ganze dann auch für autoren die ihre texte schreiben *fg*

sack 28. Feb 2002

sehr gut herr sack!


Folgen Sie uns
       


Analyse zum Apple-Event - Golem.de live

Die Golem.de-Redakteure Tobias Költzsch und Michael Wieczorek besprechen die drei neuen iPhones und die Neuerungen bei der Apple Watch 4.

Analyse zum Apple-Event - Golem.de live Video aufrufen
Energietechnik: Die Verlockung der Lithium-Luft-Akkus
Energietechnik
Die Verlockung der Lithium-Luft-Akkus

Ein Akku mit der Energiekapazität eines Benzintanks würde viele Probleme lösen. In der Theorie ist das möglich. In der Praxis ist noch viel Arbeit nötig.
Von Frank Wunderlich-Pfeiffer

  1. Elektroautos CDU will Bau von Akkuzellenfabriken subventionieren
  2. Brine4Power EWE will Strom unter der Erde speichern
  3. Forschung Akku für Elektroautos macht es sich im Winter warm

iOS 12 im Test: Auch Apple will es Nutzern leichter machen
iOS 12 im Test
Auch Apple will es Nutzern leichter machen

Apple setzt mit iOS 12 weniger auf aufsehenerregende Funktionen als auf viele kleine Verbesserungen für den Alltag. Das erinnert an Google und Android 9, was nicht zwingend schlecht ist.
Ein Test von Tobias Költzsch

  1. Apple iOS 12.1 verrät neues iPad Pro
  2. Apple Siri-Kurzbefehle-App für iOS 12 verfügbar

iPhone Xs, Xs Max und Xr: Wer unterstützt die eSIM in den neuen iPhones?
iPhone Xs, Xs Max und Xr
Wer unterstützt die eSIM in den neuen iPhones?

Apples neue iPhones haben neben dem Nano-SIM-Slot eine eingebaute eSIM, womit der Konzern erstmals eine Dual-SIM-Lösung in seinen Smartphones realisiert. Die Auswahl an Netzanbietern, die eSIMs unterstützen, ist in Deutschland, Österreich und der Schweiz aber eingeschränkt - ein Überblick.
Von Tobias Költzsch

  1. Apple Das iPhone Xr macht's billiger und bunter
  2. Apple iPhones sollen Stiftunterstützung erhalten
  3. XMM 7560 Intel startet Serienfertigung für iPhone-Modem

    •  /