Muhammad Hassan: Erweiterte virtuelle Prototypen für heterogene Systeme, Gebunden

Muhammad Hassan, Daniel Große, Rolf Drechsler

Erweiterte virtuelle Prototypen für heterogene Systeme

Buch

sofort lieferbar

Aktueller Preis: EUR 84,99

Verlängerter Rückgabezeitraum bis 31. Januar 2026

Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.

Versandkosten (United States of America): EUR 19,90

Verlag:: Springer Nature Switzerland, 06/2024
Einband:: Gebunden, HC runder Rücken kaschiert
Sprache:: Deutsch
ISBN-13:: 9783031531514
Artikelnummer:: 11719904
Umfang:: 204 Seiten
Gewicht:: 514 g
Maße:: 241 x 160 mm
Stärke:: 16 mm
Erscheinungstermin:: 4.6.2024

Klappentext

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.