RD

Rolf Drechsler

Prof. Dr. Rolf Drechsler (geb. 1969 in Rüsselsheim) ist Informatiker, Professor für Rechnerarchitektur an der Universität Bremen und seit 2011 Leiter des Forschungsbereichs Cyber-Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen. Er ist Mitbegründer des Graduiertenkolleg System Design (SyDe) und hat als Autor bzw. Mitautor bereits über 150 wissenschaftliche Publikationen verfasst. Die Idee zu NŒRDMAN kam ihm 2017 während einer Konferenz.

Zuletzt erschienen

Erweiterte virtuelle Prototypen für heterogene Systeme Produktbild: Erweiterte virtuelle Prototypen für heterogene Systeme

Erweiterte virtuelle Prototypen für heterogene Systeme

Dieses Buch beschreibt eine umfassende Kombination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere kombiniert das Buch Verifikations- und Analyseaspekte über verschiedene Stufen des VP-basierten Verifikationsflusses hinweg und bietet eine neue Perspektive auf die Verifikation, indem es fortschrittliche Techniken wie metamorphes Testen, Datenfluss-Testen und Informationsfluss-Testen einsetzt. Darüber hinaus legt das Buch einen starken Schwerpunkt auf fortschrittliche, abdeckungsorientierte Methoden zur Verifizierung des funktionalen Verhaltens des SOC sowie zur Gewährleistung seiner Sicherheit.

  • Bietet eine umfassende Einführung in den modernen VP-basierten Verifikationsablauf für heterogene SOCs;
  • Stellt eine neuartige metamorphe Testtechnik für heterogene SOCs vor, die keine Referenzmodelle erfordert;
  • Enthält automatisierte, fortschrittliche, auf Datenflussabdeckung basierende Methoden, die auf SystemC/AMS-basierte VP zugeschnitten sind;
  • Beschreibt erweiterte funktionale abdeckungsgesteuerte Methoden zur Verifizierung verschiedener funktionaler Verhaltensweisen von RF-Verstärkern.
Mehr erfahren

Buch (Gebundene Ausgabe)

ab 84,99€

Weitere Formate ab 66,99€

Alles von Rolf Drechsler

Filtern und Sortieren

Sortierung
Kategorie
Sprachen
Preis
Lieferbarkeit
Reihen
Einbände