E' un programma di progettazione assistita di reti logiche. Oltre alla costruzione della rete offre la possibilità di effettuare simulazioni sulla rete stessa.