Il corso presenta le tecniche più innovative nel campo della
progettazione automatica di sistemi digitali.
I concetti di base
della progettazione di dispositivi digitali presentati nel corso
di Architettura degli Elaboratori e, in parte,
nel corso di
Sistemi di Elaborazione dell'Informazione, vengono rapportati in
questo corso al mondo reale della progettazione
digitale Il
flusso di progettazione proposto si basa sull'utilizzo di
linguaggi per specifica dello hardware che permettono di
effettuare
verifica formale delle specifiche, sintesi automatica
e gestione delle problematiche relative all'affidabilità. Di
ogni tecnica presentata
vengono descritti i fondamenti teorici e
le applicazioni pratiche che vengono esemplificate con l'utilizzo
dei più moderni strumenti di CAD.
Il corso viene svolto in 30 ore di lezione e 16 ore di
laboratorio. Le attività pratiche verranno svolte utilizzando le
attrezzature hardware
e software presenti nel laboratorio EDA
(Electronic Design Automation) del Dipartimento. Durante il corso
saranno effettuate presentazioni
da parte di aziende del settore
della progettazione di sistemi embedded.