Erweiterte virtuelle Prototypen für heterogene Systeme

Questo libro descrive una combinazione completa di metodologie che migliorano notevolmente il moderno flusso di verifica basato su Virtual Prototype (VP) per i Systems-on-Chip (SOC) eterogenei. In particolare, il libro combina gli aspetti della verifica e dell'analisi in diverse fasi del flusso di verifica basato sul VP e fornisce una nuova prospettiva sulla verifica utilizzando tecniche avanzate come il metamorphic testing, il dataflow testing e l'information flow testing. Inoltre, il libro pone una forte enfasi sui metodi avanzati e orientati alla copertura per verificare il comportamento funzionale del SOC e garantirne la sicurezza. Fornisce un'introduzione completa al moderno flusso di verifica basato sul VP per i SOC eterogenei. Introduce una nuova tecnica di verifica metamorfica per SOC eterogenei che non richiede modelli di riferimento. Contiene metodi automatizzati e avanzati basati sulla copertura del flusso di dati e adattati ai VP basati su SystemC/AMS. Descrive metodi avanzati basati sulla copertura funzionale per verificare vari comportamenti funzionali degli amplificatori RF.