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