More Related Content
What's hot (15)
Viewers also liked (20)
Similar to Thesis Amicucci 際際滷s IT (20)
More from Marco Santambrogio (20)
Thesis Amicucci 際際滷s IT
- 1. SyCERS: Un framework basato su SystemC per la progettazione e simulazione di sistemi embedded dinamicamente riconfigurabili Carlo AMICUCCI Matr. 642360 Relatore prof. Donatella SCIUTO Correlatore ing. Marco Domenico SANTAMBROGIO
- 2. Sommario Obiettivi Sistemi embedded dinamicamente riconfigurabili Transaction Level Modeling (TLM) e SystemC Riconfigurabilit dinamica e SystemC Modelli SystemC per Caronte Risultati sperimentali Sviluppi futuri
- 3. Obiettivi Definizione di un modello per descrivere sistemi dinamicamente riconfigurabili Basata su uno dei linguaggi di descrizione hardware esistenti Utilizzabile gi nelle prime fasi di progetto (permette di considerare la riconfigurabilit a livello di sistema) Fornire un framework per la simulazione e la progettazione di sistemi dinamicamente riconfigurabili Specifiche simulabili Possibilit di variare velocemente parametri quali: num. delle unit di riconf., tempo di riconfigurazione, ecc Possibilit di considerare la componente software
- 4. Sistemi embedded dinamicamente riconfigurabili Generalmente basati su FPGA Comunicazione BUS (Tecnologie standard quali AMBA o IBM CoreConnect) Connessione punto-punto Presenza di un controllore della riconfigurabilit (generalmente nella parte statica o esterno al dispositivo) che pu嘆 essere controllato: Hardware Software (maggiore flessibilit) Esempi: Caronte ADRIATIC e RECONF2
- 5. TLM e SystemC Separare la definizione delle funzionalit del sistema dalla definizione dei dettagli di comunicazione Attraverso la definizione di un Canale di comunicazione DEF.: un canale implementa una serie di interfacce che sono esposte ai componenti funzionali connessi attraverso di esso. DEF.: un interfaccia espone i metodi che possono essere invocati dal componente funzionale per comunicare. SystemC, dalla versione 2.0, permette di utilizzare la TLM: write() read() modulo A pA->write(v) modulo B v=pB->read() canale pA pB sc_interface sc_port
- 6. La metodologia proposta Specification Model Component Assembly Model Bus Functional Model Definire la funzionalit del sistema Non contiene dettagli sullimplementazione Esplorazione dello spazio delle soluzioni Dettagli implementativi sulle funzionalit Non contiene dettagli sulla comunicazione Validazione della soluzione attraverso la simulazione
- 7. Componente dinamicamente riconfigurabile in SystemC Non 竪 possibili istanziare in fase di simulazione un sc_module Posso modificare SC_THREAD e SC_METHOD utilizzando: puntatore a funzione sc_mutex Configurazione Associabile un tempo di ric. Elaborazione Associabile un tempo di elab. *g() Componente Riconfigurabile (sc_module) Configurazione (puntatore a funzione) mutex
- 8. Evoluzione di un componente riconfigurabile nel tempo *f() *g() *g() *g() Mem. delle Conf. f() g() k() Unlocked Locked Riconfig. Elab.
- 9. Comunicazione rec_ctrl_if utilizzata dal controllore delle riconfigurazioni per gestire i componenti riconfigurabili comm_if utilizzata da una configurazione per accedere alle risorse messe a disposizione dal componente riconfigurabile
- 10. Modelli per Caronte Codice di Controllo (SystemC) Compilatore GCC Configurazioni BlackBox (SystemC) Configurazioni Processo di controllo Scheduler e Controller Modello Memoria Cross compilatore GCC Codice di Controllo (C/C++) Component assembly model Bus arbitration model Modello Memoria BlackBoxes Modello CoreConnect PowerPC ISS Open SystemC PowerPC core models
- 11. Risultati sperimentali Filtro Adattativo (5 configurazioni) Elaborazione pipeline Acceleratore hw MD5 (4 configurazioni) Ver. 1 elaborazione monolitica Ver. 2 elaborazione pipeline DES (2 configurazioni) Riconfigurabilit e Sistemi di calcolo parallelo
- 12. Filtro Adattativo Component assembly model di Caronte Permette di vedere come variano le prestazioni del sistema in funzione Del numero BlackBox Tempo di riconfigurazione Politica di scheduling
- 13. Prestazioni del simulatore Il tempo di esecuzione reale dipende da: Risoluzione del tempo di simulazione Ottimizzazione in fase di compilazione (il tempo di elab. < 30 %) La memoria occupata dal modello 竪 di circa 150 KB per ogni BlackBox Aumentando il num. Di BlackBox aumenta il numero di thread, ma le prestazioni non degradano
- 14. Risultati e sviluppi futuri Generazione automatica di specifiche riconfigurabili da specifiche statiche. Introduzione di metriche per la stima delloccupazione Estensione del simulatore al modello DORM (Data Oriented Reconfigurable Model). In questo modello la funzionalit necessaria a manipolare i dati 竪 definita nel dato stesso. Utilizzo dei risultati di simulazione per la stima automatica del numero di iterazioni necessarie al mascheramento delle operazioni di riconfigurazione. C. Amicucci, F. Ferrandi, M.Santambrogio, D. Sciuto. SyCERS: a SystemC design exploration framework for SoC reconfigurable architecture, In Engineering of Reconfigurable System and Algorithms Conference ( ERSA 06 ), Las Vegas, Nevada, USA, Giugno 26-29 2006