Il corso presenta le tecniche più innovative nel campo della progettazione automatica di sistemi digitali. 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.
Programma del corso:
Titolare del Corso: Prof. Franco Fummi.