Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems
Author :
Publisher : Springer Nature
Total Pages : 181
Release :
ISBN-10 : 9783031055744
ISBN-13 : 3031055748
Rating : 4/5 (748 Downloads)

Book Synopsis Enhanced Virtual Prototyping for Heterogeneous Systems by : Muhammad Hassan

Download or read book Enhanced Virtual Prototyping for Heterogeneous Systems written by Muhammad Hassan and published by Springer Nature. This book was released on 2022-09-01 with total page 181 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Enhanced Virtual Prototyping for Heterogeneous Systems Related Books

Enhanced Virtual Prototyping for Heterogeneous Systems
Language: en
Pages: 181
Authors: Muhammad Hassan
Categories: Technology & Engineering
Type: BOOK - Published: 2022-09-01 - Publisher: Springer Nature

GET EBOOK

This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneo
Enhanced Virtual Prototyping
Language: en
Pages: 257
Authors: Vladimir Herdt
Categories: Technology & Engineering
Type: BOOK - Published: 2020-10-14 - Publisher: Springer Nature

GET EBOOK

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize au
Advanced Boolean Techniques
Language: en
Pages: 174
Authors: Rolf Drechsler
Categories: Technology & Engineering
Type: BOOK - Published: 2023-05-29 - Publisher: Springer Nature

GET EBOOK

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basi
SPECC: Specification Language and Methodology
Language: en
Pages: 326
Authors: Daniel D. Gajski
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

For the near future, the recent predictions and roadmaps of silicon semiconductor technology all agree that the number of transistors on a chip will keep growin
Embedded Systems Development
Language: en
Pages: 219
Authors: Alberto Sangiovanni-Vincentelli
Categories: Technology & Engineering
Type: BOOK - Published: 2013-07-19 - Publisher: Springer Science & Business Media

GET EBOOK

This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The au