Multicore Systems On-Chip: Practical Software/Hardware Design: 3 - Rilegato

Abderazek, Ben Abadallah

Rilegato

ISBN 10: 9078677228 ISBN 13: 9789078677222

Casa editrice: Atlantis Pr, 2010

Riassunto

La progettazione convenzionale della comunicazione on-chip utilizza principalmente approcci ad hoc che non riescono a soddisfare le sfide poste dai progetti on-chip (MCSoC) MultiCore Systems di nuova generazione. Queste sfide principali includono ritardo del cablaggio, prevedibilità, diverse architetture di interconnessione e dissipazione di potenza. Un paradigma Network-on-Chip (NoC) sta emergendo come soluzione per i problemi di interconnessione di dozzine di core in un singolo sistema on-chip. Tuttavia, ci sono molti problemi associati alla progettazione di tali sistemi. Questi problemi derivano da ritardi globali non scalabili, mancato raggiungimento della sincronizzazione globale e difficoltà associate a interconnessioni funzionali basate su bus non scalabili. Il libro è composto da tre parti, con ciascuna parte suddivisa in quattro capitoli. La prima parte tratta tematiche di progettazione e metodologia. Le architetture utilizzate nei metodi convenzionali di progettazione MCSoC e architetture multiprocessore personalizzate non sono sufficientemente flessibili per soddisfare i requisiti di diversi domini applicativi e non abbastanza scalabili per soddisfare le diverse esigenze di calcolo e diverse complessità di varie applicazioni. Diversi capitoli della prima parte enfatizzeranno le tecniche e le metodologie di progettazione.La seconda parte copre la parte più critica del design MCSoC - le interconnessioni. Un approccio per affrontare le metodologie di progettazione consiste nell'adottare la cosiddetta funzione di riutilizzabilità per aumentare la produttività del progetto. Negli anni passati, le unità di progettazione primitive si sono evolute da transistor a cancelli, macchine a stati finiti e core del processore. Il paradigma network-on-chip offre questa interessante proprietà per il futuro e sarà in grado di colmare il divario di produttività.L'ultima parte di questo libro approfondisce le convalide e le ottimizzazioni degli MCSoC. Un approccio più qualitativo di validazione del sistema si basa sull'uso di tecniche formali per la progettazione hardware. Il vantaggio principale dei metodi formali è la possibilità di dimostrare la validità dei requisiti progettuali essenziali. Poiché i linguaggi formali hanno una base matematica, è possibile estrarre e verificare formalmente queste proprietà desiderate dello spazio astratto completo degli stati. Vengono inoltre esaminate le tecniche di test online per identificare i guasti che possono portare a guasti del sistema. Viene data enfasi alle tecniche analitiche basate sulla ridondanza che sono state sviluppate per il rilevamento dei guasti e l'isolamento nell'area di controllo automatico.

Dettagli dell?edizione

• Editore: Atlantis Pr
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 9078677228
• ISBN 13: 9789078677222
• Rilegatura: Copertina rigida
• Numero di pagine: 180
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile