Ola:
Yo te aconsejo el boole deusto, pero tiene algun problemilla, tambien son igual de buenos los siguientes:
    - El Karma, muy facilito y sencillo de utilizar, sobre java,   http://karma.turincon.com/
   - Colección de ferramentas para a simulación de circuitos electrónicos http://www.cs.berkeley.edu/~lazzaro/chipmunk/

Informacion sacada de la web de la Fac. de Informática de A Coruña www.fic.udc.es


http://www.fic.udc.es/HarvestExternalData.do?operation=subjects.subjectExtraDetails&id=92&returnAction=subjectsByCourse&returnParameters=degree=ETIX-syllabus=11-course=1