SIS: A system for sequential circuit synthesis
Robert K Brayton
Paul R Stephan
Hamid Savoj
Alexander Saldanha
Rajeev Murgai
Cho Moon
Karma: um ambiente para o aprendizado de síntese de funções Booleanas