Function/Architecture Optimization and Co-Design of Embedded Systems

Il libro "Function/Architecture Optimization and Co-Design of Embedded Systems" offre un'introduzione completa alla nuova metodologia del co-design di funzioni e architetture per sistemi embedded. Gli autori, Alberto L. Sangiovanni-Vincentelli, Abdallah Tabbara e Bassam Tabbara, presentano un framework metodologico formale, sviluppato specificamente per sistemi embedded dominati dal controllo. L'attenzione è rivolta all'ottimizzazione dei flussi di dati e dei controlli, basata su una rappresentazione innovativa e adeguata delle attività di progettazione. L'obiettivo è aumentare la produttività dei progettisti e degli sviluppatori di sistemi, migliorando al contempo la qualità dei risultati finali della sintesi. Il libro tratta approfonditamente la metodologia del co-design e sottolinea le differenze tra specifica comportamentale e implementazione. Viene inoltre evidenziata la necessità di passare da tecnologie basate sulla sintesi a tecnologie basate su compilatori, al fine di ottenere miglioramenti significativi nelle dimensioni e nelle prestazioni sia dell'hardware sintetizzato che del software.