Tesi disponibili al 14 giugno 2917

Proposta di tesi

Tesi disponibili al 14 giugno 2917

Garante
Franco Fummi
Data proposta
14 giugno 2017
Data scadenza
31 dicembre 2017
Corso di studi
Laurea magistrale in Ingegneria e scienze informatiche

Descrizione

  • IP-XACT per proprietà extra-funzionali
  • Generazione automatica di codice simulabile a partire da macchine di Mealy
  • IP-XACT e A/G Contracts per la generazione automatica di FMU
  • Costruzione di una piattaforma IP-Xact/SystemC con Pico-proiettore e CPU M6502
  • Framework per la Functional Safety
  • Realizzazione di un generatore di stimoli per applicazioni HMI
  • Integrazione astrazione digitale con HLS

Aree di ricerca collegate alla proposta
Hardware - Electronic design automation
Hardware - Hardware validation