Erweiterte virtuelle Prototypen für heterogene Systeme

Ce livre décrit une combinaison complète de méthodes qui améliorent considérablement le flux de vérification basé sur des prototypes virtuels (VP) pour les systèmes sur puce (SoC) hétérogènes. En particulier, le livre combine des aspects de vérification et d'analyse à travers différentes étapes du flux de vérification basé sur VP et offre une nouvelle perspective sur la vérification en utilisant des techniques avancées telles que le test métamorphe, le test de flux de données et le test de flux d'informations. De plus, le livre met fortement l'accent sur des méthodes avancées orientées couverture pour vérifier le comportement fonctionnel du SoC ainsi que pour garantir sa sécurité. Il propose une introduction complète au flux de vérification moderne basé sur VP pour les SoC hétérogènes, présente une nouvelle technique de test métamorphe pour les SoC hétérogènes qui ne nécessite pas de modèles de référence, et inclut des méthodes automatisées, avancées et basées sur la couverture de flux de données, adaptées aux VP basés sur SystemC/AMS. En outre, il décrit des méthodes avancées de vérification basées sur la couverture fonctionnelle pour différents comportements fonctionnels des amplificateurs RF.