Erweiterte virtuelle Prototypen für heterogene Systeme

This book describes a comprehensive combination of methodologies that greatly 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 different stages of the VP-based verification flow and provides a new perspective on verification by employing advanced techniques such as metamorphic testing, dataflow testing, and information flow testing. In addition, the book places a strong emphasis on advanced, coverage-oriented methods for verifying the functional behaviour of the SOC as well as ensuring its security. Provides a comprehensive introduction to the modern VP-based verification flow for heterogeneous SOCs,. Introduces a novel metamorphic testing technique for heterogeneous SOCs that does not require reference models. Contains automated, advanced dataflow coverage-based methods tailored for SystemC/AMS-based VPs,. Describes advanced functional coverage-driven methods for verifying various functional behaviours of RF amplifiers.