Esercitazioni di laboratorio
- Esercitazione n. 1
- Descrizione di reti tramite BLIF. Utilizzo di SIS, formati di ingresso e comandi per la verifica di reti combinatorie.
- Esercitazione n. 2
- File blif per la prova delle trasformazioni di SIS e dello script.rugged.
- Esercitazione su ABC e AIG
- file blif con esempi per comandi di costruzione e manipolazione di AIG con abc
- Esercitazione su sintesi e ottimizzazione di FSM
