Laboratorio SSE - Anno Accademico 2020-21 I sorgenti, eseguibili, esempi e documentazione dei pacchetti Espresso e SIS si possono scaricare dal sito https://jackhack96.github.io/logic-synthesis/index.html (o si veda anche https://github.com/JackHack96/logic-synthesis/releases/tag/Espresso https://github.com/JackHack96/logic-synthesis/releases/tag/SIS ) Il docente Tiziano Villa