Erweiterte virtuelle Prototypen für heterogene Systeme

Questo libro descrive una combinazione completa di metodi che migliorano notevolmente il flusso di verifica basato su prototipi virtuali (VP) per sistemi su chip (SoC) eterogenei. In particolare, il libro combina aspetti di verifica e analisi attraverso diverse fasi del flusso di verifica basato su VP e offre una nuova prospettiva sulla verifica, utilizzando tecniche avanzate come il testing metamorfico, il testing del flusso di dati e il testing del flusso informativo. Inoltre, il libro pone un forte accento su metodi avanzati orientati alla copertura per la verifica del comportamento funzionale del SoC e per garantire la sua sicurezza. Fornisce un'introduzione completa al moderno flusso di verifica basato su VP per SoC eterogenei, presenta una nuova tecnica di testing metamorfico per SoC eterogenei che non richiede modelli di riferimento e include metodi automatizzati avanzati basati sulla copertura del flusso di dati, progettati per VP basati su SystemC/AMS. Inoltre, descrive metodi avanzati di verifica basati sulla copertura funzionale per diversi comportamenti funzionali degli amplificatori RF.