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