Andrew Becker, David Novo, Paolo Ienne: SKETCHILOG: Sketching combinational circuits. DATE 2014: 1-4