In questo progetto svilupperemo una metodologia di progettazione completa
per sintetizzare sistemi digitali da realizzare con logica regolare e
programmabile. Sceglieremo come dominio applicativo la progettazione
di controllori industriali, poiche' e' importante in se' e di complessita'
tale da esercitare adeguatamente tutti i passi della catena di progettazione.