Hmmmmm, no estarás estudiando informática en Coruña no? xDDD
Si te refieres a un programa que trabaja con puertas lógicas, TTL's y demás, que se llama Diglog (también conocido como chipmunk o algo así...) que es para eso y es el que utilizamos en clase. Tengo una versión instalable que me ruló el profersor de la asignatura, que tiene un Mac y me ahorró tener que compilar y demás, jejeje. Si te puede valer te lo paso.
Saludos!