Enhanced Virtual Prototyping for Heterogeneous Systems / / by Muhammad Hassan, Daniel Große, Rolf Drechsler
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Hassan Muhammad
|
| Titolo: |
Enhanced Virtual Prototyping for Heterogeneous Systems / / by Muhammad Hassan, Daniel Große, Rolf Drechsler
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Edizione: | 1st ed. 2023. |
| Descrizione fisica: | 1 online resource (181 pages) |
| Disciplina: | 620.0042 |
| 621.3815 | |
| Soggetto topico: | Electronic circuits |
| Embedded computer systems | |
| Electronic circuit design | |
| Electronic Circuits and Systems | |
| Embedded Systems | |
| Electronics Design and Verification | |
| Persona (resp. second.): | GrosseDaniel |
| DrechslerRolf | |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Introduction -- Preliminaries -- AMS Metamorphic Testing Environment -- AMS Enhanced Code Coverage Verification Environment -- AMS Enhanced Functional Coverage Verification Environment -- Digital Early Security Validation -- Conclusion. |
| Sommario/riassunto: | This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verification flow, providing a new perspective on verification by leveraging advanced techniques, like metamorphic testing, data flow testing, and information flow testing. In addition, the book puts a strong emphasis on advanced coverage-driven methodologies to verify the functional behavior of the SOC as well as ensure its security. Provides an extensive introduction to the modern VP-based verification flow for heterogeneous SOCs; Introduces a novel metamorphic testing technique for heterogeneous SOCs which does not require reference models; Includes automated advanced data flow coverage-driven methodologies tailored for SystemC/AMS-based VPs; Describes enhanced functional coverage-driven methodologies to verify various functional behaviors of RF amplifiers. |
| Titolo autorizzato: | Enhanced virtual prototyping for heterogeneous systems |
| ISBN: | 3-031-05574-8 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910627272503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Engineering Series