MULTICORE SYSTEMS ON-CHIP: PRACTICAL SOFTWARE/HARDWARE DESIGN (Atlantis Ambient and Pervasive Intelligence)

Abderazek, Ben Abadallh

ISBN 10: 9078677228 / ISBN 13: 9789078677222

Editore: Atlantis Press / World Scientific, 2010

Riguardo questo articolo

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

Codice articolo SHAK251598

Dati bibliografici

• Titolo: MULTICORE SYSTEMS ON-CHIP: PRACTICAL SOFTWARE/HARDWARE DESIGN (Atlantis Ambient and Pervasive Intelligence)
• Editore: Atlantis Press / World Scientific
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 9078677228
• ISBN 13: 9789078677222
• Rilegatura: Rilegato
• Condizione: nuovo

Descrizione articolo

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.