Erweiterte virtuelle Prototypen für heterogene Systeme

Erweiterte virtuelle Prototypen für heterogene Systeme
Deutsch | 2024 | ISBN: 3031531515 | 195 Pages | PDF (True) | 5 MB

Dieses Buch beschreibt eine umfassende KoMB[/center][/center]ination von Methoden, die den modernen Virtual Prototype (VP)-basierten Verifikationsfluss für heterogene Systems-on-Chip (SOCs) stark verbessern. Insbesondere koMB[/center][/center]iniert 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.