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 moderne basé sur le prototype virtuel (VP) pour les systèmes sur puce (SOC) hétérogènes. En particulier, le livre combine les aspects de vérification et d'analyse à travers différentes étapes du flux de vérification basé sur le VP et offre une nouvelle perspective sur la vérification en utilisant des techniques avancées telles que le test métamorphique, le test de flux de données et le test de flux d'informations. En outre, le livre met fortement l'accent sur des méthodes avancées et orientées vers la couverture pour vérifier le comportement fonctionnel du SOC et assurer sa sécurité. Fournit une introduction complète au processus de vérification moderne basé sur VP pour les SOC hétérogènes. Présente une nouvelle technique de test métamorphique pour les SOC hétérogènes qui ne nécessite pas de modèles de référence. Contient des méthodes automatisées et avancées basées sur la couverture de flux de données, adaptées aux VP basés sur SystemC/AMS. Décrit des méthodes avancées basées sur la couverture fonctionnelle pour vérifier différents comportements fonctionnels des amplificateurs RF.