Obbiettivi dell'esercitazione e suggerimenti

 

• Acquisire la capacità di descrivere una rete combinatoria tramite BLIF
• Introdurre l'utilizzo di SIS riguardo a
• interazione con la shell di linux
• input/output e formati di descrizione delle reti
• comandi di verifica per simulazione (simulate e sim_verify) e formale (verify)

Suggerimenti

Provare a descrivere in BLIF e BLIF gerarchico semplici reti (MPX, decoder ....).

Provare a determinare i tempi di CPU utilizzati da SIS per la verifica di sommatori a tre operandi (CSA e convenzionale) di dimensioni crescenti (8, 16 bit). Per questa operazione si possono mettere i comandi in un file batch eser e poi eseguire da shell linux il seguente comando:

time sis < eser

che fornisce un indicazione approssimata del tempo di CPU.