Software libre para simulacion de puertas logicas y tal

Hola, estoy ahora con un tema con el que nunca antes me habia puesto que es el de la electronica digital, y llegando a los diagramas de puertas logicas, funciones logicas, tablas de la verdad, mapas de Karnaugh y tal, pues hacerlos en papel todo genial, pero al llegar a la hora de trasladar eso a un ordenador desconozco que software libre hay disponible para esos menesteres. Me interesarian programas en los que generar tablas de la verdad, simulacion de circuitos con puertas logicas para ver si lo he hecho bien y cosas asi, de modo que si hay alguien que controla sobre esto me gustaria saber que software libre usa.