ENGC46 - 2016.2 - Síntese de Circuitos