KARMA: A Didactic Tool for Two-Level Logic Synthesis. - Carlos Eduardo Klock; Felipe Ribeiro Schneider; M. V. N. Gomes; Dionatan S. Moura; Renato P. Ribas; André Inácio Reis (MSE, 2007)