|
|
|
|
| LEADER |
02792nmm a2200337 u 4500 |
| 001 |
EB002219324 |
| 003 |
EBX01000000000000001356285 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
240702 ||| ger |
| 020 |
|
|
|a 9783031531521
|
| 100 |
1 |
|
|a Hassan, Muhammad
|
| 245 |
0 |
0 |
|a Erweiterte virtuelle Prototypen für heterogene Systeme
|h Elektronische Ressource
|c von Muhammad Hassan, Daniel Große, Rolf Drechsler
|
| 250 |
|
|
|a 1st ed. 2024
|
| 260 |
|
|
|a Cham
|b Springer International Publishing
|c 2024, 2024
|
| 300 |
|
|
|a XX, 182 S. 89 Abb., 80 Abb. in Farbe
|b online resource
|
| 505 |
0 |
|
|a Einführung -- Vorbemerkungen -- AMS Metamorphic Testing Environment -- AMS Enhanced Code Coverage Verification Environment -- AMS Enhanced Functional Coverage Verification Environment -- Digital Early Security Validation -- Fazit
|
| 653 |
|
|
|a Electronics Design and Verification
|
| 653 |
|
|
|a Embedded Systems
|
| 653 |
|
|
|a Embedded computer systems
|
| 653 |
|
|
|a Electronic circuit design
|
| 653 |
|
|
|a Electronic circuits
|
| 653 |
|
|
|a Electronic Circuits and Systems
|
| 700 |
1 |
|
|a Große, Daniel
|e [author]
|
| 700 |
1 |
|
|a Drechsler, Rolf
|e [author]
|
| 041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
| 989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
| 028 |
5 |
0 |
|a 10.1007/978-3-031-53152-1
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-031-53152-1?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 621.3815
|
| 520 |
|
|
|a 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. Die Übersetzung wurde mit Hilfe von künstlicher Intelligenz durchgeführt. Eine anschließende menschliche Überarbeitung erfolgte vor allem in Bezug auf den Inhalt
|